From jcowan@reutershealth.com Fri Mar 3 13:04:10 2000 X-Digest-Num: 383 Message-ID: <44114.383.2174.959273826@eGroups.com> Date: Fri, 03 Mar 2000 16:04:10 -0500 From: John Cowan Subject: Re: The Quine challenge Jorge Llambias wrote: > >I think they are: preclusion is irreflexive, symmetric, and transitive. > > This is beside the point, but... transitive?! Arrgh. I typed that sentence three times and still got it wrong. *Intransitive*. And you're right: in the club specifications, I meant "precludes" to be asymmetric, but in the definition of "final club" I meant it to be symmetric. The asymmetry was just for brevity: you can cure it by adding a general rule: "Membership in any club K precludes membership in every club that explicitly precludes membership in K." -- Schlingt dreifach einen Kreis vom dies! || John Cowan Schliesst euer Aug vor heiliger Schau, || http://www.reutershealth.com Denn er genoss vom Honig-Tau, || http://www.ccil.org/~cowan Und trank die Milch vom Paradies. -- Coleridge (tr. Politzer)