February 2021
Intermediate to advanced
330 pages
7h 11m
English
This chapter is an introduction to formal logic and mathematical proofs. We'll first introduce some primary results of formal logic and prove logical statements with the use of truth tables. In the remainder of the chapter, we'll consider the most common methods of mathematical proofs (direct proof, proof by contradiction, and proof by mathematical induction) to build skills that you will need for more complex problems to come later.
In this chapter, we will cover the following topics:
By the end of the chapter, you will have a grasp of how formal logic provides ...
Read now
Unlock full access