Re: A only if B

Article View: sci.logic

Article #272

#272

From: Brian F G Bidulock
Date: Thu, 15 Oct 1992 22:43

16 lines
847 bytes

In article <rkaivola.718902434@mits> Risto Kaivola,
rkaivola@mits.mdata.fi writes:
>"Tom will visit us only if we invite him.",
>is the correct formalization
>
>A = "Tom will visit us."
>
>B = "We invite him."
>
>A  -->  B

How about:
~A --> ~B
or
"If we don't invite Tom, he will not visit us."  == "Tom will visit us
only if we invite him."

Technical Details

Message-ID: <1992Oct15.224329.20578@agt.uucp>

Path: arc1-ca.pugleaf.net!sparky!uunet!gatech!destroyer!cs.ubc.ca!unixg.ubc.ca!kakwa.ucs.ualberta.ca!alberta!trlabs!agt!news

References: <rkaivola.718902434@mits>

Show Full Headers

Complete Article Headers

Newsgroups: sci.logic
Path: arc1-ca.pugleaf.net!sparky!uunet!gatech!destroyer!cs.ubc.ca!unixg.ubc.ca!kakwa.ucs.ualberta.ca!alberta!trlabs!agt!news
From: Brian F G Bidulock <bbidulo1%agt@cs.ualberta.ca>
Subject: Re: A only if B
Message-ID: <1992Oct15.224329.20578@agt.uucp>
X-Xxdate: Thu, 15 Oct 92 23:50:23 GMT
Sender: news@agt.uucp
Organization: AGT Limited Research & Development
X-Useragent: Nuntius v1.1.1d9
References: <rkaivola.718902434@mits>
Date: Thu, 15 Oct 92 22:43:29 GMT
Lines: 16

Reply to Parent Message