順序関係

股関節おじさんの勉強部屋

順序集合の定義の気持ち

大小関係について考えていたら、=と>から受ける印象って異なるよなあ、となったので、その理由を考えました。 =で結ばれる関係は組み合わせ方次第ですが、一対一対応の写像だと言えます。 【写像】集合 A の各元に対してそれぞれ...
股関節おじさんの勉強部屋

順序関係の認識そのニ

シコシコと認識について考えます。 今回は順序の認識。自然数は後者関数で定義されています。 後者関数の認識はどんなものか。1→2。1が真なら2も真になる含意。 1.先に1〜2の関係があって、2.それを認識の最小...
股関節おじさんの勉強部屋

順序の認識

自分で定義した関数を使って、∃∀の認識について遊びながらま学びます。 順序の認識 大小関係の演繹 5>1を証明します。簡易版だとこんな感じ 1.∃x(5=x+1)(仮定)2.5=4+1(∃除去)3...
股関節おじさんの勉強部屋

大小関係の雰囲気

まだ論理学の範疇をウロウロしてる段階ですが、参考にしている本の中で大小関係の説明があったので、その文脈で大小関係を僕が解釈できるか挑戦します。 大小関係の雰囲気だけ 加法とし大小関係 本の中では下のような論理式で定義され...
タイトルとURLをコピーしました