❌ Contradiction §

= a propositional function A, for which each propositional evaluation function B is: B(A) = f

📖 Example: §

• p ∧ ¬p = $\perp$