 A propositional form \(F\) is universally valid iff at least one member of \(F\) is true, and every member of \(F\) with a non-empty subject idea is true; \(F\) is universally contravalid iff every member of \(F\) is false.