Eris wrote: > (~P -> P) -> P P -> ~~P
(~~P -> ~P) -> ~P
- Re: DIS: BUS: Re: yin & yang Michael Slone
- Re: DIS: BUS: Re: yin & yang Ed Murphy
- Re: DIS: BUS: Re: yin & yang Michael Slone
- DIS: BUS: Re: yin & yang Kerim Aydin
- DIS: BUS: Re: yin & yang Kerim Aydin
- Re: DIS: BUS: Re: yin & yang Ian Kelly
- Re: DIS: BUS: Re: yin & yang Taral
- DIS: BUS: Re: yin & yang Kerim Aydin
- Re: DIS: BUS: Re: yin & yang Ian Kelly
- DIS: BUS: Re: yin & yang Kerim Aydin
- Re: DIS: BUS: Re: yin & yang Ian Kelly
- Re: DIS: BUS: Re: yin & yang Taral
- Re: DIS: BUS: Re: yin & yang Zefram
- DIS: BUS: Re: yin & yang Kerim Aydin
- DIS: BUS: Re: yin & yang Kerim Aydin
- Re: DIS: BUS: Re: yin & yang Michael Slone
- Re: DIS: BUS: Re: yin & yang Ian Kelly
- Re: DIS: BUS: Re: yin & yang Ian Kelly
- Re: DIS: BUS: Re: yin & yang Zefram
- Re: DIS: BUS: Re: yin & yang Ian Kelly
