18.090 Introduction To Mathematical Reasoning - Mit

18.090 exists to catch students before they fall into the "abstraction gap". It is typically taken after Multivariable Calculus (

| Misconception | Reality (Taught in 18.090) | | :--- | :--- | | "A proof is just a sequence of equations." | A proof is a narrative. It requires words like "therefore," "assume," "note that," and "suppose." | | "One example proves a universal statement." | No. One example disproves a universal statement. To prove it, you need a general argument. | | "If you can't find a counterexample, the statement is true." | Absence of evidence is not evidence of absence. You must prove impossibility. | | "Proof by contradiction is the most powerful method." | Often, it's a crutch that obscures a constructive direct proof. Use it sparingly. | 18.090 introduction to mathematical reasoning mit

Establishing a solid footing in set theory and the real number system to support future study in analysis and algebra. III. Curriculum & Core Topics One example disproves a universal statement

: Master the building blocks of mathematical language, including truth tables, negations, "And/Or" statements, and quantifiers like "For all" ( ) and "There exists" ( there exists Set Theory You must prove impossibility