proposiciones

calculo de proposiciones (demostrar B → ~C)

El problema planteado consiste en demostrar B → ~C

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,silogismo hipotetico

Intente resolver este ejercicio y luego compruebe la solucion dando clic aqui

~ (A ∧ B) ∨ (~A ∨ (C→D)) Por definición implicación
~ (A ∧ B) ∨ (~A ∨ (~C ∨ D)) Por definición implicación
~A ∨ ~B ∨ ~A ∨ ~C ∨ D Por ley de Morgan
~A ∨ ~B ∨ ~A ∨ ~C ∨ D Por ley de Morgan
~A ∨ ~B ∨ ~C ∨ D Por idempotencia
(~A ∨ D) ∨ (~B ∨ ~C) Por ley asociativa disyunción
(~B ∨ ~C) Por Modus Ponens
B → ~C Por definición implicación
ESCUCHANDO


Suscribete a nuestro canal

AMPLIAR ESCUCHANDO

proposiciones
Figura. matematicas discretas: calculo de predicados




Tutorias relacionadas:


¡Comparte ya lo que estudias!

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

Deja un comentario

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