Antecedent Meaning In Logic