El problema planteado consiste en demostrar ~P ∧ ~Q
Este ejercicio hace uso de la teoría del calculo de predicados y proposiciones.
Para resolver esta demostración, contamos con cuatro proposiciones o predicados.
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 → Q) → R PROPOSICIÓN O PREDICADO VERDADERO ~R PROPOSICIÓN O PREDICADO VERDADERO Q → S PROPOSICIÓN O PREDICADO VERDADERO S → P PROPOSICIÓN O PREDICADO VERDADERO ~R → ~(~P → Q) Contrarreciproco ~(~P → Q) Modus Ponens ~(~~P ∨ Q) Definción implicación ∴ ~P ∧ ~Q Ley de Morgan
ESCUCHANDO
AMPLIAR ESCUCHANDO
