home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #30 / NN_1992_30.iso / spool / sci / math / 16758 < prev    next >
Encoding:
Internet Message Format  |  1992-12-12  |  792 b 
  1. Path: sparky!uunet!usc!rpi!uwm.edu!ogicse!das-news.harvard.edu!cantaloupe.srv.cs.cmu.edu!crabapple.srv.cs.cmu.edu!andrew.cmu.edu!ow0a+
  2. From: ow0a+@andrew.cmu.edu (Oswald Wyler)
  3. Newsgroups: sci.math
  4. Subject: Re: Implication truth table ... Confusion
  5. Message-ID: <0f_EyVm00iV4A562IG@andrew.cmu.edu>
  6. Date: 11 Dec 92 12:01:05 GMT
  7. Article-I.D.: andrew.0f_EyVm00iV4A562IG
  8. Organization: Mathematics, Carnegie Mellon, Pittsburgh, PA
  9. Lines: 7
  10.  
  11. Mike,
  12. Look at it this way:  First, the truth vale (T or F) of P ==> Q is fully
  13. determined by the truth values of P and Q.  Second, the statement
  14. x = 3 ==> x^2 = 9  is *true*, where x is a variable.  This means that
  15. the statement is true *no matter what value x takes*.  Do you accept
  16. these premises?
  17. O.K. if so, gotcha!  See what happens if you put x = -3.
  18.