Ejercicio C

Publicado por Gio M en 14:26
Demuestre D
1. A -> (B v C)
2. B -> C
3. A v D
4. ¬C
------------------
5. ¬B, --MODUS TOLLENDO TOLLENS 2 4
6. ¬B y ¬C, --ADJUNCIÓN 4 5
7. ¬(B v C), --DOBLE NEGACIÓN + DE MORGAN 6
8. ¬A, --MODUS TOLLENDO TOLLENS 1 7
9. D, --SILOGISMO DISYUNTIVO 3 8

0 Respuestas a 'Ejercicio C'

Publicar un comentario