home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / sci / logic / 2090 < prev    next >
Encoding:
Text File  |  1992-11-18  |  1.1 KB  |  25 lines
  1. Newsgroups: sci.logic
  2. Path: sparky!uunet!spool.mu.edu!agate!stanford.edu!rock!concert!sas!mozart.unx.sas.com!sasghm
  3. From: sasghm@theseus.unx.sas.com (Gary Merrill)
  4. Subject: Re: implication truth table
  5. Originator: sasghm@theseus.unx.sas.com
  6. Sender: news@unx.sas.com (Noter of Newsworthy Events)
  7. Message-ID: <Bxwzqs.H8L@unx.sas.com>
  8. Date: Wed, 18 Nov 1992 13:49:39 GMT
  9. References: <1992Nov16.162733.1831@falcon.aamrl.wpafb.af.mil> <TORKEL.92Nov18100921@isis.sics.se>
  10. Nntp-Posting-Host: theseus.unx.sas.com
  11. Organization: SAS Institute Inc.
  12. Lines: 11
  13.  
  14.  
  15. In article <TORKEL.92Nov18100921@isis.sics.se>, torkel@sics.se (Torkel Franzen) writes:
  16.     [ Good example of relations among inference rules omitted. ]
  17.  
  18. Perhaps another way of putting this is that the usual truth-functional
  19. interpretation of the material conditional is about the weakest
  20. interpretation that satisfies all the "usual" rules of inference.
  21. -- 
  22. Gary H. Merrill  [Principal Systems Developer, C Compiler Development]
  23. SAS Institute Inc. / SAS Campus Dr. / Cary, NC  27513 / (919) 677-8000
  24. sasghm@theseus.unx.sas.com ... !mcnc!sas!sasghm
  25.