10.3 명제 논리의 구문론과 의미론