2016年8月11日
四大證明系統

2

邏輯系統有分 語意和語法兩個面向 ,證明系統 (proof system) 就是純粹在語法面向運作的系統。目前四類主流的證明系統,分別是「自然演繹證明系統」 (natural deduction system) 、「公理證明系統」 (axiomatic proof sy...

閱讀更多 »
2016年8月10日
 
Toggle Footer