本門課將邏輯知識區分為兩大部分：（一）邏輯語言；（二）邏輯證明。在期中考之前的課程，我們將授課目標放在與（一）相關的邏輯知識上，期望讓同學認識邏輯語言如何與自然語言不同，學習邏輯語言的語法結構以及語意特徵，並進而認識邏輯推論的各種類型。而在期中考之後，我們將重點放在與（二）相關的邏輯知識上，讓同學熟悉邏輯證明規則，以及實際操作邏輯證明，進而學習抽象推理能力。本學期將會安排期中與期末兩次紙筆測驗，目的在於檢視同學對課程內容的接受狀況，而在兩次紙筆測驗的前一週，我們也會進行課前複習，讓同學可以回憶課程內容，以及針對較不熟系的課程內容提供講解與說明。