[집합론] 1.3 초등논리 - 항진, 함의, 동치
안녕하세요, 오늘은 집합론의 항진, 함의, 동치에 관한 내용을 다뤄보겠습니다. 어렵지 않은 내용이니 천천히 따라오시면 됩니다! 제 1장) 초등논리 1.3 항진, 함의, 동치 합성명제 p∨~p의 진리표를 확인해 보자. p ~p p∨~p T F T F T T 이 진리표를 보면, 모든 경우에서 참인 것을 알 수 있다. 이와 같은 명제에서는 특별한 이름을 붙인다. 모든 논리적 가능성에 대해 참이라면 그 명제를 "항진" 또는 "항진 명제"라고 한다. 특히, P, Q에 대한 조건문 P→Q가 항진일 때, 이를 "함의" 또는 "함의 명제"라고 하고, 다음과 같이 쓴다. P⇒Q (P는 Q를 함의한다.) 다음 조건문들은 모두 함의이다. (직접 진리표로 알아봄으로써 확인해 보겠습니다.) (a) p→p p→p ≡ ~(p∧~p..
2023. 11. 18.