Cargando…

Understanding mathematical proof

Introduction The need for proof The language of mathematics Reasoning Deductive reasoning and truth Example proofs Logic and ReasoningIntroduction Propositions, connectives, and truth tables Logical equivalence and logical implication Predicates and quantification Logical reasoning Sets and Function...

Descripción completa

Detalles Bibliográficos
Autores principales: Taylor, John, Garnier, Rowan
Lenguaje:eng
Publicado: CRC Press 2014
Materias:
Acceso en línea:http://cds.cern.ch/record/2018824
Descripción
Sumario:Introduction The need for proof The language of mathematics Reasoning Deductive reasoning and truth Example proofs Logic and ReasoningIntroduction Propositions, connectives, and truth tables Logical equivalence and logical implication Predicates and quantification Logical reasoning Sets and Functions Introduction Sets and membership Operations on setsThe Cartesian product Functions and composite functions Properties of functions The Structure of Mathematical ProofsIntroduction Some proofs dissected An informal framework for proofs Direct proof A more formal framework Finding Proofs Direct proo