The Math Forum

Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Math Forum » Discussions » sci.math.* » sci.math

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: 2.25 - The meaning of "implies" in mythmatics.
Replies: 3   Last Post: Jul 24, 2014 3:37 PM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]

Posts: 846
Registered: 11/27/09
Re: 2.25 - The meaning of "implies" in mythmatics.
Posted: Jul 24, 2014 6:28 AM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

Le 24/07/2014 09:09, John Gabriel a écrit :
> "If John Gabriel is always right, then John Gabriel is never wrong."
> Suppose that p = John Gabriel is always right and that q = John Gabriel is never wrong.
> Then according to the nonsensical imply truth table:
> ¬p OR q
> Assume p and q are FALSE.
> So, if "John Gabriel is always right" is FALSE (that is, John Gabriel is NOT always right), then *John Gabriel is always right*

No crank, if q is FALSE (John Gabriel is NOT always right) then
(p => q) is TRUE (that is "John Gabriel is always right" => "John
Gabriel is never wrong"), but this says nothing about truth of q
('John Gabriel is never wrong').

What mysterious reason makes you think that if (p => q) is TRUE, then
q is necessarily true?

Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© The Math Forum at NCTM 1994-2018. All Rights Reserved.