Aussagenlogik, Äquivalenzumformung |
16.07.2015, 21:01 | Nossi | Auf diesen Beitrag antworten » |
Aussagenlogik, Äquivalenzumformung 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) ) |
||
16.07.2015, 21:05 | 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) |
|
Verwandte Themen
Die Beliebtesten » |
|
Die Größten » |
|
Die Neuesten » |
|