El problema planteado consiste en demostrar ~[P∧(P→Q)]

Este ejercicio hace uso de la teoría del calculo de predicados y proposiciones.

Para resolver esta demostración, contamos solamente con la proposición inicial.

El calculo de proposiciones, hace uso de herramientas lógicas, las cuales debe usar para encontrar con astucia demostraciones reales de situaciones determinadas.

Algunas herramientas son: tollendo ponens, modus ponens, implicacion, simplificacion, adjuncion, doble negacion, adicion, DS, silogismo, tautologias

Intente resolver este ejercicio y luego compruebe la solucion. Descargue esta solucion clic aqui

~P ∨ ~(P → Q)                    Ley de Morgan
~P ∨ ~(~P ∨ Q)                   Definicion implicacion
~P ∨ P ∧ ~Q                      Ley de Morgan y doble negacion
(~P ∨ P) ∧ ~Q                    Ley asociativa
[V] ∧ ~Q                         Ley identica disyuncion

Se concluye incierta. Depende del valor de verdad de Q  

Suscribete a nuestro canal