calculo de predicados de proposiciones (demostrar s)

El problema planteado consiste en demostrar S

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

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, simplificacion, adjuncion

Intente resolver este ejercicio y luego compruebe la solucion clic aqui

Para concluir S necesitamos establecer como verdadero ~T y así, poder aplicar tollendo ponens.
Por implicación modus ponendo ponens entre proposición uno y tres concluimos Q ∧ R
Por simplificación concluimos Q
Por tollendo tollens en proposición dos y Q concluimos ~T
Y por último, usando nuevamente tollendo tollens, en el enunciado 4 concluimos la
demostración de S

Suscribete a nuestro canal

[Tweet «»Una premisa disyuntiva y verdadera se puede simplificar por ley de disyuncion» #Tutorias ☺»]