Definition:Contradiction (Boolean Interpretations)