명제논리1 명제논리 (2) 구문론syntactics은 언어 자체에 관심을 가진다. 가령, 문법이 그것이다. 의미론semantics은 언어가 어떤 의미를 갖는지에 관심을 가진다. 다시 말해 언어가 의미하는 바를 연구한다. 3. 타당성과 비일관성 타당성은 비일관성과 직접적인 연관성을 가진다. 문장들의 집합 S가 비일관적이다라는 말은 iff 문장들의 집합 S의 원소들인 문장들이 모두 함께 참일 수 없다는 것을 뜻한다. 다시 말해 S의 원소들인 문장들이 모두 함께 참이 되는 논리적 가능상황이 존재하지 않는다는 것을 뜻한다. 그렇다면 집합에 문장A 단 하나만 들어있는 경우는 어떠한가? 문장 A가 참인 논리적 가능상황이 존재하지 않는 경우 그리고 그러한 경우에만 문장 A는 비일관적이다. 이 때 문장A는 모순문장이다. 반면에 어떠한 진리치.. 2023. 5. 6. 이전 1 다음