Modal Theorem K.1
دیسه‌ای
□(𝐴⊃𝐵)⊃(◊𝐴⊃◊𝐵)
□(A⊃B)⊃(◊A⊃◊B)


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