One of the most often quoted statements in a logic class is: ďA false statement implies any statement and true statement is implied by any statement.Ē
In other words, we are interested only in the case where the antecedent is true then the consequence must also be true. If the antecedent is false we donít care so label it true.
Look at the truth tables for . Those are equivalent statements.