[요약] 임의의 명제를 나타낼 때, '또는(or)' 이라는 논리적 언어로 연결된 합성명제이다. 일반적으로 선언(選言) ·이접(離接)이라고도 한다. p,q,…로서 임의의 명제를 나타낼 때, 명제 p, q에 대하여 'p 또는 q'(p or q)와 같이 '또는(or)' 이라는 논리적 언어로 연결된 명제이다. '또는'을 나타내는 명제 결합기호 ∨를 써서 p∨q로 나타낸다. 또 p∨q의 진리값은 p, q 양쪽이 거짓일 때만 거짓이고 p, q의 한쪽 또는 양쪽이 참일 때는 참이다.