위키득계정 ↗
과학

논리합

논리합과학
영문명
Disjunction
대표 기호
∨
거짓인 경우
두 명제가 모두 거짓
컴퓨팅에서의 이름
OR
논리합은 두 명제 중 적어도 하나가 참이면 참이 되는 논리 연산이다. P ∨ Q로 나타내며, 고전 논리의 또는는 양쪽이 모두 참인 경우도 포함한다. 정확히 한쪽만 참이어야 하는 배타적 논리합과 구분된다.

하나 이상이라는 의미

정수 x가 짝수이거나 3의 배수라는 조건을 생각해 보자. 4와 9뿐 아니라 두 조건을 모두 만족하는 6도 이 조건에 들어간다. 논리합은 하나만 선택해야 한다는 뜻이 아니라 적어도 한 조건이 맞으면 된다는 뜻이다.

일상어 또는와의 차이

메뉴에서 차 또는 커피 하나를 고르라는 말은 둘을 동시에 고르지 말라는 뜻일 수 있다. 그러나 논리 기호 ∨는 그런 배제 조건을 자동으로 담지 않는다. 상황에서 쓰인 또는가 양쪽을 허용하는지 먼저 분명히 해야 한다.

합집합으로 해석하기

P를 만족하는 집합과 Q를 만족하는 집합의 합집합은 P ∨ Q를 만족하는 대상들의 집합이다. 공통 부분도 합집합에 포함되므로 두 조건을 동시에 만족하는 대상을 빼지 않는다. 이것이 배타적 논리합과 구분되는 지점이다.

전체를 부정하는 방법

P 또는 Q가 아니라는 말은 P도 아니고 Q도 아니라는 뜻이다. 즉 ¬(P ∨ Q)는 ¬P ∧ ¬Q와 동치다. 복합 조건의 부정에서는 각 부분을 부정하면서 논리합을 논리곱으로 바꿔야 한다.

관련 문서

명제 / 논리곱 / 배타적 논리합 / 합집합 / 동치