Python TEC

DEMUESTRE U
1. P -> Q
2. Q -> (R y S)
3. ¬R v ¬T v U
4. P y T
-----------------
5. P, --SIMPLIFICACIÓN 4
6. T, --SIMPLIFICACIÓN 4
7. Q, --SEPARACIÓN 1 5
8. R y S, --SEPARACIÓN 2 7
9. R, --SIMPLIFICACIÓN 8
10. S, --SIMPLIFICACIÓN 8
11. ¬¬R, --DOBLE NEGACIÓN 9
12. ¬¬T, --DOBLE NEGACIÓN 6
13. U, --SILOGISMO DISYUNTIVO 3 11 12