두 개의 임의의 명제 p,q를 논리어「또는 (or)」을 사용하여「p 또는 q」(p or q)라고 표시하는 합성명제(合成命題). 이접(離接)·선언명제(選言命題)라고도 한다.

기호 p q라고 표시하며, 이것은 두 명제 가운데 어느 쪽인가 한 쪽을 주장하는 것이다.

p q의 진리값은 <표>와 같이 정의한다.

즉, p,q 양쪽이 다 거짓일 때만 거짓이고 p,q의 한쪽 또는 양쪽이 참일 때는 참이다.