A⥽(B∨¬B)



تاربرگ‌های پیموده‌شده در این نشست: Aristotle Axiom of Foundation Avicenna Aristotle’s Logic