[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: The Quine challenge



Jorge Llambias wrote:

> Consider these two statements:
> - Membership in A is compatible with membership in any other club.
> - Membership in B precludes membership in any other club.
> 
> Are they contradictory?
> I'm waiting for John's answer on this.

I think they are: preclusion is irreflexive, symmetric, and transitive.
When did I suggest that preclusion was not symmetric?

-- 

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)