명제 논리 (4): 자연어 논증의 형식화와 평가
이 글에서 우리는 자연어로 구성된 논증을 \(Pr\)의 논증으로 번역한 뒤 이를 평가하는 방법에 관해 알아 보고, 명제 논리가 갖는 표현력 상의 한계에 관해 논할 것이다.…
명제 논리 (3): 타당성, 건전성, 완전성
이 글에서 우리는 논리학에서의 타당성 개념 및 명제 논리에서 논증의 타당성을 확인하는 방법에 관해 논하고, 이어 \(Pr\)이 갖는 두 성질인 건전성과 완전성에 대한 증명을 개관할 것이다.…
명제 논리 (2): 명제 논리의 구문론과 의미론, 증명 체계
이 글에서 우리는 형식 체계로서 명제 논리가 어떻게 구성되는지에 대해 개괄할 것이다.…
명제 논리 (1): 명제 논리란?
이 글에서 우리는 명제 논리가 무엇인지, 그리고 명제 논리를 구성하기 위해 무엇이 필요한지를 알아볼 것이다.…