「數學本身是在做推理，邏輯是告訴你推理的原則，所以數理邏輯最後會很像數學。」

因為上課人數眾多，為了讓來上課的同學們都能清楚的看到老師的板書，今天開始邏輯課程特地跟學校借了教室，搬到校園裡上課了。殊不知今天到的學生居然只有往常的一半（哭）。

為了沒有到場的同學列一下今天的課綱，今天老師列出來的進度有：

  1. 真值表（ture table）與有效性（validity）
  2. 語句蘊涵（sentence implication）與語句等值（sentence equivalence）
  3. 語句蘊涵規則：Simp, Adj, DS, Add, MPP, MTT, HS
  4. 語句推論（sentence inference）

看不懂的同學也不要問小編，小編也不知道自己在打什麼，看著上課的同學們一邊跟著老師的話點頭，都讓人忍不住佩服大家的慧根，老師說這堂可只要稍不注意就可能會跟不上，時不時上課恍神的小編從第一堂課就感受到它的厲害了。

不過老師說了一段殷先生的小故事，讓小編剛好有聽懂，可以跟大家分享：林正弘老師雖然沒有正式上過殷先生的課，但他也聽過殷老師課堂中的一些逸事，殷老師在上符號邏輯課程時特別重視否定前件與否定後件的推論，大概是因為中文的慣用語法容易讓人混淆，所以他上課都會多講幾次。但也因此，聽說到期中考時還搞不懂否定前件與否定後件的同學，這學期就別想及格拿到學分了。聽了這段小故事，就算沒見過殷海光老師本人，也稍微能感受到他課堂上的氛圍了吧？

課後助教也與大家討論了上次的作業，聽助教說上次大家寫的都不錯喔！這次課堂進度較快，指定回家的習題也多，希望大家多多加油！

另外為沒來的同學宣布一下這次指派回家的閱讀教材，是《邏輯》書中的第75-94頁，以及第97-110頁。今天沒來上課的同學們記得要在家裡試著自己先讀一下喔！老師今天的課程綱目，同學們可以隨時來殷海光故居拿，還有下次要記得來上課啊！