| Autor |
Beitrag |
    
Andre Jochim (Ajo2)
| | Veröffentlicht am Dienstag, den 09. Oktober, 2001 - 19:39: | 
|
Beweis einer logischen Aussage
Die Aufgabe: Beweise oder widerlege folgende Behauptung: Ist (A-->B) erfüllbar und B keine Tautologie, so ist A erfüllbar. Ich habe da erst mal folgende Aussagen-"Formel" für erstellt:
((A-->B)^B^NichtB)-->A
Die Überprüfung mit der Wahrheitstabelle zeigte erst einmal, dass das ganze eine Tautologie ist (also in allen 4 Fällen wahr). Ein Beweis ist das leider noch nicht.
Wie beweise ich das. Geht es mit dem Implikations-Beweisverfahren? Ich habe aber absolut keinen Ansatz.
Ajo |
Zaph (Zaph)
| | Veröffentlicht am Dienstag, den 09. Oktober, 2001 - 23:58: |
|
Moment mal, "A erfüllbar" heißt doch wohl
Es gibt (irgendwas) sodass "A"
und "B keine Tautologie" heißt
Es gibt (irgendwas) mit "nicht B"
Oder?? |
|
