1. 해석 I가 다음과 같이 주어져 있을 때, 다음 두 문장이 I에서 참인지 거짓인지를 판정하라.

논의세계: 사람들의 집합
F: (1)은 여자이다
G: (1)은 남자이다

2. 해석 I가 다음과 같이 주어져 있을 때, 다음 두 문장이 I에서 참인지 거짓인지를 판정하라.

논의세계: {1,2,3,4}
L: {<1,1>, <2,2>, <3,1>, <3,2>, <4,1>, <4,2>}

3. 다음 논변 각각에 대해, 마지막 문장이 거짓이고 나머지 문장들이 참인 해석을 제시함으로써 결론이 전제의 논리적 귀결이 아님을 보여라.

4. 다음 문장들의 각 집합이 일관적임을 보이시오.

---

지금 하는 기호논리학 공부는 다음 학기 언어철학 과목을 보다 수월히 듣기 위함이기 때문에 ‘해석과 타당성’, ‘자연언어를 L로 번역하기’는 모든 연습문제를 풀지 않고 적절히 골라 풀기로 하였다.

그 뒤의 ‘동어반복적 문장들’까지 하면 좋겠지만 물리 공부와 논문 디벨롭도 방학 중에 함께 해야 하기 때문에 시간상 5장 ‘자연언어를 L로 번역하기’까지 공부하고 기호논리학 공부는 마치게 될 듯하다.