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


تاربرگ‌های پیموده‌شده در این نشست: Modal Theorem 5.1 ⟩ perception ⟩ Modal Axiom 5 ⟩ Modal System D