home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #23 / NN_1992_23.iso / spool / sci / logic / 1703 < prev    next >
Encoding:
Text File  |  1992-10-13  |  1.3 KB  |  41 lines

  1. Newsgroups: sci.logic
  2. Path: sparky!uunet!gatech!concert!sas!mozart.unx.sas.com!sasghm
  3. From: sasghm@theseus.unx.sas.com (Gary Merrill)
  4. Subject: Re: A only if B
  5. Originator: sasghm@theseus.unx.sas.com
  6. Sender: news@unx.sas.com (Noter of Newsworthy Events)
  7. Message-ID: <Bw29E3.pL@unx.sas.com>
  8. Date: Tue, 13 Oct 1992 12:58:51 GMT
  9. References: <rkaivola.718902434@mits> <baljeual.718925223@uther> <burt.718950333@aupair.cs.athabascau.ca>
  10. Nntp-Posting-Host: theseus.unx.sas.com
  11. Organization: SAS Institute Inc.
  12. Lines: 27
  13.  
  14.  
  15. In article <burt.718950333@aupair.cs.athabascau.ca>, burt@aupair.cs.athabascau.ca (Burt Voorhees) writes:
  16.  
  17. |> A<--B = A only if B = if B then A  This is read: A is true only if B is
  18. |> true since a true statement cannot imply a falsehood.
  19.  
  20. I don't know what to make of this, except ...
  21.  
  22.     1.    A <-- B
  23.  
  24.        certainly is non-standard notation, so I guess you can
  25.        impose on it whatever semantics you like.
  26.  
  27.     2.  If the claim is that
  28.  
  29.         A only if B
  30.  
  31.         and
  32.  
  33.         if B then A
  34.  
  35. are equivalent (in the truth-functional, or any other, sense), then
  36. a serious mistake is being made.
  37. -- 
  38. Gary H. Merrill  [Principal Systems Developer, C Compiler Development]
  39. SAS Institute Inc. / SAS Campus Dr. / Cary, NC  27513 / (919) 677-8000
  40. sasghm@theseus.unx.sas.com ... !mcnc!sas!sasghm
  41.