Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

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


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

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 ]
YBM

Posts: 532
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.
>
> Then, ¬FALSE OR FALSE = TRUE.
>
> 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]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.