home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #23 / NN_1992_23.iso / spool / sci / logic / 1722 < prev    next >
Encoding:
Text File  |  1992-10-15  |  818 b   |  30 lines

  1. Newsgroups: sci.logic
  2. Path: sparky!uunet!gatech!destroyer!cs.ubc.ca!unixg.ubc.ca!kakwa.ucs.ualberta.ca!alberta!trlabs!agt!news
  3. From: Brian F G Bidulock <bbidulo1%agt@cs.ualberta.ca>
  4. Subject: Re: A only if B
  5. Message-ID: <1992Oct15.224329.20578@agt.uucp>
  6. X-Xxdate: Thu, 15 Oct 92 23:50:23 GMT
  7. Sender: news@agt.uucp
  8. Organization: AGT Limited Research & Development
  9. X-Useragent: Nuntius v1.1.1d9
  10. References: <rkaivola.718902434@mits>
  11. Date: Thu, 15 Oct 92 22:43:29 GMT
  12. Lines: 16
  13.  
  14. In article <rkaivola.718902434@mits> Risto Kaivola,
  15. rkaivola@mits.mdata.fi writes:
  16. >"Tom will visit us only if we invite him.",
  17. >is the correct formalization
  18. >
  19. >A = "Tom will visit us."
  20. >
  21. >B = "We invite him."
  22. >
  23. >A  -->  B
  24.  
  25. How about:
  26. ~A --> ~B
  27. or
  28. "If we don't invite Tom, he will not visit us."  == "Tom will visit us
  29. only if we invite him."
  30.