

高岡智則
年齢:33歳 性別:男性 職業:Webディレクター(兼ライティング・SNS運用担当) 居住地:東京都杉並区・永福町の1LDKマンション 出身地:神奈川県川崎市 身長:176cm 体系:細身〜普通(最近ちょっとお腹が気になる) 血液型:A型 誕生日:1992年11月20日 最終学歴:明治大学・情報コミュニケーション学部卒 通勤:京王井の頭線で渋谷まで(通勤20分) 家族構成:一人暮らし、実家には両親と2歳下の妹 恋愛事情:独身。彼女は2年いない(本人は「忙しいだけ」と言い張る)
推移律とは?
推移律は「ある関係が連鎖するとき、最終的にも同じ関係が成り立つ」という考え方です。日本語では推移律、英語ではtransitivityと呼ばれることが多いです。中学生にも分かるように言うと、A が B に近い、B が C に近い なら、A も C に近い という感じです。ここで大事なのは「途中のつながりが崩れない」という点です。
定義の基本
推移律の定義を、最も分かりやすい例で覚えましょう。もし A = B で、B = C なら、A = C。これが等号の推移の典型的な形です。ほかにも、順序関係の推移や含まれる関係の推移など、いろいろな結びつきで成り立つことがあります。
日常の身近な例
日常の例としては、背の高さの順序を考えると理解しやすいです。 太郎が花子より背が高い、花子が次郎より背が高い なら、太郎は次郎より背が高いです。別の例では、道順の推移を使うことができます。 家から学校へはまっすぐ行くと早い、 学校から塾へ向かう道も基本的には同じ方向 なら、 家から塾へ行く道の判断にも推移律が役立つことがあります。
さらに数の関係を使うと、2 が 3 より大きい、3 が 5 より大きい なら、 2 が 5 より大きい となり、数の連鎖を理解する助けになります。こうした例は教科書や日々の学習でよく出てきます。
計算やプログラミングでの利用
数学の世界だけでなく、プログラミングの設計でも推移律は役に立ちます。条件分岐やデータの並べ替えを行うとき、ある条件が連続して満たされるときは、最後の結論を同じ形で導けるプログラムを書きやすくなります。推移律を理解していると、複雑な判断をいくつかの単純なルールに分けて考えることができ、バグを減らす手助けになります。
注意点と限界
ただし、すべての関係が推移律を満たすわけではありません。例えば 友だちになる関係 は推移律を必ず満たすとは限りません。A が B の友だちで、B が C の友だちでも、A が C の友だちであるとは限らない場合があるのです。推移律が成り立つかどうかは、結びつく関係の性質次第です。
まとめと練習問題
推移律は、連鎖する関係が崩れずに結論にも現れるという強い性質です。この性質を見つける力は、物事のつながりを理解する力を高めます。以下の練習問題を使って確かめてみましょう。
| 関係 | 例 |
|---|---|
| 等号の推移 | A = B かつ B = C なら A = C |
| 大なりの推移 | a > b かつ b > c なら a > c |
| 含まれる関係の推移 | 犬が動物であり、動物が生き物なら、犬は生き物 |
日常生活の小さな場面から、学習の場面まで、推移律を見つけ出す練習をしてみましょう。分かりやすい例を自分で作って考えると、理解が深まります。
推移律の同意語
- 推移性
- 関係が推移的であることを表す性質。具体的には、aRb かつ bRc が成り立つとき、必ず aRc も成り立つという性質のこと。
- 推移の法則
- 関係の性質の一つで、同じ関係に対して連鎖的な結びつきを生む法則。例として、aRb かつ bRc ならば aRc が成り立つことを指す法則。
- 推移的性質
- 推移性と同義で用いられる表現。関係が推移する性質を指す言い換え。
- 推移の性質
- 推移性の別表現。ある項目同士の連鎖的な結びつきが成り立つ性質。
- 連鎖性
- 要素間の関係が連鎖して成り立つ性質のこと。すなわち aRb かつ bRc が成立すると a Rc も成立する、という性質を表す語。
- 連鎖法則
- ある関係の推移を表す法則。具体例として、aRb かつ bRc ならば aRc が成立するという連鎖的性質を指す言い換え。
推移律の対義語・反対語
- 非推移性
- 推移律が成立しない性質。例えば、aRb かつ bRc が成り立っても aRc が成り立たない場合。
- 非推移律
- 推移律が成立しないことを指す語。文献で使われることがある。
- 非推移の関係
- 推移性を欠く関係。R(a,b) と R(b,c) があっても R(a,c) が成り立たない可能性を含む関係のこと。
- 非推移的
- 推移性を欠く性質を表す形容詞。
- 不変性
- 変化しない性質。推移の対極として直感的にイメージされることがある。
- 静止
- 変化がなく一定の状態であること。
- 安定性
- 揺らがず一定を保つ性質。変化を前提としない状態を表す語。
- 固定性
- 状態が固定され、変化しづらい性質。
推移律の共起語
- 関係
- 2つの要素の間の関係のこと。推移律はこの関係の性質のひとつです。
- 二項関係
- 集合の要素どうしの間に定まる関係のこと。推移律はこの性質として現れます。
- 反射性
- 任意の要素aについて aRa が成り立つ性質。
- 反射律
- 反射性を満たすときに成り立つ法則の表現。
- 対称性
- もし aRb ならば bRa も成り立つ性質。
- 対称律
- 対称性を満たすときの法則の名称。
- 反対称性
- aRb かつ bRa ならば a=b となる性質。
- 順序関係
- 要素を自然に順序付けられる関係のこと。
- 部分順序
- 反射性・反対称性・推移性を満たす順序関係。
- 全順序
- 任意の2要素を比較して順序を決められる順序関係。
- 同値関係
- 反射性・対称性・推移性を満たす関係。
- 半順序集合
- 部分順序を満たす集合のこと。
- 格子
- 上限または下限が必ず存在するような順序構造。推移律と他の性質が組み合わさって現れます。
- 不等号
- 大小を比較する記号。例として ≤ や < があり、これらの関係は推移律を満たすことが多いです。
- 三段論法
- 前提を連鎖させて結論を導く古典的な論理法。推移的性質を用いる場面が多い。
- 命題含意の推移
- p→q および q→r から p→r を導くという論理的性質。
- 証明の技法(推移の活用)
- 推移律を使って結論を導く証明の Technik。
推移律の関連用語
- 推移性
- ある関係において、aRb かつ bRc ならば aRc が成り立つ性質。順序関係や含意の間でよく使われる基本特性です。
- 推移律
- 推移性を表す法則・規則で、数学や論理学では“推移律”と呼ばれることが多い概念です。
- 非推移性
- 関係が推移性を満たさない状態。例えば aRb かつ bRc から必ずしも aRc にならない場合。
- 同値関係
- 反射性・対称性・推移性の3つを全て満たす関係。要素を同値類に分けることができます。
- 等価関係
- 同値関係と同義の別称として使われることが多い表現です。
- 反射性
- 任意の要素 x について xRx が成立する性質。自分自身と関係をもつこと。
- 対称性
- xRy ならば yRx も成立する性質。関係が互いに対等に成り立つことを意味します。
- 部分順序
- 反射性・反対称性・推移性を満たす順序関係。要素を部分的に並べることができます。
- 全順序
- 任意の2つの要素を比較可能で、反射性・反対称性・推移性を満たす順序関係。全て比較可能な秤を作るときに使われます。
- 関係の合成
- 二つの関係をつなぐ操作。R∘S のように、a R∘S c は中間の b が存在して aRb かつ bSc となる場合を表します。
- 含意の推移性
- 命題の含意における推移の性質。P→Q かつ Q→R なら P→R が成り立つという法則。
- 三段論法
- 二つの前提から結論を導く古典的推論形式。含意の推移性を実践的に用いる場面が多い。
- 整数の順序の推移律
- 整数の順序関係における具体例。a ≤ b かつ b ≤ c なら a ≤ c が成り立つこと。
- 同値関係の性質
- 同値関係が持つ基本性質(反射・対称・推移)の組み合わせからできるクラス分けの仕組み。
- 推移律の応用分野
- 数学の証明、論理、データベースのクエリ最適化、アルゴリズム設計など、推移性の考え方が役に立つ領域。
推移律のおすすめ参考サイト
- 反射律(Reflexive Law)とは? - Tulip Programming School
- 推移律(スイイリツ)とは? 意味や使い方 - コトバンク
- 推移律とは? - Tulip Programming School
- 「推移(すいい)」とは?意味や類語、語句を使った慣用句 - Domani



















