A⥽(B∨¬B)


تاربرگ‌های پیموده‌شده در این نشست: A⥽(B∨¬B) ⟩ Aristotle’s Logic ⟩ Axiom of Foundation ⟩ Aristotle ⟩ Avicenna ⟩ Alan Turing