명제 논리와 진리표 (쌍조건문 ⇔)

안녕하세요~ 오늘은 <집합론> 에 나오는 쌍조건문에 대해 알아보고 진리표로 설명해 보겠습니다. 쌍조건문은 ⇔ 로 표현되는데요. P ⇔ Q 는 오직 P인 경우에만 Q가 참이다 라는 것을 의미합니다. "고등학교를 졸업해야 고졸 학력이다" 오직 고등학교를 졸업해야만 고졸 학력을 가지고요. 고졸 학력을 가진다는건 고등학교를 졸업했다는 뜻이죠. 요약하자면 뭐 하나가 참이면 다른 하나도 반드시 참인거죠. 조금 풀어서 써보자면 P 가 참이면 Q 역시 반드시 참이며, Q 가 참이면 P 역시 반드시 참이다~ 라는 뜻입니다. 기호로 써보자면 (P ⇒ Q) ∧ (Q ⇒ P). 만약 P라면 Q이다. 그리고, 만약 Q이면 P이다. 이걸 요약해서 쓴게 쌍조건문 P ⇔ Q 입니다. 이제 쌍조건문이 참인지 거짓인지 판단하는 진리표를 그려볼게요. P ⇔ Q = (P ⇒ Q) ∧ (Q ⇒ P) 라는 사실을 기억하시면서 이해해주세요. P Q P ⇒ Q Q ⇒ P P ⇔ Q t t t t t t f f t f f t ...

원문링크 : 명제 논리와 진리표 (쌍조건문 ⇔)