Definition:Contradiction/Boolean Interpretations