transitive
دیسه‌ای
(𝑥 ≼ 𝑦 𝑎𝑛𝑑 𝑦 ≼ 𝑧 ) ⇒ 𝑥 ≼ 𝑧
(x ≼ y and y ≼ z ) ⇒ x ≼ z


تاربرگ‌های پیموده‌شده در این نشست: Hans Reichenbach ⟩ syllogismhood ⟩ Axiom of pairing ⟩ integral numbers ⟩ deductive apparatus ⟩ transitive