大小関係の雰囲気

暇つぶしに見て

まだ論理学の範疇をウロウロしてる段階ですが、参考にしている本の中で大小関係の説明があったので、その文脈で大小関係を僕が解釈できるか挑戦します。

スポンサーリンク

大小関係の雰囲気だけ

加法とし大小関係

本の中では下のような論理式で定義されています。

3>1⇔∃x(1+x=3)

翻訳すると

「『3大なり1』とは、1に足して3になるような数が存在すること」

∃x(1+x=3)が演繹図に現れたら、3>1を演繹して良いと。

1.1+x=3(仮定)
2.x=2(仮定)
3.1+2=3(代入)
4.3=3(加法定義)
5.∃x(1+x=3)(∃導入)
6.3>1(>導入)

6行目は正式な定義ではなく、参考書の定義通りに演繹しました。
とりあえずは大小関係の雰囲気は感じられました。

実際にはどんな定義なのか確認。

定義

前順序、半順序、全順序を順に定義するために、まず以下の性質を考える。ここで P は集合であり、「≤」を P 上で定義された二項関係とする。

反射律:P の任意の元 a に対し、a ≤ a が成り立つ。
推移律:P の任意の元 a, b, c に対し、a ≤ b かつ b ≤ c ならば a ≤ c が成り立つ。
反対称律:P の任意の元 a, b に対し、a ≤ b かつ b ≤ a ならば a = b が成り立つ。
全順序律:P の任意の元 a, b に対し、a ≤ b または b ≤ a が成り立つ。
≤」が全順序律を満たさない場合、「a ≤ b」でも「b ≤ a」でもないときがある。このとき a と b は比較不能 (incomparable) であるという。

Wikipedia

反射率から翻訳します。

≤に意味を与える文言なので、既知の≤の観念と混同すると混乱します。まだ≤に意味はありません。

「反射律:P の任意の元 a に対し、a ≤ a が成り立つ。」

同じ記号(集合の元)の間に成り立っている関係。
長濱陸と長濱陸の間には≤が成り立ちます。

脳が勝手に=という解釈を連想して邪魔してきますが、その解釈とは無関係です。

「推移律:P の任意の元 a, b, c に対し、a ≤ b かつ b ≤ c ならば a ≤ c が成り立つ。」

脳が又しても解釈を与えようとしますが無視。
3つの元の間に成り立つ、モヤモヤっとした、とある関係のことで、脳内に保存された既知の大小関係の観念とは無関係です。

「反対称律:P の任意の元 a, b に対し、a ≤ b かつ b ≤ a ならば a = b が成り立つ。」

同値関係が成り立つこともある関係。今この定義により、1つ目の定義に意味が与えられた観。

「全順序律:P の任意の元 a, b に対し、a ≤ b または b ≤ a が成り立つ。」

2つの元に対しては必ず成り立つ関係で、実数や自然数のような集合には大小関係が定義できるよってことなのかな。

P を集合とし、≤ を P 上で定義された二項関係とする。

≤ が反射律と推移律を満たすとき、≤ を P 上の前順序(英語版) (preorder) または擬順序 (quasiorder) という。
≤ が前順序でありさらに反対称律を満たすとき、≤ を P 上の半順序 (partial order) という。
≤ が半順序でありさらに全順序律を満たすとき、≤ を P 上の全順序 (total order) という。

Wikipedia

Wikipediaで見つからなかったのでWIISから>の定義を引用します。

x<y⇔(x≤y∧x≠y)

WIIS

x<yは「yがx以上、かつxがyと=でないこと」。

はじめの
∃x(1+x=3)
の雰囲気は全順序律と反対称律からほんのり感じるかなあと。

深入りすると混乱するので雰囲気を感じる程度で立ち去ります。

証明と論理に強くなる ~論理式の読み方から、ゲーデルの門前まで~ (知の扉) | 小島 寛之 |本 | 通販 | Amazon
Amazonで小島 寛之の証明と論理に強くなる ~論理式の読み方から、ゲーデルの門前まで~ (知の扉)。アマゾンならポイント還元本が多数。小島 寛之作品ほか、お急ぎ便対象商品は当日お届けも可能。また証明と論理に強くなる ~論理式の読み方から...
長濱陸Tシャツ

お求めはこちらから

お問い合わせはこちら

パーソナルトレーニングやグループトレーニング、セミナーや取材、YouTubeコラボなどのご依頼はこちらからよろしくお願いします。

トレーニングの依頼などはこちらから

スポンサーリンク
Die Hard – ダイ・ハード
この記事を書いた人

第41第東洋太平洋(OPBF)ウェルター級王者
元WBC世界同級34位
元WBO-AP同級3位
元角海老宝石ジム所属

股関節おじさんをフォローする
スポンサーリンク
スポンサーリンク
股関節おじさんをフォローする

コメント

タイトルとURLをコピーしました