Welche der folgenden Aussagen sind Tautologien

Question

Aufgabe:

Problem/Ansatz:

Text erkannt:

Aufgabe 3. Es seien pyqund beliefige Ausragen, wielche derfolpenden Aitssagen sind 7ourolegien, welche kontra -
(3) \( (q v(q \Rightarrow p))=7 p= \)

prüfen dringend bitte!!

Answer 1

Ich finde, dass die Umformungen alle richtig sind

und die Ergebnisse auch.

Answer 2

\((q\vee (q\Rightarrow p))\Rightarrow p\equiv \lnot(q\vee (\lnot q \vee p))\vee p\equiv \lnot((q\vee \lnot q)\vee p)\vee p\equiv\)

\(\equiv \lnot(1\vee p)\vee p\equiv \lnot (1)\vee p\equiv 0 \vee p\equiv p\)

Das hast du ja auch herausbekommen.

Damit sind alle \((p,q)\) mit \(p=1\) Modelle

und alle \((p,q)\) mit \(p=0\) Nichtmodelle.

Also ist (3) weder eine Tautologie noch eine Kontradiktion.