calculo de predicados de proposiciones (demostrar [P→Q]∧ [P→R] )

El problema planteado consiste en demostrar [P→Q]∧ [P→R]

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 → (Q ∧ R)                     PROPOSICION VERDADERA

~P ∨ (Q ∧ R)                    Definicion implicacion
~P ∨ Q ∧ ~P ∨ R                 Ley distributiva
∴ P → Q ∧  P → R                Definicion implicacion

Suscribete a nuestro canal