Re: [lojban] The Quine challenge

[John Cowan <jcowan@reutershealth.com>]

From: John Cowan <jcowan@reutershealth.com>

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 <jcowan@reutershealth.com>
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)

------------------------------------------------------------------------
GET A NEXTCARD VISA, in 30 seconds!  Get rates as low as 2.9%
Intro or 9.9% Fixed APR and no hidden fees.  Apply NOW!
http://click.egroups.com/1/936/1/_/17627/_/952117446/
------------------------------------------------------------------------

To unsubscribe, send mail to lojban-unsubscribe@onelist.com