: Students are introduced to predicates, logical connectives (like "implies" and "if and only if"), and truth tables to establish the rules of valid reasoning.
To help students understand and construct rigorous mathematical arguments. Key Topics: : Students are introduced to predicates, logical connectives
In 18.090, the questions change entirely. A problem might ask: Prove that the derivative of an even function is an odd function. : Students are introduced to predicates