definitionlogic Definition A propositional formula that is true for any valuation of the propositional variables. Examples