Aufgabe:
Beweise, dass F eine Tautologie ist:
\( ((\neg p \vee r) \wedge(\neg r \Rightarrow \psi \vee \neg s) ) \Rightarrow((p \vee \neg y) \Rightarrow(r \vee \neg s)) \)
p,q,r,s,t sind Aussagevariablen.
Ansatz:
Eine Wahrheitstabelle wollte ich nur ungern aufstellen, zumal der Prof sagte das ginge auch anders.
Ich würde jetzt sagen in der großen Implikation ist der linke teil A und der Rechte B.
Eine Tautologie wäre es, wenn der Fall A(w) -->B(f) nicht eintritt.
Aber ich bin unsicher wie ich da jetzt weiter vorgehe.
