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.