El problema planteado consiste en demostrar C

Este ejercicio hace uso de la teoria del calculo de predicados y proposiciones.

Para resolver esta demostracion, contamos con tres proposiciones.

El calculo de proposiciones, hace uso de herramientas logicas, las cuales debe usar para encontrar con astucia demostraciones reales de situaciones determinadas.

Algunas herramientas son: tollendo ponens, modus ponendo ponens, implicacion, simplificacion, adjuncion,silogismo hipotetico

Intente resolver este ejercicio y luego compruebe la solucion dando clic aqui

Para concluir C necesitamos establecer como verdadero a ~ ~C y así, poder aplicar doble
negación.
Se establece (A → B) → (~B → ~A)
Por modus ponendo ponens se concluye (~B → ~A)
Por modus ponendo ponens se concluye ~A
Por modus ponendo ponens se concluye ~~C
Y por último, por doble negación demostramos C

Suscribete a nuestro canal

[Tweet «»Para demostrar una implicacion se pueden seguir leyes establecidas o razonar al absurdo» #Tutorias ☺»]