4. 1. p v q
2.-p / q
3. –p → q 1(imp)
4. q 3,2(MP)
5. 1. (p→q) Λ (r→ s)
2. (p v r) / q v s
3. r→ s 1(simp)
4. –p→ r 2(imp)
5. –p→ s 4,3(silo)
6. p→ q 1(sim)
7. –s→ p 5(eki)
8. –s→ q 6,7(imp)
9. s v q 8(imp)
10. q v s 9(eki0
6. 1. (p→ q) Λ (r→ s)
2. –q v –s / -p v -r
3. q→ -s 2(imp)
4. p→ q 1(sim)
5. p→ -s 4,3(silo)
6. s→ -p 5(eki)
7. r→ s 1(sim)
8. r→ -p 7,6(sil)
9. –r v –p 8(imp)
10. –p v –r 9(eki)
No comments:
Post a Comment
beginilah blog kami, at least kita udah bikin ^_^