A⥽(B∨¬B)


تاربرگ‌های پیموده‌شده در این نشست: Axiom of Replacement ⟩ An Introduction to Modal Logic