tautologies [Logic] Forumlas / Arguments that are true on every line of a truth table are called tautologies. see also: inconsistant "a" statements...
Forumlas / Arguments that are true on every line of a truth table are called tautologies.