----- 学会理性
LOGICAL REASONING. Symbolic Language. Two Quantifiers. Five Logical Operators. Laws of Logic. Logic Circuits. Translations. WRITING OUR REASONING. Proofs and Arguments. Proving Implications. Writing a Proof. Working with Quantifiers. Using Cases. Proof by Contradiction. Mathematical Induction. Axiomatic Systems. SETS - THE BUILDING BLOCKS. Sets and Elements. Operations on Sets. Multiple Unions and Intersections. Cross Product. Finite Sets. Infinite Sets. RELATIONS - THE ACTION. Relations. Equivalence Relations. Functions. Order Relations. Summary. Appendices. Bibliography.
{{comment.content}}