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) : 이재규

명제논리 : Nils J.Nilsson

명제논리 (Propositional Logic) : Herbert Schildt

명제

명제 논리의 소고 - 형식 의미론에의 접근을 위하여 - : 이원직, 한국어학회, 1994

확률적 명제논리 프로그래밍 : 신양규, 한국데이터정보과학회, 1995