가. 01. X->Y ~X ------ ~Y 참 거짓 거짓 거짓 거짓 참 참 참 거짓 참 참 참 (1) W3,W4 (2) W3은 두전제가 참, 결론은 거짓, W4는두 전제가 참, 결론도 참 (3) 전제가 옳다고 하여 결론까지 항상 옳은 것은 아니다. 즉, 못마땅하다. 02. X->Y Y ----- X 참 참 참 거짓 거짓 참 참 참 거짓 참 거짓 거짓 (1) 있다 W1, W3 (2)W1만 (3) 전제가 옳다고 하여 결론까지 항상 옳은 것은 아니다. 즉, 못마땅하다. 03. X->Y Y->Z ------ Z 참 참 참 참 거 거 거 참 참 거 참 거 참 참 참 참 거 거 참 참 참 참 참 참 => 참참거 (1) W1, 5, 7, 8 (2) 없다 =>W8 (3) 전제가 참, 결론도 참, 따라서 마땅한 추론 ..