✅ Tautology $\top$ §

= a propositional function A, for which each ✅ Propositional evaluation function B is: B(A) = w

📖 Example: §

• p ∨ ¬p