[두뇌보완계획100] 044. 못마땅하다

가.

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) 전제가 참, 결론도 참, 따라서 마땅한 추론

 

 

04. 

(X->Y)->Z

X

-----

Z

 

참 참 참

거 참 거

거 참 참 => 참 참 참

참 참 거

참 참 참 => 참 거 참

거 거 거 => 참 거 거 

참 거 참

참 거 거

 

(1) W1,4,5

(2) W4

(3) 못마땅한추론