Modal Axiom 5
دیسه‌ای
◊𝐴⊃□◊𝐴
◊A⊃□◊A


تاربرگ‌های پیموده‌شده در این نشست: betweenness ⟩ dialetheia ⟩ Monotonicity of entailment ⟩ disjunction property