That is not correct.


Knowing that the consequent of a conditional (the "then" part) is true does not tell you whether or not the antecedent (the "if" part) has to be true.

Conditionals tell you "If something is A, then it is B," or "All As are Bs," or "Whenever A happens, B happens." But they don't say that the ONLY way for B to happen is for A to happen. For example: All cats are mammals. This does not mean that cats are the ONLY mammals - dogs are mammals too.

So, when you know that "If A then B," and you know that B is true, A might not be true. If Princess is a mammal, you can't conclude that she is a cat. She might also be a dog.


Click here to continue