Re: Help with a problem

William Elliot <marsh@xxxxxxxxxxxxxxxxxx> writes:

> Here's natural deduction proof with classical negation

Completely irrelevant.
.

Relevant Pages

  • Re: set theory: definition of dim(S)
    ... On Tue, 29 Nov 2005, Alex Hunsley wrote: ... > William Elliot wrote: ... > thinking along the lines of dimbeing equal to n iff x.memberof ... Prev by Date: ...
    (sci.math)
  • Re: Topology Question
    ... William Elliot wrote: ... so the space is also biconnected and sequentially compact. ... the union of two disjoint nondegenerate connected sets. ... Prev by Date: ...
    (sci.math)
  • Re: Are Logicians Naturally Logical?
    ... William Elliot wrote: ... It way be that evolution has equipped us with rudimentary logic skills. ... Prev by Date: ...
    (sci.logic)
  • Re: PL or PLI
    ... On Sat, 9 Jul 2005, George Dance wrote: ... > William Elliot wrote: ... Prev by Date: ...
    (sci.logic)
  • Re: an ideal problem
    ... William Elliot wrote: ... Iain M. Banks, _The Algebraist_ ... Prev by Date: ...
    (sci.math)
Quantcast