logic that takes the shape of if X, then Y. Within the context of formal logic, the phrase or sentence coming after such a statement is referred to as the antecedent and that coming after therein is referred to as the consequent.
logic that takes the shape of if X, then Y. Within the context of formal logic, the phrase or sentence coming after such a statement is referred to as the antecedent and that coming after therein is referred to as the consequent.