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

The sequence is out of order.

Answer

There is nothing wrong with the proof steps.

Answer

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

Answer

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

Crowdly