PROYECTO

MATE.DIS
AVANCE 1

Kendall Fernández Rojas

Problema:

Si compro un videojuego, entonces debo pagar su precio.

No juego mucho o no tengo tiempo para jugar o necesito
descansar. Si compro un videojuego y tengo tiempo para
jugar. Si pago un videojuego, entonces  juego mucho y
no puedo ir al torneo. Por lo tanto, necesito descansar.
Proposiciones:

•P: Compró un videojuego

•Q: Pagar su precio
•R: Juego mucho
•S: Tiempo para jugar
•T: Necesito descansar
•W: Puedo ir al torneo
Lógica Inferencias
(P  → Q) ∧ ( - R V -S V T ) ∧ ( P ∧ S) ∧ ( Q → R ∧ - W) ⇒ T 
11. S Simp ( 3 )
1. P  → Q 12. T SD ( 10,11 )
T
2. - R V -S V T
Premisas
3. P∧S
4. Q→R∧-W
5. P → R ∧ -W SH ( 1,4 )
6. P Simp ( 3 )
7. R ∧ -W MP ( 5,6 )
8. R Simp ( 7 )
9. -R V ( -S V T ) ASO ( 2 )
10. - S V T SD ( 8,9 )