Similar to モーダストレンス

Alexander's theorem

Menelaus of Alexandria

List of things named after Alexander Grothendieck

Pavel Alexandrov

Alexandroff extension

Alexandrov theorem

Aleph number

Allen–Cahn equation

Nachman Aronszajn

Aronszajn tree

Rule of inference

Template:Transformation rules

Converse (logic)

Existential generalization

Existential instantiation

Proof by contrapositive

Universal generalization

Universal instantiation

Absorption law

Peirce's law

Proof by contradiction

Frege's theorem

Classical logic

Predicate logic

Propositional calculus

List of Latin phrases

A priori knowledge

A posteriori