我們可以研究形式邏輯 (Formal Logic) 的重要概念，例如命題邏輯的符號化 (symbolisation of propositional logic) 、有和沒有子證明的命題邏輯中的證明 (proofs in propositional logic with and without subproofs) 、量化邏輯 (quantificational logic) 中的符號化 (symbolisation) 和證明。

​

我們逐步教授這些概念。我們歡迎所有沒有數學和邏輯推理背景的學生。