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