home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #23 / NN_1992_23.iso / spool / sci / logic / 1697 < prev    next >
Encoding:
Internet Message Format  |  1992-10-12  |  993 b 
  1. Path: sparky!uunet!pipex!unipalm!uknet!mcsun!fuug!prime!mits!rkaivola
  2. From: rkaivola@mits.mdata.fi (Risto Kaivola)
  3. Newsgroups: sci.logic
  4. Subject: A only if B
  5. Message-ID: <rkaivola.718902434@mits>
  6. Date: 12 Oct 92 15:07:14 GMT
  7. Sender: usenet@prime.mdata.fi (Usenet poster)
  8. Organization: Microdata Oy
  9. Lines: 25
  10. Nntp-Posting-Host: mits.mdata.fi
  11.  
  12.  
  13.   The following is no doubt a little trivial for the participants of this
  14. group, but I hope someone is willing to help me, nevertheless.
  15.   Exactly how should one formalize the English notion of 'only if'
  16. in the language of the propositional calculus?
  17.   That is, given the sentence
  18. "Tom will visit us only if we invite him.",
  19. is the correct formalization
  20.  
  21. A = "Tom will visit us."
  22.  
  23. B = "We invite him."
  24.  
  25. A  -->  B
  26.  
  27.  
  28. Or, should this perhaps be B --> A (not in my opinion), or A <--> B
  29. (this last alternative is more likely to be correct than B --> A, in my
  30. opinion)?
  31.  
  32. This isn't homework.
  33.  
  34. --
  35. Risto Kaivola
  36. (Internet address:   rkaivola@mits.mdata.fi)
  37.