3.9 真理関数という考え方 3.10 日本語の「ならば」と論理学の「→」 3.11 コンパクト性定理 3.12 メタ言語と対象言語をめぐって担当範囲は上の通り。コンパクト性定理の証明が難しくて死んだ……。ただそこを除けば他の部分は十分理解できたと思うので，次回以…