這完整的課程裏我們將習得所謂「古典邏輯」裏的兩套系統:「語句邏輯」和「述詞邏輯」。在每一學期的課裏，我們都將分成兩部份，第一部份，我們先認識這些邏輯規則在日常生活中的使用，然後我們再學習這些邏輯形式系統以及它們的性質。在這下學期的課程中我們將接著討論述詞邏輯，以及所需的數學工具。