El problema planteado consiste en demostrar Y+8 < 12
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
Intente resolver este ejercicio y luego compruebe la solucion dando clic aqui
Para concluir Y + 8 < 12 necesitamos establecer como verdadero tanto a X + 8 = 12 como a Y < X y así, poder aplicar modus ponendo ponens. Por simplificación concluimos X = 4 en dos Por tollendo ponens concluimos X + 8 = 12 en uno Por simplificación concluimos Y < X en dos Por adjunción tenemos X+8 = 12 ∧ Y < X Y por último, por modus ponendo ponens en tres concluimos Y + 8 < 12
ESCUCHANDO
AMPLIAR ESCUCHANDO
[Tweet ""En el calculo de predicados las permisas pueden ser textuales o numericas" #Tutorias ☺"]