predicados

calculo de predicados de proposiciones (demostrar S▲T)

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


Suscribete a nuestro canal

AMPLIAR ESCUCHANDO

predicados
Figura. matematicas discretas: calculo de predicados




Tutorias relacionadas:


¡Comparte ya lo que estudias!

Tweet about this on TwitterShare on Facebook0Share on Google+0Pin on Pinterest0Share on Tumblr0

Deja un comentario

Tu dirección de correo electrónico no será publicada.