논리와 명제(1)

* 논리와 명제 - 명제논리 : 주어와 술어 구분 없이 전제를 하나의 식으로 처리하여 참 또는 거짓을 판별 - 술어논리 : 주어와 술어를 구분하여 참 또는 거짓 판별 - 명제 : 참이나 거짓을 객관적이고 명확하게 구분할 수 있는 문장이나 수학적 식 · 명제 표기 : p, q, r... 등 영문자 소문자로 표기 · 명제가 참일 때 진리값은 T, 거짓일 때 진리값은 F로 표시 * 논리연산 - 단순명제 : 하나의 문장이나 식으로 된 명제 - 합성명제 : 여러 단순명제들이 논리연산자들로 연결되어 만들어진 명제 - 논리연산자 : 단순명제들을 연결시켜주는 연결자 · 합성명제의 진리값은 단순명제의 진리값과 논리연산자 특성에 따라 진리표를 사용하여 연산함 - 논리연산자 이름과 기호 이름 기호 부정 ~ NOT 논리곱 ∧ AND 논리합 ∨ OR 배타적논리합 ⊕ Exclusive OR 조건 → if ... then 쌍방조건 ↔ if and only if(iff) - 여러 논리 연산자를 포함하는 합성 명...

원문링크 : 논리와 명제(1)