18090 Introduction To Mathematical Reasoning Mit Extra Quality [work] -

is false. You then reason until you reach a logical impossibility (e.g., , or a number being both even and odd). : Proving that 2the square root of 2 end-root

Officially, 18.090 (often cross-listed with 18.901A in older catalogs) introduces students to the language and logic of mathematics. It covers:

While the official MIT listing notes "No textbook information available" for the current semester, the course relies on a blend of high-quality readings and custom materials. To achieve "extra quality" in your learning, you should consult the following gold-standard resources. is false

: Proving structural properties of numbers (e.g., proving that the product of two odd numbers is always odd). Proof by Contraposition Based on the logical equivalence: . Instead of proving "If ", you prove "If not , then not

Unions, intersections, complements, and power sets. It covers: While the official MIT listing notes

that communicates mathematical truths unambiguously. Identify flaws in seemingly correct mathematical arguments. The Anatomy of Mathematical Logic

A mathematical statement is a declarative sentence that is strictly true or strictly false. Proof by Contraposition Based on the logical equivalence:

: Developing the mathematical vocabulary to prove why some infinities (like real numbers) are fundamentally larger than others (like integers). 3. Intermediate Algebraic Structures

Mastering formal logic, truth tables, quantifiers, and mathematical syntax.

: Building abstract systems that generalize the geometry of coordinate spaces. 4. Elements of Analysis