4.
1)G->B 전제
2)K->C 전제
3)E->(-Bv-C) 전제
4)E 전제 /∴-Kv-C
5)-Bv-C 3,4 긍정논법
6)-B->-G 1 대우
7)-C->-K 2 대우
8)-Gv-K 5,6,7 양도논법
9)-Kv-G 8 교환법칙
따라서 타당한 논증
5.
1)C->M 전제
2)M->(I&P) 전제 /∴-I->-C
3)C->(I&P) 1,2 연쇄논법
4) -Cv(I&P) 3 단순함축
5)(-CvI)&(-CvP) 4.분배법칙
6)-CvI 5.&제거
7) C->I 6. 단순함축
8)-I->-C 7. 대우
따라서 타당한 논증
6.
1)(M&S)->D 전제
2)S 전제 /∴M->D
3) -(M&S) v D 1.단순함축
4) -M v -S v D 3. 드모르강
5) -S v -M v D 4. 교환법칙
6) S -> (M ->D) 5. 단순함축
7) M->D 2,6 긍정논법
따라서 타당한 논증 |
|
|
|
