推論（証明）規則の続きである． ¬¬e： ¬¬Φ ⊢ Φ いま考えている論理では，2つの値しかとらないとする．従って，否定を重ねる（¬が2つ）ことで元に戻る（¬がゼロ）．¬¬e規則（去-¬）と呼ばれる． 次は加える規則で […]
-
Pages
-
Categories
-
Archives
推論（証明）規則の続きである． ¬¬e： ¬¬Φ ⊢ Φ いま考えている論理では，2つの値しかとらないとする．従って，否定を重ねる（¬が2つ）ことで元に戻る（¬がゼロ）．¬¬e規則（去-¬）と呼ばれる． 次は加える規則で […]