論理学

論理的に矛盾する関係（論理）ってどんなのがあるたまろうとふと思って考えて見ました。矛盾は命題の如何に関わらず恒に偽となる式。例えばA∧¬A=⊥上の論理式は命題の真理値にかかわらず恒に偽となる論理式。つまり恒偽式=矛盾=⊥です。この推論が論理...

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

常識や科学などの社会通年は無条件に当然の議論の枠組みとして受け入れられています。ネットの辺境にある僕のブログへ読者の皆さんがたどり着いたのはきっと、現実を覆っているボクシングジムの様々なマトリックスに違和感を覚えたからではないかと思います。...

恒真式恒真式（こうしんしき、トートロジー、英: tautology、ギリシャ語のταυτο「同じ」に由来）とは論理学の用語で、「aならば aである (a → a) 」「aである、または、aでない (a ∨ ￢a)」のように、そこに含まれる命...

引用の記事の続きです。(A∧B)∨(A∧C)→A∧(B∨C)とA∧(B∨C)→(A∧B)∨(A∧C)を証明して必要十分条件が成り立ちますが、後者の証明がされていませんでした。というわけで下の同値関係の証明に挑戦。A∧(B∨C)⇔(A∧B)∨...

基本的に我流定義なので、∀と∃の順番は気にしてませんでしたが「ちょっと待って、これ大丈夫？」と不安になったので∀x∈X,∀y∈Y:P(x,y)⇔∀y∈Y,∀x∈X:P(x,y)が成り立つのか確認します。∀x∈X,∀y∈Y:P(x,y)(前提...

いつかの我流定義。-a=-s(a)+1今朝、ふとこれは定義ではなく定理だなと。-s(a)+1(前提)-(s(a)+(-1))(負数定義)-(a+1+(-1))(負数定義)-(a)(負数定義)-a(負数定義)s(a)+1=-a乗法で負数を定義...

数と負数を加法でどう結びつけるのか、を試します。負数の我流定義-0=00×-a=0-1×-1=1a×-1=-a正数（自然数）の場合の後者はs(a)=a+1負数をa+(-a)=0という風に、自然数aに負数-aを足すと0となるような関係で合って...

代入原理と同値関係代入原理: 対象 a, b が a = b であるときには、一つの自由変数 x を含むどんな命題関数 P(x) についても P(a) ⇔ P(b) が（両辺ともに一意的な意味を持つ限りにおいて）常に成り立つ。Wikiped...

数学を学んでいると何事も疑ってみる性格が身につきます。まあ、そんなひねくれた性格だから数学を楽しいと感じるのかもしれませんが。今朝、目覚めて頭に浮かんだ疑問は(A=B)=CはA=B=Cに変形できるのか、()を外せるのか、です。自分でも完全に...

名前があるのかは不明な、ある自然数の法則を証明します。あるnまでの自然数を足した値1+2+3+…n=？？？を導く法則。まずは簡単な法則の仮説を立てます。0+1から0+1=1n=1の場合は以下の式が仮説として立ちます。n(n+1)/2=1次に...

既に同値についてはどんな関係なのかを色々考えてきましたが、除法や減法のように我流で定義してみようと思います。と言っても一度きちんとした定義は学んでいるので、なぜそのような定義になったのか？に個人的な文脈を与えます。同値関係等しいの認識一言で...