home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #23 / NN_1992_23.iso / spool / sci / logic / 1698 < prev    next >
Encoding:
Internet Message Format  |  1992-10-12  |  1.3 KB
  1. Path: sparky!uunet!charon.amdahl.com!pacbell.com!sgiblab!zaphod.mps.ohio-state.edu!sol.ctr.columbia.edu!ira.uka.de!math.fu-berlin.de!unidui!rrz.uni-koeln.de!Germany.EU.net!mcsun!uknet!news.cs.bham.ac.uk!ard
  2. From: ard@cs.bham.ac.uk (Antoni Diller)
  3. Newsgroups: sci.logic
  4. Subject: Re: A only if B
  5. Message-ID: <Bw0r39.G2I@cs.bham.ac.uk>
  6. Date: 12 Oct 92 17:25:56 GMT
  7. References: <rkaivola.718902434@mits>
  8. Sender: news@cs.bham.ac.uk
  9. Organization: School of Computer Science, University of Birmingham, UK
  10. Lines: 33
  11. Nntp-Posting-Host: fattie
  12.  
  13. In article <rkaivola.718902434@mits> rkaivola@mits.mdata.fi (Risto Kaivola) writes:
  14. >
  15. >  The following is no doubt a little trivial for the participants of this
  16. >group, but I hope someone is willing to help me, nevertheless.
  17. >  Exactly how should one formalize the English notion of 'only if'
  18. >in the language of the propositional calculus?
  19. >  That is, given the sentence
  20. >"Tom will visit us only if we invite him.",
  21. >is the correct formalization
  22. >
  23. >A = "Tom will visit us."
  24. >
  25. >B = "We invite him."
  26. >
  27. >A  -->  B
  28. >
  29. >
  30. >Or, should this perhaps be B --> A (not in my opinion), or A <--> B
  31. >(this last alternative is more likely to be correct than B --> A, in my
  32. >opinion)?
  33. >
  34. >This isn't homework.
  35. >
  36. >--
  37. >Risto Kaivola
  38. >(Internet address:   rkaivola@mits.mdata.fi)
  39.  
  40. I'd go for:
  41.  
  42. (B --> A) & (-B --> -A)
  43.  
  44.  
  45. Antoni Diller
  46.