Modificar y demostrar

Aplicar los cambios necesarios al siguiente razonamiento presentado en clase y luego demostrar su validez. 

1) (¬p ∧ ¬r) → r

2) ¬p ∨ ¬r

3) p
---------------------

.·. p ∧ (p ∨ r)

4) ¬r                                 Silogismo Disyuntivo (2,3)

5) ¬ (¬p ∧ ¬r)                            Modus Tollens (1,4)

6) (p ∨ r)                                  De Morgan de ∧ (5)

7) p ∧ (p ∨ r)                             Combinación (3,6)

¿Existe alguna expresión equivalente a la que obtuvimos?

 

Demostración con reglas de inferencia

1. ¬r V ¬s
2. ¬s → ¬p
3. ¬r → ¬q
4. ¬q

       ----------------

       .·. ¬p ^ ¬q 

1. p → ¬q
2. ¬q → ¬s
3. ( p → ¬s ) → ¬t
4. r → t

       -------------------------

       .·. ¬r