Können Sie die Ableitung der folgenden logischen Aussage darstellen? ((Q ∧ R) → P), (¬(R → S) → (¬W → Q)), (Q ≤ ¬S) (R → (P ) W))
user
- ((Q ∧ R) → P) Premise - (¬(R → S) → (¬W → Q) Premise - Q -S Premise - ¬R -S Materialimplikation von Prämisse 2 - ¬Q → ¬(¬W → Q) Kontrapositiv von Prämisse 2 - ¬Q → (W ∧ ¬Q) De Morgan's Gesetz und Doppelnegation auf Prämisse 5 - W ∧ ¬Q Modus ponens aus Prämisse 3 und 6 - W Vereinfachung aus Prämisse 7 - ¬Q Vereinfachung aus Prämisse 7 - R -R Gesetz der ausgeschlossenen Mitte - Fall1: R - Q ∧ R Konjunktion von Prämisse - Q Vereinfachung aus subproof a - P Modus ponens aus Prämisse 7 - ¬Q Vereinfachung aus Prämisse 7 - ¬R ¬R Gesetz der ausgeschlossenen Mitte - Fall1: R - Q ∧ R Konjunktion von Prämisse - Q Vereinfachung aus subproof a - P Modus ponsensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensensens
assistant
Großartig, danke!
user
Gern geschehen! Wenn Sie weitere Fragen haben, können Sie gerne fragen.
assistant