Supongamos que A es un conjunto de premisas de un argumento y B la conclusión de ese argumento. Demuestra que si AU {¬B} ⊢ ⊥, entonces A ⊢ B. (Usa Fitch)
No tengo ni idea de por dónde empezar, ¿alguien puede ayudarme?
Suponga que AU {¬B} ⊢ ⊥
Ahora tenemos que demostrar que A ⊢ B:
Suponga ¬B, obtenga una contradicción de la premisa A y de AU {¬B} ⊢ ⊥, y luego concluya B. (Debe completar aquí los pasos de deducción natural). Eso es todo.
Estoy de acuerdo con la respuesta de Eliran H.
Aquí hay pasos específicos usando un verificador de prueba estilo Fitch sin asumir "¬B".
La prueba utiliza introducción de disyunción (∨I), eliminación condicional (→E), explosión (X) e introducción condicional (→I). Puede encontrar más información sobre estas reglas en forall x: Calgary Remix .
Referencias
Editor y comprobador de pruebas de deducción natural JavaScript/PHP estilo Fitch de Kevin Klement http://proofs.openlogicproject.org/
PD Magnus, Tim Button con adiciones de J. Robert Loftis remezcladas y revisadas por Aaron Thomas-Bolduc, Richard Zach, forallx Calgary Remix: An Introduction to Formal Logic, invierno de 2018. http://forallx.openlogicproject.org/
usuario20153
Mauro ALLEGRANZA
usuario20153
Mauro ALLEGRANZA
usuario20153