ちょっとした経緯があり，ＮＫ，ＬＫにおけるド・モルガン則の証明の作成手順を述べます．ド・モルガン則は，￢（〇＊□）⇔（●・■）の形の定理（〇は●の否定，■は■の否定，＊，・の一方は，∨他方は∧）であり，証明は￢（〇＊□）⊢（●・■）と（●・■）⊢￢（〇＊□…

ちょっとした経緯があり，ＮＫ，ＬＫにおけるド・モルガン則の証明の作成手順を述べます．ド・モルガン則は，¬（〇＊□）⇔（●・■）の形の定理（〇は●の否定，■は■の否定，＊，・の一方は，∨他方は∧）であり，証明は¬（〇＊□）⊢（●・■）と（●・■）⊢¬（〇＊□）…