Definition:Contradictory Propositional Formulas