A compound proposition that is true in every row of its truth table — true under every possible assignment of truth values to its atomic constituents. Canonical example: p ∨ ¬p (law of excluded middle).
A compound proposition that is true in every row of its truth table — true under every possible assignment of truth values to its atomic constituents. Canonical example: p ∨ ¬p (law of excluded middle).