Zeige dass keine Tautologie
-
Kann mir mal jemand helfen. Man soll durch einsetzen von Wahrheitswerten beweisen dass dies keine Tautologie ist:
((p -> q) ^ (q ^ r)) -> (r -> p)
-
Ist doch einfach, du setzt für p, q und r alle Möglichkeiten von wahr und falsch ein. Wenns ne Tautologie sein soll, dann muss imemr wahr raus kommen. Wenns keine sein soll muss also auch mal falsch rauskommen.
-
r=q=T und p=F wäre da so ein Kandidat...
Gruß Jens
-
glaub nicht das das stimmt @ jens
-
Tut's aber.