Jump to content

User:Tsinoyboi/JodyQAnswer

From Wikipedia, the free encyclopedia

C is a modus tollens

Example modus tollens:

If Jody going paying ticket is , and Jody going to jail is , the logic follows:

Assume if Jody doesn't pay her ticket, then she will go to jail. Assuming this is true

or ,

If is not true must be true.
Then if is false, then must be true.
So, since is true, then can be either true or false.

So it follows:

Therefore, "If Jody doesn't go to jail, then she paid her ticket must" be true.


Furthermore, for clarity/redundancy and possibly more confusion:

If "if is not true, then must be true" is true, then "if is not true, then must be true" must be true, and and are both are not true, then "if is not true, then must be true" must not be true.

1. if (if not p then q) then (if not q then p)
2. not p and not q
therefore,
3. not (if not p then q)

So:
If it's true that if Jody doesn't pay her tickets, then she will go to jail, then if she doesn't go to jail, then she paid her tickets. Jody didn't pay her tickets and didn't go to jail. Therefore, it is not true that if Jody doesn't pay her tickets, then she will go to jail. This is more akin to possibilities in real life, but it's actually irrelavent to the question since it's not assuming that the prior statement was true.

--Tsinoyboi