本課程的內容大多著重於當代命題邏輯及述詞邏輯的基本觀念及證明,因此把重點放在命題邏輯(propositional logic)及述詞邏輯(predicate logic)中的自然演繹法(natural ...
確定! 回上一頁