쿠쿠리 [1310649] · MS 2024 · 쪽지

2024-10-01 08:46:18
조회수 1,812

다른방식으로 이데아 증명해봄 평가좀

게시글 주소: https://old.orbi.kr/00069337245

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)

  1. 유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.