home *** CD-ROM | disk | FTP | other *** search
- Newsgroups: sci.logic
- Path: sparky!uunet!gatech!concert!sas!mozart.unx.sas.com!sasghm
- From: sasghm@theseus.unx.sas.com (Gary Merrill)
- Subject: Re: A only if B
- Originator: sasghm@theseus.unx.sas.com
- Sender: news@unx.sas.com (Noter of Newsworthy Events)
- Message-ID: <Bw29E3.pL@unx.sas.com>
- Date: Tue, 13 Oct 1992 12:58:51 GMT
- References: <rkaivola.718902434@mits> <baljeual.718925223@uther> <burt.718950333@aupair.cs.athabascau.ca>
- Nntp-Posting-Host: theseus.unx.sas.com
- Organization: SAS Institute Inc.
- Lines: 27
-
-
- In article <burt.718950333@aupair.cs.athabascau.ca>, burt@aupair.cs.athabascau.ca (Burt Voorhees) writes:
-
- |> A<--B = A only if B = if B then A This is read: A is true only if B is
- |> true since a true statement cannot imply a falsehood.
-
- I don't know what to make of this, except ...
-
- 1. A <-- B
-
- certainly is non-standard notation, so I guess you can
- impose on it whatever semantics you like.
-
- 2. If the claim is that
-
- A only if B
-
- and
-
- if B then A
-
- are equivalent (in the truth-functional, or any other, sense), then
- a serious mistake is being made.
- --
- Gary H. Merrill [Principal Systems Developer, C Compiler Development]
- SAS Institute Inc. / SAS Campus Dr. / Cary, NC 27513 / (919) 677-8000
- sasghm@theseus.unx.sas.com ... !mcnc!sas!sasghm
-