home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #23 / NN_1992_23.iso / spool / sci / logic / 1705 < prev    next >
Encoding:
Internet Message Format  |  1992-10-13  |  862 b 
  1. Path: sparky!uunet!decwrl!atha!aupair.cs.athabascau.ca!burt
  2. From: burt@aupair.cs.athabascau.ca (Burt Voorhees)
  3. Newsgroups: sci.logic
  4. Subject: Re: A only if B
  5. Message-ID: <burt.718993396@aupair.cs.athabascau.ca>
  6. Date: 13 Oct 92 16:23:16 GMT
  7. References: <rkaivola.718902434@mits> <baljeual.718925223@uther> <burt.71895033
  8. Sender: news@cs.athabascau.ca
  9. Lines: 11
  10.  
  11. >A-->B = if A then B
  12. >A<-->B = A if and only if B
  13. >A<--B = A only if B = if B then A  This is read: A is true only if B is
  14. >true since a true statement cannot imply a falsehood.
  15.  
  16.   Appologies, this is clearly wrong. :(  That's what I get for posting
  17. late at night and thinking about things like necessary and sufficient.
  18. Guess that puts me one up on Dogwood (Much Ado About Nothing) as he only
  19. wanted to be written down an ass.  :):):)
  20.   Let's try again:  How about A only if B = (B-->A)&(-B-->-a)
  21. bv
  22.