|
|
Re: Is logic part of mathematics - or is mathematics part of
logic?
Posted:
Jul 8, 2013 12:05 PM
|
|
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.
Wayne
|
|
