# 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)