Usuario:Fercho/ejercicio 10

Considere el siguiente argumento. Fue X o Y quien cometió el crimen. X estaba fuera del pueblo cuando el crimen fue cometido. Si X estaba fuera del pueblo, no pudo haber estado en la escena del crimen. Si X no estaba en la escena del crimen, no pudo haber cometido el crimen. Formule esto como una demostración formal y derive la conclusión. Use P1 para “X cometió el crimen”, P2 “Y cometió el crimen”, Q para “X estaba fuera del pueblo”, y R para “X no estuvo en la escena del crimen”.


SOLUCIÓN


Proposiciones dadas:

P1: “X cometió el crimen”

P2:“Y cometió el crimen”


Q: “X estaba fuera del pueblo”

R: “X no estuvo en la escena del crimen”


Archivo:Pensamiento algorítmico ejercicio10).jpg