논리합 [論理合, logical sum]
'또는(or)'라는 논리적 명제로 연결한 명제.
일반적으로 선언(選言) ·이접(離接)이라고도 한다. p,q,…로서 임의의 명제를 나타낼 때, 명제 p,q에 대하여 'p 또는 q'(p or q)와 같이 '또는(or)'이라는 논리적 언어로 연결된 명제이다.
'또는'을 나타내는 명제 결합기호 ∨를 써서 p∨q로 나타낸다. 또 p∨q의 진리값은 p, q 양쪽이 거짓일 때만 거짓이고 p, q의 한쪽 또는 양쪽이 참일 때는 참이다.
'컴퓨터♡박사' 카테고리의 다른 글
| 컴퓨터 세대별 구분 (0) | 2007.01.27 |
|---|---|
| 논리곱 [論理-, logical product] (0) | 2007.01.27 |
| 베이직 [BASIC] (0) | 2007.01.27 |
| (프로그래밍 언어)반올림의 함수 (0) | 2007.01.27 |
| (프로그래밍 언어)C (0) | 2007.01.27 |