사진에서 보면
(3)이브는 아름답거나 또는 영리하거나 그 어느 쪽도 아니다
(4)이브는 아름답지도 않고 영리하지도 않다
이브는 아름답다가 A
이브는 영리하다 B
라고 해보겠습니다
(3)은 (A V B)V(~A&~B)이거나 A V (B V (~A &~B) 인 것 같고요
(4)는 당연히 ~A & ~B 일텐데 둘이 논리적 동치일 수가 없는데 왜 이렇게 쓴 것일까요?
(3)이브는 아름답거나 또는 영리하거나 그 어느 쪽도 아니다
(4)이브는 아름답지도 않고 영리하지도 않다
이브는 아름답다가 A
이브는 영리하다 B
라고 해보겠습니다
(3)은 (A V B)V(~A&~B)이거나 A V (B V (~A &~B) 인 것 같고요
(4)는 당연히 ~A & ~B 일텐데 둘이 논리적 동치일 수가 없는데 왜 이렇게 쓴 것일까요?
3은 ~(AVB)입니다. 드모르간 법칙에 따라 이는 ~A&~B가 되고 이게 4죠
아름답거나, 영리하거나, 둘다 아니거나 이게 아니라 아름답지도 않고 영리하지도 않다는거임