3️⃣ Tertium non datur

=== for every sentence A, one has the statement A ∨ ¬A==

Notation

(TND): $\frac{}{A\vee \neg A}$