명제 논리학

명제 논리학

명제 논리(命題論理, propositional logic [1] )는 논리식을 이용해 명제를 기술하는 형식 체계이다. 명제 논리는 기호논리학의 가장 기초적인 영역이다. 사고를 개념으로까지 분해하는 고전논리학에 과는 달리, 사고의 최소 구성단위를 명제(원자적 명제)로 하여 명제의 내용·구조에는 개입하지 않고 각 명제 사이의 결합관계만을 연구한다. 명제의 결합을 4-6종의 기호로 통일적으로 나타내고, 각 명제를 진위(진리값)의 관점으로부터만 생각하여 복합적 명제의 진위를 원 명제의 진위로부터 수학적 계산법에 의해 결정하려고 한다(論理計算).