home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / sci / logic / 2094 < prev    next >
Encoding:
Text File  |  1992-11-18  |  1.1 KB  |  26 lines
  1. Newsgroups: sci.logic
  2. Path: sparky!uunet!mcsun!sunic!sics.se!torkel
  3. From: torkel@sics.se (Torkel Franzen)
  4. Subject: Re: implication truth table
  5. In-Reply-To: sasghm@theseus.unx.sas.com's message of Wed, 18 Nov 1992 13:49:39 GMT
  6. Message-ID: <TORKEL.92Nov18175759@bast.sics.se>
  7. Sender: news@sics.se
  8. Organization: Swedish Institute of Computer Science, Kista
  9. References: <1992Nov16.162733.1831@falcon.aamrl.wpafb.af.mil>
  10.     <TORKEL.92Nov18100921@isis.sics.se> <Bxwzqs.H8L@unx.sas.com>
  11. Date: Wed, 18 Nov 1992 16:57:59 GMT
  12. Lines: 12
  13.  
  14. In article <Bxwzqs.H8L@unx.sas.com> sasghm@theseus.unx.sas.com (Gary Merrill)
  15.  writes:
  16.  
  17.    >Perhaps another way of putting this is that the usual truth-functional
  18.    >interpretation of the material conditional is about the weakest
  19.    >interpretation that satisfies all the "usual" rules of inference.
  20.  
  21.   "Material conditional" is a bit misleading here, since the rules I
  22. mentioned are all intuitionistically valid. That is, the inference of
  23. "if A then B" from "not A" is not dependent on any equivalence of
  24. "if A then B" with "not A or B", which is often taken to be required by
  25. the "material conditional".
  26.