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


تاربرگ‌های پیموده‌شده در این نشست: Edmund Gettier ⟩ Modal Theorem K.2