数学的

暇つぶしに見て

自然数の定義と人の認識

人の認識を延長したものが含意、さらにその含意を延長し集合を含む概念にしたのが写像、関数。この文脈から自然数の定義にどんな物語が与えられるのかを見ていきます。人の認識って文脈から数学を理解しようって試みであくまでも長濱説、我流です。 写像と含...
暇つぶしに見て

論理和除去と導入

後回しにしてた論理和の推論規則を学んでいきます。 論理和の導入と除去 ∨(論理和)導入 Wikipediaの説明が分かりやすいので引用します。 もし「P」という命題が真であれば、「PまたはQ」という命題もまた真である、という推論規則である。...