Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.1 6/24/83; site sdcsvax.UUCP
Path: utzoo!linus!decvax!ittvax!dcdwest!sdcsvax!greg
From: greg@sdcsvax.UUCP
Newsgroups: net.singles
Subject: Re: Logic
Message-ID: <1104@sdcsvax.UUCP>
Date: Thu, 9-Aug-84 12:20:39 EDT
Article-I.D.: sdcsvax.1104
Posted: Thu Aug  9 12:20:39 1984
Date-Received: Fri, 10-Aug-84 08:22:39 EDT
References: <3276@tektronix.UUCP>
Organization: NCR Corporation, Torrey Pines
Lines: 16

In article <3276@tektronix> moiram@tektronix.UUCP (Moira Mallison) writes:
>
>sorry, dave, just can't resist:
>
>	single } no kids } no interest
>     = (single } no kids) } no interest
>     =        FALSE       } no interest
>     =        FALSE
>
Er, sorry, it's your logic that's wrong.  A false antecedent in an implication
yields a TRUE expression.  This doesn't say that his logic is RIGHT, but at
least the form of it is true!

For this I majored in Mathematics?
-- 
-- Greg Noel, NCR Torrey Pines       Greg@sdcsvax.UUCP or Greg@nosc.ARPA