Elementary Logic

The book is suitable for learners and students from Grade 9 upwards to undergraduate level, and provides firstly an elementary introduction to the fundamental concepts of an implication, equivalence, quantifiers, necessary and sufficient conditions, etc. Thereafter, some basic laws of logic such as Modus Ponens, Contrapositive, Disjunctive Inference, Syllogism, etc. are discussed. Some basic methods of proof such as mathematical induction, direct proof, proof by contradiction, etc. are illustrated with examples from the high school mathematics curriculum. Throughout the book concepts and logical reasoning are discussed with reference to many everyday examples as well as examples from high school algebra, elementary number theory, geometry and trigonometry.