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


تاربرگ‌های پیموده‌شده در این نشست: Modal Axiom K ⟩ Logic B ⟩ Archimedes ⟩ Aristotle