diff -r 345dd18f020e -r 907b1fff5637 Prover/fun.html --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/Prover/fun.html Thu Mar 15 10:07:28 2012 +0000 @@ -0,0 +1,32 @@ + + + + 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
+
+
+ + +
+
+Christian Urban
+ + +

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