Tautological consequence

A statement that follows from another statement (or statements) by means of the truth functional connectives; there is no truth table row on which the statement in question is false,while the other(s) is (are) true, in the columns under the (main) operator(s). Tautological consequence is determined by a truth table. (See also Validity.)