Modal Theorem 5.1

برابر انگلیک (انگلیسی): Modal Theorem 5.1
دیسه‌ای
□(◊𝐴⊃𝐵)≡□(𝐴⊃□𝐵)
□(◊A⊃B)≡□(A⊃□B)


تاربرگ‌های پیموده‌شده در این نشست: کارکرد بنداشت T توماس هابز جبر ختی A⥽(B∨¬B) Russell's Correspondence with Frege