수학/집합론
집합론 - 대우, 역, 그리고 부정
안녕하세요. 지난 포스팅의 집합론 - 교집합, 공집합, "If ... Then"의 의미에서는 교집합의 정의를 시작으로 이로인해 발생되는 모순을 해결하기 위한 공집합의 도입을 순서대로 보았습니다. 하지만, 공집합을 도입하더라도 없어지지 않는 모순을 제거하는 공허참(Vacuously True)에 대해서 알아보았습니다. 결론적으로 공허참이란 가정-결론 문장($\text{If } P \text{ ,then } Q$)에서 가정 $P$가 거짓이면 결론의 참/거짓에 관계없이 전체명제를 참으로 하자라는 것 입니다. 오늘은 가정-결론 문장($\text{If } P \text{ ,then } Q$)에서 새로운 명제를 만드는 대우(contraposition), 역(converse), 그리고 부정(Negation)에 대해서 ..
