Symbolic Logic: Follows Logically Logical Consequence
Symbolic Logic: Follows Logically Logical Consequence
With a truth table, we can determine whether or not an argument is valid. An argument is
valid if, but only if, whenever the premises of the argument are true, the conclusion is
also true. Whenever this is the case, the conclusion of the argument follows logically
from, is a logical consequence of, the premises. Validity can be established with a
truth table in the following manner: construct a column for each premise and a column
for the conclusion. Examine each row of the truth table looking for an invalidating row,
that is, a row in which each of the premises is true, and the conclusion is false. If such
a row exists, the argument is not valid. If no such row exists, then the argument is valid.