명제 논리와 진리표 (부정 ¬, 논리합 ∨, 논리곱 ∧)

안녕하세요~ 오늘은 <집합론> 에 나오는 명제 논리와 진리표에 대해 알아보겠습니다. 원문을 모두 한글로 바꿔서 최대한 쉽게 이해해볼게요. 명제 논리란 명제나 문장들 간의 관계를 의미합니다. 물론 문장들 간의 관계를 말로, ~가 참이면 ~도 참이다 하고 쓰면 수학이라는 학문 특유의 간지(...)가 안나겠죠? 오늘은 명제 논리를 기호로 쓰는 방법을 공부해보고, 이를 진리표로 그려보는 시간을 가져보도록 하겠습니다. <부정 ¬ 의 논리표> P ¬P t f f t 처음 보면 조금 헷갈릴 수 있지만 이해하면 간단합니다. "P"가 true 라면 "P의 부정"은 false 이고, "P"가 false 라면 "P의 부정"은 true 겠죠. 당연한 얘기입니다. <논리합 ∨의 진리표> 논리합이란 or(또는)라는 뜻을 가지고 있습니다. "저건 사과 또는 바나나이다." 라는 명제에서 사과여도 참이고, 바나나여도 참입니다. 두 가지 중 하나만 참이여도 전체 명제가 참인거죠. P ∨ Q , P 또는 Q 라는 명...

원문링크 : 명제 논리와 진리표 (부정 ¬, 논리합 ∨, 논리곱 ∧)