2018-05-06から1日間の記事一覧
命題論理ドモルガン4兄弟 ¬(A ∨ B) → ¬A ∧ ¬B. ¬A ∧ ¬B → ¬(A ∨ B). ¬A ∨ ¬B → ¬(A ∧ B). ¬(A ∧ B) → ¬A ∨ ¬B.のうち、直観主義論理の範囲で証明出来ないらしい ¬(A ∧ B) → ¬A ∨ ¬B.の証明。 排中律を前提とする。排中律を使って、A∨¬AとB∨¬Bをコンテキスト…
命題論理ドモルガン4兄弟 ¬(A ∨ B) → ¬A ∧ ¬B. ¬A ∧ ¬B → ¬(A ∨ B). ¬A ∨ ¬B → ¬(A ∧ B). ¬(A ∧ B) → ¬A ∨ ¬B.のうち、直観主義論理の範囲で証明出来ないらしい ¬(A ∧ B) → ¬A ∨ ¬B.の証明。 排中律を前提とする。排中律を使って、A∨¬AとB∨¬Bをコンテキスト…