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 una proposicion.
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 PROPOSICIÓN O PREDICADO VERDADERO Supongamos ~(P ∨ Q) Negacion hipotesis ~P ∧ ~Q Ley de Morgan P ∧ ~P ∧ ~Q Ley de adición para conjunción (P ∧ ~P) ∧ ~Q Ley asociativa (P ∧ ~P) Contradicción ∴ P ∨ Q
ESCUCHANDO
AMPLIAR ESCUCHANDO
