matematicas discretas

calculo de predicados de proposiciones (demostrar ~t)

El problema planteado consiste en demostrar la proposición: ~T

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

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

Intente resolver este ejercicio y luego compruebe la solucion clic aqui

Para concluir ~T necesitamos establecer como verdadero S ∧ R y así, poder aplicar
implicación ponendo ponens.
Por simplificación del enunciado 2 concluimos tanto P como Q de manera independiente.
Por implicación modus ponendo ponens en enunciado 1 concluimos S
Por implicación modus ponendo ponens en enunciado 4 concluimos R
Por adjunción establecemos S ∧ R
Y por último, usando nuevamente implicación modus ponendo ponens en el enunciado 3
concluimos la demostración de ~T
ESCUCHANDO


Suscribete a nuestro canal

AMPLIAR ESCUCHANDO

matematicas discretas
Figura. matematicas discretas: calculo de predicados




Tutorias relacionadas:


¡Comparte ya lo que estudias!

Tweet about this on Twitter0Share on Facebook0Share on Google+2Pin on Pinterest0Share on Tumblr0

Deja un comentario

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