Diego A. Torres mi aportación

En mi aportación me basare en argumentos de la película volver al futuro 3, y los demostrare por medio de la lógica matemática.

P: El doctor Emmett Brown viaja al pasado.
Q: La máquina se descompone.
R: Marty viaja al pasado por el doctor.
S: El doctor repara el carro.
T: El doctor y Marty regresan.

Proposiciones:
P
RV¬Q
Q->S
S->T
Q
|---R->T




Demostración:
1. P
2. RV¬Q
3. Q->S
4. S->T
5. Q
6. S (4,5 MPP)
7. R (2,5 MTP)
8. T (4,6 MPP)
9. R->T (implicación)