Aussagenlogik, Äquivalenzumformung

Neue Frage »

Nossi Auf diesen Beitrag antworten »
Aussagenlogik, Äquivalenzumformung
Meine Frage:
Hallo,

ich soll nun folgende Tautologie (ohne Wahrheitstabelle) beweisen:

p UND (q => r) => (r => p)

Ich hoffe, ihr könnt mir helfen.

lg

Meine Ideen:
der obige Ausdruck hat unter Berücksichtigung der Bindungsstärke folgende Form:

1) p UND ( (q => r) => (r => p) )
2) p UND ( (-q ODER r) => (-r ODER p) )
2) p UND ( (q UND r) ODER (-r ODER p) )
Nossi Auf diesen Beitrag antworten »
RE: Aussagenlogik, Äquivalenzumformung
Mein Ansatz:

1) (p UND (q => r)) => (r => p)
2) (p UND ( (-q ODER r)) => (-r ODER p)
2) (-p ODER ( (q UND -r)) ODER (-r ODER p)
Neue Frage »
Antworten »



Verwandte Themen

Die Beliebtesten »
Die Größten »
Die Neuesten »