다른방식으로 이데아 증명해봄 평가좀
x가 상자A에 있다 and x가 상자B에 없다
x가 상자A에 있다 가 참이면
x가 상자B에 없다 도 참임
따라서
x가 상자A에 있으면->(x가 상자A에 있다 and x가 상자B에 없다)가 참
-> (x가 상자 A에 있다<->x가 상자B에 없다)가 참
대우
-> (x가 상자 A에 없다<->x가 상자B에 있다)가 참
상자A=우리세계
상자B=다른세계
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
2줄 요약좀