El problema planteado consiste en demostrar S▲T
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 ∧ T necesitamos establecer como verdadero tanto a S como a T y así, poder aplicar adjunción. Por simplificación concluimos R en uno Por simplificación concluimos P en uno Por implicación modus ponendo ponens en dos concluimos S Por implicación modus ponendo ponens en tres concluimos T Y por último, por adjunción demostramos S ∧ T
ESCUCHANDO
AMPLIAR ESCUCHANDO
[Tweet «»En predicados simples se puede aplicar conjuncion» #Tutorias ☺»]