双重否定除去
在命題邏輯裡，雙重否定除去（或雙重否定介入）此一推理規則允許導入（雙重否定介入）或除去（雙重否定除去）一對否定來導出等價的公式。這是基於如 :「現在沒有下雨是錯的」 和 :「現在正在下雨」 在語義上的等價。 形式上，雙重否定除去為 :¬¬A :∴ A 形式上，雙重否定介入為 :AA :∴ ¬¬A 這兩個規則可以重述如下（以相繼式的形式）： : \neg \neg A \vdash A , : A \vdash \neg \neg A .…
标签：#推理規則
共 2 篇文章
中项
在直言三段論中，中項是指在二個前提中都出現，但不在结论中出现的詞項，一般用M表示。中項必須在至少一個前提中周延（範疇的所有個體都被涉及到），但不需在結論中周延。 以下是一個直言三段論的例子，中項以粗體表示： :大前提：人都會死。 :小前提：蘇格拉底是人。 :結論：蘇格拉底會死。 其中的人為中項。 參考資料