옛날에 집합 배울때 논리도 같이 배웠었는데 그때 너무 대충해놔서 햇갈려서 질문 해봐
남위키엔
P->Q , Q->P 가 참이면
P는 Q의 필충 조건임과 동시에 Q는 P의 필충 조건이다.
(https://namu.wiki/w/%ED%95%84%EC%9A%94%EC%A1%B0%EA%B1%B4%EA%B3%BC%20%EC%B6%A9%EB%B6%84%EC%A1%B0%EA%B1%B4)
라고 되어있어
근데 밑줄에
'P와 Q가 서로의 필요 충분조건인 경우 P 와 Q는 동치가 된다.'
근데 동치관계가 같다라는 뜻이고
위에서 P가 Q의 필충조건이면 Q도 P의 필충조건 이므로 서로의 필충 조건이 되니까
자연스레 P=Q 가 성립하는거 아냐?
