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 » Education » math-teach

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

Topic: Is logic part of mathematics - or is mathematics part of logic?
Replies: 10   Last Post: Jul 9, 2013 4:09 AM

Advanced Search

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

Posts: 5,465
Registered: 12/6/04
Re: Is logic part of mathematics - or is mathematics part of

Posted: Jul 8, 2013 12:05 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

At 08:33 AM 7/8/2013, Joe Niederberger wrote:

>I see. One day you sat down and wrote up the truth table for p -> q
>all by yourself. Then you added in a few more connectives, and set
>about proving soundness and completeness. Good job! We'll just clone
>your logic gene and achieve propagation that way.

Truth table validity for p -> q is NOT intuitive nor does anybody
bother with it in normal mathematical proof; you assume p and confirm
q, let alone informal usage.

By contrast, you have to be carefully taught to give a T to "If all
dogs are white, then my dog is black" because the antecedent is false.


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.