Tag Archives: Satisfiable

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

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