我把我目前知道的key上來:
語句 =df 凡有真假可言的直述句。
論証 =df 一個論証乃是由n(n大於等於0)個前提,及一個結論所組成的推論的方式。
有效論証 =df 一個論証A1,A2,...,An/∴B是有效的(vaild),
必然地,當所有前提均為真時,其結論亦必為真。
妥當論証 =df 一個論証是妥當的(sound),(1)首先,它是一個有效論証;
(2)其次,它的每一個前提均為真。
演繹大定理(DT) =df 一個論証A1,A2,...,An/∴B是有效的,
iff (A1.A2...A3) B是一句套套邏輯。
~~是乘號 ~~中間這個符號打不出來!
語句邏輯有決定程序:一個邏輯系統的決定程序是在該系統內的任一個論証,
我們可以在(1)有限的步驟內,
(2)用機械的方法,來判定任何一個論証是有效或無效。
--
如果有漏掉,記得告訴我喔^^y
--
※ 發信站: 批踢踢實業坊(ptt.csie.ntu.edu.tw)
◆ From: 140.112.224.44