* 링크된 답지에서 37, 30, 31의 정답은 아래것으로 확인하세요.
37번 풀이 추가
1)(M&S)->D 전제
2)S 전제 /∴M->D
3) -(M&S) vD 1, 단순함축
4) (-M) v (-S) v D 3, 드모르강
5) (-S) v (-M) v D 4, 교환법칙
6) S ->[(-M) v D] 5, 단순함축
7) (-M) v D 2,6 긍정논법
8) M->D 7 단순함축
따라서 타당
(10월10일 추가)
30번
-(B&D), (CvB)->D, -B->-(AvD), ∴-Av-C
4) -Bv-D 1. 드모르강
5) B->-D 4. 단순함축
6) -D ->-(CvB) 2. 대우
7) B->-(CvB) 5,6 연쇄논법
8) (AvD)->B 3.대우
9) (AvD)->-(CvB) 7,8 연쇄논법
10) -(AvD)v-(CvB) 9. 단순함축
11) (-A&-D)v(-C&-B) 10. 드모르강
12) [(-A)v(-C&-B) ] & [(-D)v(-C&-B)] 11.분배법칙
13) (-A)v(-C&-B) 12. &제거
14) (-Av-C) &(-Av-B) 13. 분배법칙
15) -Av-C 13. &제거
31번
Av(B&C), A->D, D->C, ∴ C
4) A->C 2.3 연쇄논법
5) (AvB)&(AvC) 1.배분
6) AvC 5. &제거
7) -A->C 6. 단순함축
8) -C->A 7.대우
9) -C->C 4.8연쇄논법
10) -(-C) v C 9. 단순함축
11) CvC 10. 이중부정
12) C 11. 동어반복 |
|
|
|
