Können Sie die Ableitung der folgenden logischen Aussage darstellen? (Q ∧ R) → P), (¬ (R → S) → (¬W → Q)), (Q      ¬S)         (R → (P -  ))
Um die Aussage (R → (P ) W) von den Räumlichkeiten abzuziehen (Q ∧ R) → P), (¬(R → S) → (¬W → Q)), und (Q  ] ¬S), können wir einen Beweis durch Widerspruch verwenden. Wir werden das Gegenteil davon annehmen, was wir zu beweisen versuchen (d.h., annehmen ¬ (R → (P ) W)), und einen Widerspruch ableiten. Hier ist die Ableitung: 1. ¬ (R → (P ) (Asumption) 2. ¬ (R ] W) (Aus 2 und R) 5. ¬P ∧ ¬ W) 3. R (Disjunktiv-Syllogismus, aus 2 und ¬ (P ) W) 4. ¬ (P ] W).