Modal Theorem K.3
دیسه‌ای
◊(𝐴∨𝐵) ≡ (◊𝐴∨◊𝐵)
◊(A∨B) ≡ (◊A∨◊B)


تاربرگ‌های پیموده‌شده در این نشست: Negative Free Logic ⟩ Peano arithmetics ⟩ Logic R ⟩ Contingentism ⟩ idempotency ⟩ Modal Axiom 5