Modal Theorem K.5

دیسه‌ای
◊(𝐴∧𝐵)⊃(◊𝐴∧◊𝐵)
◊(A∧B)⊃(◊A∧◊B)


تاربرگ‌های پیموده‌شده در این نشست: IBM