推論（証明）規則の続きである． ¬¬e： ¬¬Φ ⊢ Φ いま考えている論理では，2つの値しかとらないとする．従って，否定を重ねる（¬が2つ）ことで元に戻る（¬がゼロ）．¬¬e規則（去-¬）と呼ばれる． 次は加える規則で […]
-
Pages
-
Categories
-
Archives
Category Archives: KAOS
KAOS (79) 文を形式化する基礎としての論理：命題論理 (4.4.1-3)
25/10/2014 – 1:16 PM
更に，自然演繹における推論規則を見ていく．最初は，連言である． 右側にある∧iは，この推論規則の名前である．図のタイトルは筧先生に敬意を表してプログラミングの科学にある名前をつけている．意味は明らかで，Φが真と分かり，ψ […]
KAOS (78) 文を形式化する基礎としての論理：命題論理 (4.4.1-2)
24/10/2014 – 7:47 AM
今回は推論（導出）規則である．或いは，論証のパターンとも呼ばれる．なお，論証といっても，命題論理の範疇であって，日常生活で我々が常にそうしているというわけではない（多足，トゥールミン） 推論規則としては，自然演繹に基づく […]