Hola, estoy teniendo problemas para resolver una Prueba de Estilo Fitch y esperaba que alguien pudiera ayudarme.
Premisas:
A∧(B∨C)A∧(B∨C)
B→DB→D
C→EC→E
Meta: ¬E→D¬E→D
Gracias
Hola, estoy teniendo problemas para resolver una Prueba de Estilo Fitch y esperaba que alguien pudiera ayudarme.
Premisas:
A∧(B∨C)A∧(B∨C)
B→DB→D
C→EC→E
Meta: ¬E→D¬E→D
Gracias
Debes ser capaz de transformar lo siguiente en una demostración formal.
Supongamos ¬E¬E.
Demuestra B∨¬BB∨¬B con la intención de usar ∨∨-ElimElim.
Si BB es cierto, utiliza →→-ElimElim en la premisa B→DB→D para concluir DD.
Supongamos que ¬B¬B es cierto. Usa ∧∧-ElimElim en la primera premisa para obtener B∨CB∨C. Querrás usar ∨∨-ElimElim en B∨CB∨C. Si BB es cierto, puedes obtener DD de dos maneras, elige una de ellas. Si CC es cierto, elimina →→ en la premisa C→EC→E para obtener EE y consecuentemente una contradicción, obteniendo así DD con ⊥⊥-ElimElim. Eliminando la disyunción B∨CB∨C obtienes DD.
Al eliminar la disyunción B∨¬BB∨¬B obtienes DD.
Termina.
Puedes encontrar la demostración oculta en la zona gris debajo.
I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.