predicados

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
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 Twitter0Share on Facebook0Share on Google+1Pin on Pinterest0Share on Tumblr0

Deja un comentario

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