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