|
논리곱 [論理-, logical product] '그리고(and)'라는 논리적 언어로 연결된 합성명제. 연언(連言)·합접(合接)이라고도 한다. p,q,…로서 임의의 명제를 나타낼 때, 명제 p,q에 대하여 'p 그리고 q'(p and q)와 같이 '그리고(and)'라는 논리적 언어(또는 결합자)로 연결된 합성명제를 말한다. 명제논리학(命題論理學)에서는 '그리고'는 명제 결합기호 ∧를 써서 p∧q로 나타내며, p∧q의 진리값은 p,q의 양쪽이 참일 때에만 참이며, p,q의 한쪽 또는 양쪽이 거짓일 때는 거짓이다.
|
'컴퓨터♡박사' 카테고리의 다른 글
| 중앙처리장치 [中央處理裝置, central processing unit] (0) | 2007.01.27 |
|---|---|
| 컴퓨터 세대별 구분 (0) | 2007.01.27 |
| 논리합 [論理合, logical sum] (0) | 2007.01.27 |
| 베이직 [BASIC] (0) | 2007.01.27 |
| (프로그래밍 언어)반올림의 함수 (0) | 2007.01.27 |