A⥽(B∨¬B)


تاربرگ‌های پیموده‌شده در این نشست: absolute ⟩ Principle of sufficient reason ⟩ Archimedes ⟩ asymmetric