home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #23 / NN_1992_23.iso / spool / sci / logic / 1702 < prev    next >
Encoding:
Internet Message Format  |  1992-10-12  |  574 b 
  1. Path: sparky!uunet!portal!lll-winken!ames!haven.umd.edu!decuac!pa.dec.com!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.718950333@aupair.cs.athabascau.ca>
  6. Date: 13 Oct 92 04:25:33 GMT
  7. References: <rkaivola.718902434@mits> <baljeual.718925223@uther>
  8. Sender: news@cs.athabascau.ca
  9. Lines: 4
  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.