本課程的主題是語句邏輯(sentential logic)。我們將介紹真值函數、真值表、證明、條件證明、歸謬證明、真值樹、以及語句邏輯的健全性及完備性等。另外，我們也將約略介紹三段論邏輯 (syllogistic logic)，內容包括四個類型的範疇陳述 (categorical statements)及它們之間的邏輯關係，以及如何用文氏圖(Venn diagrams)來表示範疇陳述所構成的論證並檢測其有效性。