Definitions

A Propositional Formula falsifies if .

Invalid

In other words, no truth assignment allows the Proposition equation to be false.