無矛盾律

暇つぶしに見て

無矛盾律と排中律の自然演繹

無矛盾律 無矛盾律(むむじゅんりつ、英: Law of noncontradiction)は、論理学の法則であり、アリストテレスによれば「ある事物について同じ観点でかつ同時に、それを肯定しつつ否定することはできない」こと。Wikipedia...
暇つぶしに見て

排中律の証明

排中律 定義 排中律(はいちゅうりつ、英: Law of excluded middle、仏: Principe du tiers exclu)とは、論理学において、任意の命題 P に対し"P ∨ ¬P"(P であるか、または P でない)...
暇つぶしに見て

認識と論理包含と混乱

論理学は人の認識の一般化です。人が開発したのだから当たり前ではありますが、見落としてしまいがち。 人の認識を土台として集合や写像という概念は開発された、という視点に立てば数学の見え方が変わってきます。 複雑に見える概念であっても、集合や写像...