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
AMPLIAR ESCUCHANDO
[Tweet «»La ley de morgan es distributiva» #Tutorias ☺»]