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