Summary
In this chapter, we introduced the primary results of formal logic and proved logical statements by using truth tables. We also learned about constructing mathematical proofs using several methods, such as direct proofs, proofs by contradiction, and proofs by mathematical induction. In addition, these different methods for constructing mathematical proofs were accompanied by simple step-by-step examples to help you think like a mathematician and use deductive thought, which will be helpful for the rest of the chapters in this book.
In the next chapter, we will learn about numbers in base n and perform some arithmetic operations with them. We will also learn about binary and hexadecimal numbers and their uses in computer science.
