Python TEC

Demuestre R y (P v Q)
NOTA: (R y P) v (R y Q), LEYES DISTRIBUTIVAS
1. P v Q
2. Q -> R
3. P -> T
4. ¬T
---------------
5. ¬P, --MODUS TOLLENDO TOLLENS 3 4
6. Q, --SILOGISMO DISYUNTIVO 1 5
7. R, --SEPARACIÓN 2 6
8. R y Q, --ADJUNCIÓN 6 7
9. (R y Q) v (R y P), ADICIÓN 8
10. R y (P v Q), LEYES DISTRIBUTIVAS