次世代の哲学を育むスレ Part 10

632 ：考える名無しさん：2020/08/11(火) 13:48:52 ID:0.net

>>577
>>628
> Rが、いつも反射的で対称的であることに疑問の余地はないだろうが、
必ずしも推移的であるわけではない。


推移律 : a ＝ b かつ b ＝ c ならば a ＝ c という性質、あるいは
x,y,z ∈ A, xRy and yRz ⇒ xRz という関係が成立するのが推移律。

X(頭髪0本のハゲ頭) → Y(禿頭から頭髪を1本ずつ植毛したときの頭の状態,
i += 1) → Z(頭髪ｎ本のハゲでない頭)

Aは15万本の頭髪
Rは1本ずつの植毛(i += 1でインクリメント)した時の頭髪の状態

推移律は数の大小関係でやると分かりやすい。関係Rを≤の大小関係や半順序関係として、
たとえば、a=1,b=3,c=5 と置くと

a≤b and b≤c ⇒ a≤c