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 » |
|
