[이산수학] 논리 연산 및 조건문 이해

애써 배운걸 까먹을까봐 그러기 전에 미리 정리해놓은 이산수학(discrete mathematics) 노트입니다. 미리 알아둘 것 명제 논리 이해 이전에 살펴본 부정(negation) 연산자의 경우 단일한 하나의 명제에 대한 가장 간단한 단항 논리 연산자(monomial logical operator)라고도 할 수 있었습니다. 이번에는 두 개 이상의, 복수개의 명제에 대하여 논리 연산을 할 수 있는 논리곱(conjunction)과 논리합(disjunction)에 대해 살펴봅시다. 두 명제의 논리곱은 A에서 가운데 가로선을 치워버린 것처럼 생긴 "∧" 라는 기호를 써서 나타냅니다. 명제 p와 q에 대하여, p와 q의 논리곱(conjunction)은 p∧q 라고 작성하며, 자연어(영문)으로 "p and q" 라고 주로 읽습니다. p∧q는 명제 p와 q의 진리값(truth value)이 모두 T(True)일때만 T(True)이고 그것이 아니면 모두 F(False)이 됩니다. 따라서 논리곱 ...