• 29.08.2025, 09:05
  • Register
  • Login

  • You are not logged in.

 

Wie beweise ich Transivität bei Formeln?

Sir_Flauschi28

Senior Member

Wie beweise ich Transivität bei Formeln?

Monday, November 22nd 2004, 8:58pm

Also F |= G, G |= H, dann auch F |= H.

dass das richtig ist leuchtet mir ein, aber wie beweisst man sowas?

ich hoffe ihr könnt mir helfen.

mfg Henning

KingofBohmte

Senior Member

Re: Wie beweise ich Transivität bei Formeln?

Monday, November 22nd 2004, 9:16pm

soll das |= ein ungleich sein oder was ist das?
Mein eBay

hurra

God

Re: Wie beweise ich Transivität bei Formeln?

Monday, November 22nd 2004, 9:23pm

Wenn es ein ungleich ist, stimmt es schonmal ned ... ;)

Sir_Flauschi28

Senior Member

Re: Wie beweise ich Transivität bei Formeln?

Monday, November 22nd 2004, 9:23pm

das heisst, dass G eine Folgerung aus F ist und H eine Folgerung aus G, also ist H eine Folgerung aus F.

mfg Henning

hurra

God

Re: Wie beweise ich Transivität bei Formeln?

Monday, November 22nd 2004, 9:24pm

egal:

3!=4, 4!=3 ==> 3!=3

Das passt wohl ned.

SpeedCat

God

Re: Wie beweise ich Transivität bei Formeln?

Monday, November 22nd 2004, 9:43pm

0,99999999 (Periode) = 1

1 = 3/3 = 3 x 0,33P = 0,99P
Never argue with an idiot. He brings you down to his level and beats you with experience... [V] ATI Radeon X800 PRO, wahlweise mit Arctic Cooler --> PM!

Sir_Flauschi28

Senior Member

Re: Wie beweise ich Transivität bei Formeln?

Monday, November 22nd 2004, 10:20pm

cool ich bin nicht der einzige ders nicht kapiert, damit kann ich dann leben.

mfg Henning

SpeedCat

God

Re: Wie beweise ich Transivität bei Formeln?

Monday, November 22nd 2004, 10:27pm

Der Beweis is sogar schlüssig.... ;)

Wobei ich gestehen muß das ichs auch erst hinterher gemerkt hab daß er passte....
Never argue with an idiot. He brings you down to his level and beats you with experience... [V] ATI Radeon X800 PRO, wahlweise mit Arctic Cooler --> PM!

Sir_Flauschi28

Senior Member

Re: Wie beweise ich Transivität bei Formeln?

Monday, November 22nd 2004, 10:35pm

aber nicht gültig.
hätte vieleicht dazu sagen müssen, dass es um binäre logik geht. also eine formel kann nur wahr oder falschs bei ihren diversen belegungen sein.

also z.B. die formel (F= A v nichtB) ist gültig für die belegungen

A B (A v nichtB)
1 0 0 1
2 1 0 1
3 1 1 1

0=falsch
1=wahr

mfg Henning

SpeedCat

God

Re: Wie beweise ich Transivität bei Formeln?

Monday, November 22nd 2004, 10:38pm

jaaa, dann wird das mit der Bruchrechnung schon schwerer... ;D Binär weiß ichs nit.
Never argue with an idiot. He brings you down to his level and beats you with experience... [V] ATI Radeon X800 PRO, wahlweise mit Arctic Cooler --> PM!

DrStrange

Senior Member

Re: Wie beweise ich Transivität bei Formeln?

Tuesday, November 23rd 2004, 1:44am

Wie alles in binärer Logik kann man auch das mit Wahrheitstabellen machen... je nach Aufgabe wird das zwar ein Riesenkonstrukt, aber damit geht bei Aussagenlogik alles. siehe SirFlauschi
When you come across a big kettle of crazy, it's best not to stir it.

Muhahahahahaha, pwned du kacknoob!
*gockel gockel boaarrcck*

Sir_Flauschi28

Senior Member

Re: Wie beweise ich Transivität bei Formeln?

Tuesday, November 23rd 2004, 2:14am

du willst damit sagen, dass ich meine frage selbst beantwortet habe?

mfg Henning

DrStrange

Senior Member

Re: Wie beweise ich Transivität bei Formeln?

Tuesday, November 23rd 2004, 3:15pm

da ich mir gerade vor augen führe, dass du den thread begonnen hast :) ja.
transitiv, da für alle belegungen in der wahrheitstab eindeutig
When you come across a big kettle of crazy, it's best not to stir it.

Muhahahahahaha, pwned du kacknoob!
*gockel gockel boaarrcck*