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

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

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 ∨ (Q → P)                     Definicion implicacion
~P ∨ ~Q ∨ P                      Definicion implicacion
(~P ∨ P) ∨ ~Q                    Ley asociativa
[V] ∨ ~Q                         Ley identica disyuncion
∴ [V]                            Ley identica disyuncion (es tautología)

Suscribete a nuestro canal