syntax-vs-semantics

구문론은 논리식이 구성되는 형식적 규칙을 다루며, 의미론은 그 논리식이 실제 세계(모델)에서 가지는 진리값과 의미를 정의한다.