Section 8: Proof by Cases

Check exhaustive splits and proving the conclusion in every case.

Progress

0 / 5

Question 1 / 5

What makes a proof by cases valid?

The cases cover every possibility and the conclusion is proved in each case. The first case is proved and the others are similar. One example is checked in each case. The cases sound natural.

Submit to see the correction

close

We can't find the internet

Attempting to reconnect

Something went wrong!

Attempting to reconnect