暇つぶしに見て ド・モルガンの法則の自然演繹 ド・モルガンの法則 ド・モルガンの法則 A∨B⇔B∨Aを導きたいってこどネットを徘徊していたところ「論理和の交換法則はこの論理展開で行くんじゃない?」とヒントになりそうなものを発見しましたので共有します。 ド・モルガンの法則の自然演繹です。... 2023.06.06 暇つぶしに見て