[HPsquared]

It's easier to work in terms of "logically valid vs logically invalid" rather than "true vs false". What even is universally true, anyway? There are always axioms and assumptions.