Czedrick T. Versoza Activity 5 Test 1.: W V T Conclusion
Czedrick T. Versoza Activity 5 Test 1.: W V T Conclusion
Versoza
Activity 5
Test 1.
simplification
¬w V p hypotheses
¬w resolution of 1 and 2
¬s V t hypotheses
t simplification
∴wVt conclusion
q→r hypotheses
r simplification
¬s ∧ r hypotheses
s resolution of 2 and 3
tvs hypotheses
∴t conclusion
p∧r hypotheses
p simplification
¬q v r hypotheses
r simplification
r→ s hypotheses
∴s conclusion