A only if B

Article View: sci.logic

Article #250

#250

From: Risto Kaivola
Date: Mon, 12 Oct 1992 15:07

25 lines
1029 bytes

  The following is no doubt a little trivial for the participants of this
group, but I hope someone is willing to help me, nevertheless.
  Exactly how should one formalize the English notion of 'only if'
in the language of the propositional calculus?
  That is, given the sentence
"Tom will visit us only if we invite him.",
is the correct formalization

A = "Tom will visit us."

B = "We invite him."

A  -->  B


Or, should this perhaps be B --> A (not in my opinion), or A <--> B
(this last alternative is more likely to be correct than B --> A, in my
opinion)?

This isn't homework.

--
Risto Kaivola
(Internet address:   rkaivola@mits.mdata.fi)

Technical Details

Message-ID: <rkaivola.718902434@mits>

Path: arc1-ca.pugleaf.net!sparky!uunet!pipex!unipalm!uknet!mcsun!fuug!prime!mits!rkaivola

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!pipex!unipalm!uknet!mcsun!fuug!prime!mits!rkaivola
From: rkaivola@mits.mdata.fi (Risto Kaivola)
Newsgroups: sci.logic
Subject: A only if B
Message-ID: <rkaivola.718902434@mits>
Date: 12 Oct 92 15:07:14 GMT
Sender: usenet@prime.mdata.fi (Usenet poster)
Organization: Microdata Oy
Lines: 25
Nntp-Posting-Host: mits.mdata.fi