Re: A only if B

Article View: sci.logic

Article #256

#256

From: Gary Merrill
Date: Tue, 13 Oct 1992 12:58

27 lines
1322 bytes

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

Technical Details

Message-ID: <Bw29E3.pL@unx.sas.com>

Path: arc1-ca.pugleaf.net!sparky!uunet!gatech!concert!sas!mozart.unx.sas.com!sasghm

References: <rkaivola.718902434@mits> <baljeual.718925223@uther> <burt.718950333@aupair.cs.athabascau.ca>

Show Full Headers

Complete Article Headers

Newsgroups: sci.logic
Path: arc1-ca.pugleaf.net!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

Reply to Parent Message