에 대해 
= 
+ 1 이다. Propositional Logic
(Propositional Logic, Propositonal Calculus 는 같은 의미이다)
서술문으로서 그 내용에 대하여 진리값 참이나 거짓 중 어느 하나만을 부여할 수 있는 문장을 명제(命題, statement, proposition) 라고 한다. 진리값인 참과 거짓은 각각 T (True) 와 F (False), 혹은 1 과 0 으로 표시한다. 예를들어,
울릉도는
섬이다. 임의의
정수 에 대해 = + 1 이다.
와 같은 문장은 참이나 거짓 중 하나의 진리값을 갖는 서술문이므로 명제인 반면에, 아래의 문장은 명제라고 할 수 없다.
울릉도는 섬입니까? (서술문이 아님)
이 명제는 참이다. (참·거짓의 판별이 불가능함)
명제는 더 이상 분해될 수 없는 기본명제와, 이들을 연결사 (Connective) 에 의해 결합한 합성명제가 있다. 연결사는 명제연산에 있어서의 연산자로서 부정, 논리곱, 논리합, 조건 (혹은함의), 쌍조건(동치), 배타적논리합 등이 있다. ......
term :
명제논리 (Propositional Logic) 술어논리 (Predicate Logic) 정량자 (Quantifier) 연결사 (Connective) 추론 (Reasoning) 자연어처리 (Natural Language Processing) 인공지능 (Artificial Intelligence) 논리학 (Logic) 추론규칙 (Inference Rule)
site :
Wikipedia : Propositional calculus 위키백과 : 명제논리
paper :
명제계산(Propositional calculus) : 이재규 외
명제논리 (Propositional Logic) : Herbert Schildt
명제 논리의 소고 - 형식 의미론에의 접근을 위하여 - : 이원직, 한국어학회, 1994
확률적 명제논리 프로그래밍 : 신양규, 한국데이터정보과학회, 1995