El problema planteado consiste en demostrar la proposición: ~T

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

Para resolver esta demostracion, contamos con 4 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 ponens, implicacion

Intente resolver este ejercicio y luego compruebe la solucion clic aqui

Para concluir ~T necesitamos establecer como verdadero S ∧ R y así, poder aplicar
implicación ponendo ponens.
Por simplificación del enunciado 2 concluimos tanto P como Q de manera independiente.
Por implicación modus ponendo ponens en enunciado 1 concluimos S
Por implicación modus ponendo ponens en enunciado 4 concluimos R
Por adjunción establecemos S ∧ R
Y por último, usando nuevamente implicación modus ponendo ponens en el enunciado 3
concluimos la demostración de ~T

Suscribete a nuestro canal

[Tweet «»Analizando de manera futurista las premisas se puede llegar a la conclusion» #Tutorias ☺»]