\( (P(x) \Rightarrow Q(x)) \Leftrightarrow((P(x) \vee Q(x)) \Leftrightarrow Q(x)) \)
Kann man das mit einem Wahrheitstefel Beweisen?? Wenn ja wie?
Das kann man mit folgender Wahrheitstafel beweisen
Die müsstest du natürlich selbständig vervollständigen.
Aber bei mir kommt keine Tautologie raus.
Ich kann nicht beurteilen, ob bei dir eine Tautologie rauskommt, oder nicht. Du hast nämlich die Spalte
(P(x)∨Q(x))⇔Q(x)
nicht aufgeführt. Deine Tabelle ist aber soweit korrekt, Und auch nützlich. Es fehlt halt noch die Spalte
(P(x)∨Q(x))⇔Q(x) .
