home *** CD-ROM | disk | FTP | other *** search
- Newsgroups: sci.logic
- Path: 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
-
- 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."
-