Contraposition in logic and mathematics refers to the process of inferring a contrapositive from a conditional statement, which is a method used in proofs. The contrapositive of a statement switches and negates its antecedent and consequent; for example, the contrapositive of "If P, Then Q" is "If not Q, Then not P". The law of contraposition states that a conditional statement is true if and only if its contrapositive is also true.
Stanford University
Winter 2020
CS 103A serves as an additional review course for CS103 students, focusing on strengthening proof-based mathematics skills and general problem-solving strategies in a context closely tied to CS103.
No concepts data
+ 31 more concepts