Zeige, dass die aussagenlogische Formel eine Tautologie ist

Neue Frage »

adees Auf diesen Beitrag antworten »
Zeige, dass die aussagenlogische Formel eine Tautologie ist
Meine Frage:
Zeige durch logisches Schließen dass die aussagenlogische Formel eine Tautologie ist. (nicht durch Wahrheitstabellen...)

((A->C) UND (B->C) UND nicht C) -> nicht(A ODER B)


Meine Ideen:
Es handelt sich um die Gesetze von De Morgan, Implikatiosgesetz...
Wie kriegt man die Lösung?

Ich habe gemacht:
nicht ((A->B) UND (B->C) UND nicht C) ODER nicht(A ODER B) Impligsz.

und noch einmal:
nicht((nicht A ODER C) UND (nicht B ODER C) UND nicht C) ODER nicht(A ODER B) Implikationgsz.

Weiter komme ich nie dran...
Elvis Auf diesen Beitrag antworten »

"nicht durch Wahrheitstabelle" ist gemein Augenzwinkern
dann vielleicht durch "scharf hingucken" und JAWOHL,STIMMT sagen
oder durch Nachweis der Tautologie
Neue Frage »
Antworten »



Verwandte Themen

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