暇つぶしに見て 無矛盾律と排中律の自然演繹 無矛盾律 無矛盾律(むむじゅんりつ、英: Law of noncontradiction)は、論理学の法則であり、アリストテレスによれば「ある事物について同じ観点でかつ同時に、それを肯定しつつ否定することはできない」こと。Wikipedia... 2024.04.18 暇つぶしに見て
暇つぶしに見て 排中律の証明 排中律 定義 排中律(はいちゅうりつ、英: Law of excluded middle、仏: Principe du tiers exclu)とは、論理学において、任意の命題 P に対し"P ∨ ¬P"(P であるか、または P でない)... 2023.07.26 暇つぶしに見て
暇つぶしに見て 認識と論理包含と混乱 論理学は人の認識の一般化です。人が開発したのだから当たり前ではありますが、見落としてしまいがち。 人の認識を土台として集合や写像という概念は開発された、という視点に立てば数学の見え方が変わってきます。 複雑に見える概念であっても、集合や写像... 2023.03.24 暇つぶしに見て