Ejercicio A

Publicado por Gio M en 14:17
Demuestre P
1. (¬P v ¬Q) -> (R y S)
2. R -> T
3. ¬T
-------------------
4. ¬R, MODUS TOLLENDO TOLLENS 2 3
5. ¬R v ¬S, ADICIÓN 4
6. ¬ (R y S), DE MORGAN 5
7. ¬(¬P v ¬Q), MODUS TOLLENDO TOLLENS 1 6
8. (P y Q), DOBLE NEGACIÓN + DE MORGAN 7
9. P, SIMPLIFICACIÓN 8

0 Respuestas a 'Ejercicio A'

Publicar un comentario