暇つぶしに見て 排中律の証明 排中律 定義 排中律（はいちゅうりつ、英: Law of excluded middle、仏: Principe du tiers exclu）とは、論理学において、任意の命題 P に対し"P ∨ ¬P"（P であるか、または P でない）... 2023.07.26 暇つぶしに見て
暇つぶしに見て ¬の分配法則と二重否定の除去と導入 論理和と論理積の結合、分配法則を学んでいえふと、「ド・モルガンの法則は否定の分配法則だ」と頭に浮かびました。 否定演算には分配法則が成り立つことをド・モルガンの法則は言っているのですね。 ¬の分配法則と二重否定の除去と導入 ド・モルガンの法... 2023.07.11 暇つぶしに見て
暇つぶしに見て 