Tag Archives: Model

일계논리의 의미론

일계논리의 구문론을 소개하면서 일계논리에서 사용하는 기호에 'not', 'if and only if', 'for all'과 같은 이름을 붙였다. 이것은 구문론에서 비록 의미를 부여하지 않은 기호의 나열을 논하지만, 실은 그러한 기호로 이루어진 문장이 어떠한 의미를 갖는지를 방법을 암시한 것이다. 이 글에서는 그러한 방법을 명확하게 밝힌 의미론(semantics)을 살펴본다. \(\mathcal{L}\)-구조 \(\mathcal{L}\)이 일계논리언어라고 하자. \(\mathcal{L}\)은 그것이 가지고 있는 관계기호, 함수기호, 상수기호에 의하여 완전히 결정된다.… Read More »