명제 논리

위키백과, 우리 모두의 백과사전.
이동: 둘러보기, 검색

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

함께 보기[편집]

Heckert GNU white.svgCc.logo.circle.svg 이 문서에는 다음커뮤니케이션에서 GFDL 또는 CC-SA 라이선스로 배포한 글로벌 세계대백과사전의 내용을 기초로 작성된 글이 포함되어 있습니다.