Re: A only if B

Article View: sci.logic

Article #253

#253

From: Alan Baljeu
Date: Mon, 12 Oct 1992 21:27

15 lines
615 bytes

rkaivola@mits.mdata.fi (Risto Kaivola) writes:

>A = "Tom will visit us."

>B = "We invite him."

You want "A only if B"

Think: if not B?       then not A
so !B -> !A

Think: if A?			  if not B then not A, so we must assert B is true.
A -> B

Both of these are equivalent.

Technical Details

Message-ID: <baljeual.718925223@uther>

Path: arc1-ca.pugleaf.net!sparky!uunet!gumby!ursa!uther!baljeual

References: <rkaivola.718902434@mits>

Show Full Headers

Complete Article Headers

Newsgroups: sci.logic
Path: arc1-ca.pugleaf.net!sparky!uunet!gumby!ursa!uther!baljeual
From: baljeual@uther.calvin.edu (Alan Baljeu)
Subject: Re: A only if B
Message-ID: <baljeual.718925223@uther>
Sender: news@calvin.edu
Organization: Calvin College
References: <rkaivola.718902434@mits>
Date: Mon, 12 Oct 1992 21:27:03 GMT
Lines: 15

Reply to Parent Message