집합론 - 명제와 논리

1. 명제와 진리표 명제 statement : 진리값인 참 T 과 거짓 F 이 분명하게 판단되는 문장으로, 진리표를 통해 판별한다.

명제함수 propositional function, P(x) : 변수 x를 포함하는 명제라면 변수 x에 대상을 대입해야 참/거짓이 판단된다. 합성명제(compound statement, 영어 대문자로 표현) : 단순명제(simple statement, 영어 소문자로 표현, 성분이라고도 함.)들이 연결사(connective)에 의해 결합된 명제로, 진리표를 통해 논리적 가능성(2의 제곱의 가짓수를 갖는다.)을 따진다. ~ 부정 not 아니다, 참인 명제를 부정하면 거짓의 명제가 된다. ∧ 논리곱 and 그리고, 두 성분이 참일 때에만 명제가 참이 된다. ∨ 논리합 or 또는, 두 성분이 거짓일 때에만 명제가 거짓이 된다. → 조건 If~, then ~이면 ~이다. ↔ 쌍조건 If and only if (Iff) ~이면, 그리고 그때에만 ~이다.

조건문에서...