数学とか ド・モルガンの法則の自然演繹
ド・モルガンの法則ド・モルガンの法則A∨B⇔B∨Aを導きたいってこどネットを徘徊していたところ「論理和の交換法則はこの論理展開で行くんじゃない？」とヒントになりそうなものを発見しましたので共有します。ド・モルガンの法則の自然演繹です。1.A...
論理学
数学とか 数学とか 論理和と論理積の冪等律
同値関係についてもう少し掘り下げてやろうと思います。冪等律冪等律【冪等律】数学において、冪等性（べきとうせい、英: idempotence、「巾等性」とも書くが読み方は同じ）は、大雑把に言って、ある操作を1回行っても複数回行っても結果が同じ...
数学とか 仮説的導出と論理和の除去
A∨B⇔B∨Aに繋がりそうな考え方を学んでいきます。仮説的導出と論理和の除去【仮説的導出】数理論理学での一般的操作として、「仮定からの推論; reasoning from assumptions」がある。例として、次のような演繹過程を見てみ...
数学とか 反射律と対称律と推移律と代入原理
また等しいについて考えながら数学の思想を感じていきます。等式の定義と同値関係の定義等式の定義【等式】通常、等号は以下の２つの公理によって定義される：反射律: 対象 a が何であっても a = a は常に成り立つ。代入原理: 対象 a, b ...
数学とか 論理式の定義と括弧の意味
論理和と論理積の結合則、交換則を推論規則から演繹しようと思って挑戦。やりながら論理式と括弧が気になってきました。そういえばどんなルールがあるのだろうと。論理式と二項演算と括弧論理式の定義Wikipediaには以下のように説明されています。論...
数学とか 自然数の定義と人の認識
人の認識を延長したものが含意、さらにその含意を延長し集合を含む概念にしたのが写像、関数。この文脈から自然数の定義にどんな物語が与えられるのかを見ていきます。人の認識って文脈から数学を理解しようって試みであくまでも長濱説、我流です。写像と含意...
数学とか 含意と因果関係と写像
含意は因果関係含意の認識論理学や数学の基礎を成す人の認識について考えていきます。含意「aならばb」は因果関係とみなすことができます。「殴られた→痛い」という含意は「殴られた」という命題が真なら「痛い」という命題も真となる因果関係の認識。「殴...
数学とか 健全性と人の認識
同じところをぐるぐる回っているような気がします。が、前進へは執着しません。「堂々巡りも一興」と一見すると無駄なことを楽しむことが成長の鍵。成長って強迫観念を捨てることが成長を引き寄せるという論理に確信を持っています。あえて無駄を積み重ねられ...
数学とか 含意と等しいの定義
頭を悩ませている「同値」の定義の 発生源。定義だけみると突然反射律やらが登場したようで気持ちが悪い。同値って概念の発生までの文脈を与えよう、という試み。人の認識から演繹人の認識は含意人の認識を一般化した含意を紡いで演繹された論理構造に「等し...
数学とか 現象には意味があって欲しいという人の願望
自然演繹の現時点の僕の疑問とそれに対する解釈を書き出して頭を整理します。「仮定」について推論て何論理学の推論の成立に関する現時点の僕なりの文脈を無造作に与えると以下のような感じ。現象を観察する↓前提（事実）を抽出する↓「前提が真なら結論も真...
数学とか 背理法で二重否定の除去
背理法によって命題pの二重否定¬¬pがpと同値であることを演繹します。二重否定の除去背理法命題「¬pと¬¬p」が矛盾であることを背理法（否定除去）により演繹します。この演繹を日本語に翻訳すると「裏の裏は裏ではない、よって表である」となります...
数学とか 否定除去と背理法
推論規則の否定除去の方で少し振れましたが、命題aの否定から矛盾が演繹できるなら結論としてaの否定を除去したaを導いてよいとする規則です。背理法と否定除去矛盾を利用した論法に背理法がある。この論法では、「Xである」を示す場合に、まず「Xでない...