Tag Archives: Mathematical Logic

명제논리의 건전성, 완전성, 긴밀성

명제논리에 대하여 논할 때는 두 가지 관점에서 논하게 된다. 하나는 구문론적 관점이며 다른 하나는 의미론적 관점이다. 구문론에서는 문자열의 의미는 따지지 않고 오직 기호 사이의 형식적 관계에만 관심을 가진다. 반면 의미론에서는 논리변수의 진릿값 배정에 따른 논리식의 진릿값과 논리식 사이의 논리적 귀결에 대해 관심을 가진다. 이들 두 관점은 완전히 서로 다른 것처럼 보이지만, 사실은 밀접한 연관을 가지고 있다. 즉 가정이… Read More »

명제논리의 구문과 의미

명제논리(propositional logic)란 간단히 말하면 명제변수와 기본 결합자(부정, 명제합, 명제곱, 함의), 그리고 몇 가지 공리와 추론규칙으로 이루어진 논리계를 뜻한다. 명제논리에서는 한정기호를 사용하지 않으므로 명제논리에서 다룰 수 있는 내용이 그렇게 다양한 것은 아니다. 그러나 추론 정리, 완전성 정리, 건전성 정리 등 더 복잡한 논리계를 다룰 때 기본적으로 만나는 정리들을 명제논리에서도 만나게 되므로, 명제논리는 수리논리를 공부하기 위해 기본으로 거쳐야 할 관문이다.… Read More »

형식논리

형식논리에서는 문자열 또는 주어진 문자들의 유한열에 대하여 다룬다. 여기서 문자열은 그 자체로서는 어떠한 의미도 갖지 않는다. '공리', '추론규칙', '정리', '증명' 등의 용어를 사용하지만 이러한 용어는 일반적인 수학적 의미와는 독립적으로 사용된다. '정리'가 '증명'될 수 있다는 사실이 우리가 실제로 다루는 수학의 체계에서 어떠한 역할을 하는지는 뒤에서 밝혀질 것이다. 형식계의 의미 형식계(formal system)는 다음 네 가지로 구성된 체계이다. 알파벳 \(A\) :… Read More »