home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #23 / NN_1992_23.iso / spool / sci / logic / 1699 < prev    next >
Encoding:
Text File  |  1992-10-12  |  2.2 KB  |  71 lines
  1. Newsgroups: sci.logic
  2. Path: sparky!uunet!charon.amdahl.com!pacbell.com!ames!elroy.jpl.nasa.gov!swrinde!gatech!concert!sas!mozart.unx.sas.com!sasghm
  3. From: sasghm@theseus.unx.sas.com (Gary Merrill)
  4. Subject: Re: A only if B
  5. Originator: sasghm@theseus.unx.sas.com
  6. Sender: news@unx.sas.com (Noter of Newsworthy Events)
  7. Message-ID: <Bw0v8L.DqA@unx.sas.com>
  8. Date: Mon, 12 Oct 1992 18:55:33 GMT
  9. References: <rkaivola.718902434@mits> <Bw0r39.G2I@cs.bham.ac.uk>
  10. Nntp-Posting-Host: theseus.unx.sas.com
  11. Organization: SAS Institute Inc.
  12. Lines: 57
  13.  
  14.  
  15. In article <Bw0r39.G2I@cs.bham.ac.uk>, ard@cs.bham.ac.uk (Antoni Diller) writes:
  16. |> In article <rkaivola.718902434@mits> rkaivola@mits.mdata.fi (Risto Kaivola) writes:
  17.  
  18.     [ stuff about translating conditionals deleted ]
  19.  
  20. Here are the usual translations found in logic texts for the material
  21. (and similar) conditional and biconditional:
  22.  
  23.      --------------------------------------------
  24.  
  25.      P -> Q
  26.  
  27.      if P then Q
  28.      if P, Q
  29.      Q if P
  30.      Provided that P, Q
  31.      Q provided that P
  32.      On condition that P, Q
  33.      Q on condition that P
  34.      P only if Q
  35.      P only on condition that Q
  36.  
  37.      ---------------------------------------------
  38.  
  39.      P <-> Q
  40.  
  41.      P if and only if Q
  42.      P just in case Q
  43.      P when and only when Q
  44.      P exactly on condition that Q
  45.  
  46.      -------------------------------------------
  47.  
  48. There are probably other common translations as well, but I
  49. cannot recall at the moment.
  50.  
  51. For some reason 'only' tends to confuse people (I suspect it
  52. is because they don't really know how it works in English).
  53. Sometimes it is easier to get the correct sense of an 'only'
  54. expression by considering a quantified version, as in
  55.  
  56.     Only a dog is a labrador retriever.
  57.  
  58.     (x is a labrador retriever) -> (x is a dog)
  59.  
  60.     Bob is a labrador retriever only if he is a dog.
  61.  
  62. On the other hand, in my experience, many people find this
  63. even *more* confusing.  In reading 'P->Q' as 'P only if Q'
  64. it helps to emphasize the 'only':  P *only* if Q.  (If you
  65. say the 'only' loudly enough you start to get the idea.)
  66.  
  67. -- 
  68. Gary H. Merrill  [Principal Systems Developer, C Compiler Development]
  69. SAS Institute Inc. / SAS Campus Dr. / Cary, NC  27513 / (919) 677-8000
  70. sasghm@theseus.unx.sas.com ... !mcnc!sas!sasghm
  71.