今天林正弘老師一定很開心！

因為換教室的關係，今天的邏輯課在一個有大白板的教室上課，老師終於可以盡情在白板上揮灑搭他的論證公式啦！也許是拜大白板之賜，老師今天的教學相當順暢，一直問同學們「會不會太快？」儘管同學們一直搖頭表示自己跟得上老師的進度，老師還是在既擔心進度上不完又擔心同學們聽不懂的狀況下繼續今天的課程。

今天的進度如下：

1.直接證法（direct proof）、條件證法（conditional proof）、間接證法（indirect proof 或稱「歸謬法」redctio ad absurdum）

a. CP規則

b. 一致（consistence）與不一致（inconsistence）

c. RAA規則

2.證明論證無效

3.語句邏輯（sentence logic）、述詞邏輯（predicate logic）與量限邏輯（quantification logic）

4.量限邏輯的符號式

a. 個體常元（individual constant）與述詞（predicate）

b. 個體變元（individual variable）與量詞（quantifier）

5.量限邏輯的有效無效與解釋（interpretation）

這次助教來不及回收大家上次的習題，還沒有做的同學還來得及做喔！下週二、三交到殷海光故居，應該還來得及讓助教收走，請大家加油努力做喔！