Angenommen, A ist eine Menge von Prämissen eines Arguments und B die Schlussfolgerung dieses Arguments. Beweisen Sie, dass wenn AU {¬B} ⊢ ⊥, dann A ⊢ B. (Verwenden Sie Fitch)
Ich habe keine Ahnung, wo ich anfangen soll, kann jemand helfen?
Angenommen AU {¬B} ⊢ ⊥
Nun müssen wir zeigen, dass A ⊢ B:
Nehmen Sie ¬B an, erhalten Sie einen Widerspruch von Prämisse A und von AU {¬B} ⊢ ⊥, und schließen Sie dann B. (Sie sollten hier die natürlichen Deduktionsschritte ausfüllen.) Das war's.
Ich stimme der Antwort von Eliran H zu .
Hier sind spezifische Schritte mit einem Proof Checker im Fitch-Stil, ohne "¬B" anzunehmen.
Der Beweis verwendet Disjunktionseinführung (∨I), bedingte Eliminierung (→E), Explosion (X) und bedingte Einführung (→I). Weitere Informationen zu diesen Regeln finden Sie in forall x: Calgary Remix .
Verweise
Kevin Klements JavaScript/PHP-Beweiseditor und -prüfer im Fitch-Stil für natürliche Deduktion http://proofs.openlogicproject.org/
PD Magnus, Tim Button mit Ergänzungen von J. Robert Loftis, remixt und überarbeitet von Aaron Thomas-Bolduc, Richard Zach, forallx Calgary Remix: An Introduction to Formal Logic, Winter 2018. http://forallx.openlogicproject.org/
Benutzer20153
Mauro ALLEGRANZA
Benutzer20153
Mauro ALLEGRANZA
Benutzer20153