Ejercicios resueltos

1. Demuestra en forma de prosa el siguiente teorema:

         Si P es verdadera. Entonces ~P →   ~(P ∧ Q ) es un enunciado verdadero.

Solución.

Siendo P nuestra hipótesis aplicamos el teorema del medio excluido para llegar a ~ P  → ~ P , posteriormente utilizando la adjunción podemos deducir ~P  →( ~ P v ~ Q), finalmente aplicando la Ley D'Morgan concluimos ~P  → ~ (P ∧ Q).