❌ Contradiction === a propositional function A, for which each propositional evaluation function B is: B(A) = f== 📖 Example: p ∧ ¬p = ⊥