home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #23 / NN_1992_23.iso / spool / sci / logic / 1700 < prev    next >
Encoding:
Text File  |  1992-10-12  |  589 b   |  27 lines
  1. Newsgroups: sci.logic
  2. Path: sparky!uunet!gumby!ursa!uther!baljeual
  3. From: baljeual@uther.calvin.edu (Alan Baljeu)
  4. Subject: Re: A only if B
  5. Message-ID: <baljeual.718925223@uther>
  6. Sender: news@calvin.edu
  7. Organization: Calvin College
  8. References: <rkaivola.718902434@mits>
  9. Date: Mon, 12 Oct 1992 21:27:03 GMT
  10. Lines: 15
  11.  
  12. rkaivola@mits.mdata.fi (Risto Kaivola) writes:
  13.  
  14. >A = "Tom will visit us."
  15.  
  16. >B = "We invite him."
  17.  
  18. You want "A only if B"
  19.  
  20. Think: if not B?       then not A
  21. so !B -> !A
  22.  
  23. Think: if A?              if not B then not A, so we must assert B is true.
  24. A -> B
  25.  
  26. Both of these are equivalent.
  27.