Re: DIS: BUS: Re: yin & yang

[Ian Kelly]

On 5/30/07, Kerim Aydin <[EMAIL PROTECTED]> wrote:

Eris wrote:
> (~P -> P) -> P

P -> ~~P

(~~P -> ~P) -> ~P

P -> (~P -> P)

But I'm confused. What precisely is P supposed to represent in this context?

-root