|
Lets see here
1. p v s 1. premise
2. p 2. simplifciation (1)
3. s 3. simplifciation (1)
4. (p v q) 4. premise
5. ~(p v q) -> r 5..Contiditional equivalence (4)
6 ~p v (q v r) 6 Associated equivalence (5)
7. q v r 7. Disjunctive syllogism (2,6)
8. (q v r) -> (~s v t) 8. Premise
9. ~s v t 9. Modus Pones (7)
10. T 10. Disjunctive syllogism (3,9)
|