Python TEC

Demuestre ¬(L y D)
1. V -> (R v P)
2. R -> ¬V
3. L -> ¬P
4. V
--------------------
5. R v P, --SEPARACIÓN 1 4
6. ¬R v ¬V, --IMPLICACIÓN Y DISYUNCIÓN 2
7. ¬¬V, DOBLE NEGACIÓN 4
8. ¬R, SILOGISMO DISYUNTIVO 6 7
9. P, SILOGIMO DISYUNTIVO 5 8
10. ¬L v ¬P, IMPLICACIÓN Y DISYUNCIÓN 3
11. ¬¬P, DOBLE NEGACIÓN 9
12. ¬L, SILOGISMO DISYUNTIVO 11 10
13. ¬L v ¬D, adición 12
14. ¬(L y D), DOBLE NEGACIÓN + DE MORGAN 13