übungs MEP: Aufg2. Tautologie

Post Reply
iamoos
Posts: 9
Joined: 27.02.2019 15:17

übungs MEP: Aufg2. Tautologie

Post by iamoos » 18.06.2019 14:05

Wieso kann man hier bei p -> p nicht aufhören?
Die Implikation ist ja genau dann falsch, wenn p wahr und q falsch ist; anderenfalls ist die Implikation wahr.
Da wir hier p haben, anstatt q, muss diese Aussage doch immer wahr sein?

In der Aufgabe weiter unten hören wir die Rechnung beim Bikonditional p <-> p auf. Warum ist beim Bikonditional klar, dass es eine Tautologie ist, aber nicht bei der Implikation?
You do not have the required permissions to view the files attached to this post.

zabuergl
Posts: 77
Joined: 08.09.2009 17:41

Re: übungs MEP: Aufg2. Tautologie

Post by zabuergl » 20.06.2019 07:06

Die Frage, wann man aufhören kann stellt sich sehr oft. Sie hängt auch vom Vorwissen des Lesers ab. An einer Prüfung würde ich davon ausgehen, dass ich jeden Schritt erklären muss. Wenn man ja sattelfest ist, kann man im gezeigten Beispiel noch die beiden letzten Zeilen hinschreiben und hat damit gezeigt, dass p -> p eine Tautologie ist. Alternativ könnte man ja auch ihre beiden Sätze schreiben

"Die Implikation ist ja genau dann falsch, wenn p wahr und q falsch ist; anderenfalls ist die Implikation wahr.
Da wir hier p haben, anstatt q, muss diese Aussage doch immer wahr sein?"

Ich überlasse es Ihnen zu entscheiden was kürzer und prägnanter ist!

Weiter unten könnte man die folgende Zeile noch dazu schreiben

p <-> p == ( p -> p ) AND (p <- p) == T AND T == T

Damit wäre dann alles klar, denn T <-> T und F <-> F ist ja offensichtlich.

Post Reply