Antecedent and consequent rules July 8, 2019 16 32 64 128 Antecedent and consequent rules in discrete mathematics Antecedent rules