Section 2.4 - Conditional Statements
In this chapter, we've come to one of the core concepts of mathematics: The "if-then" statement, technically known as a conditional statement, that's used in so many mathematical propositions.
Videos
Lectures
Now that we're squared away on and's and or's, there are two more logical connectives we need to add to our toolbox: conditionals and biconditionals. (lecture slides)
There are several different ways that a conditional statement can be rephrased, each with its own name: converse, inverse and contrapositive. (lecture slides)
We can find equivalences with conditionals and biconditionals just like we could with conjunctions and disjunctions. (lecture slides)
Now that we've seen the negation of a negation and the negation of conjunctions and disjunctions, we can use those equivalences to find a simplified version for the negation of a conditional statement. (lecture slides)