definitionlogic Definition A propositional formula that is not true for every valuation of the variables is a contradiction. Examples