noun
the rule of logic stating that if a conditional statement (“if p then q”) is accepted, and the consequent does not hold ( not-q), then the negation of the antecedent ( not-p) can be inferred
• an argument using this rule
Vancouver English Tutor: WRITING, IELTS, TOEFL, LPI, SSAT, SAT, GRE, Medical Terminology, Provincial and High School English
