What, if anything, is wrong with the following sequence of proof steps?
We already know that if A and B are both true, then C is also true.
Our initial assumptions state that A is true, but B is false.
Therefore, C is false.

Question

What, if anything, is wrong with the following sequence of proof steps?

Answer

We cannot make assumptions about the truth values of A and B.

Answer

There is nothing wrong with the proof steps.

Answer

Statement 3 does not follow as a logical consequence of the previous statements.

Answer

The sequence is out of order.

Crowdly