역부터 새로 배워야 겠다. '역'은 뒤집는거다. 댕댕이거 켜엽다가 명제면 커여우면 댕댕이다. 가 역이다.

'이'는 부정을 넣는거고, 댕댕이가 커엽다가 명제면 댕댕이가 아니면 커엽지가 않다. 가 이다.

이거 두개를 동시에 적용시킨게 대우고. 그래서 역과 이는 원명제랑 참 거짓 관계를 따질수가 없고, 대우만 따질 수 있는거

아고래? 역이랑 이랑 헷갈렸어 근데 대우는 서로 동치인거고 이는 서로 부정 맞잖아

집합관계로 따져봐도 A에 속하는 원소는 A여집합에 속하지 않고 그 반대도 참이잖아

서로 부정이 아니라 순서 바꾸고 부정

P Q집합 그렸을때, 완벽히 같은 집단일때는 둘 관계 모두 참일 수 있어서 역, 이는 따질 수 없음이야

아 그럼 P이면 Q이다 는 참이다 이거의 동치인 P이면 ~Q이다 는 거짓이다 이건 이가 아니라 대우관계라고봐야해?

대우는 ~q이면 ~p이다 이거고 p이면 ~q이다는 역 이 대우 어떤 관계도 아니니까 수학적 관계가 없음

근데 P이면 Q이다가 거짓이면 P이면 ~Q이다 이건 수학적 증명에서 자주쓰이는 If not구문이고 이게 집합론적 배경이 없을리가 만무한디.. 집합론배운지3년됐는데 생각해보니까 이거에대해 생각해본적이 없었네ㅋㅋ 아마 동치이긴 하겠지만 궁금하긴하다