Introduction to Logic

Validity

A sentence is valid if and only if it is satisfied by every truth assignment. For example, the sentence (p ∨ ¬p) is valid.

A good method for determining the validity of a sentence is to construct a truth table for a sentence and see whether every truth assignment makes the sentence true.