Advanced Examples

Some Advanced Examples

Be cautious: some of the following formulae have big proofs!

=> (((a & b) v (a->f) v (b->f))->f)->f => (a & b & c v ((a->f) v (b->f) v (c->f))->f)->f => d&(b->b->a)&(c->c->b)&(d->d->c)->a

Last modified: Sun Nov 23 20:20:31 GMT 1997