下星期五11/28要期中考
範圍是課本1~5章(但有上課的看筆記就差不多了)
考試題型
1.定義 ex. 語句....
2.分類 ex. tautology,contradiction,contingent sentence
3.舉例
4.證明 真值表法,自然演繹法
5.神秘題(不超過10分)
另外,他還會考今天上的"選言定式定理"(Disjunctive Normal Form Theorem)
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 61.228.41.43