equal
deleted
inserted
replaced
|
1 <HTML> |
|
2 <HEAD> |
|
3 <META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=iso-8859-1"> |
|
4 <TITLE>Advanced Examples</TITLE> |
|
5 </HEAD> |
|
6 <BODY TEXT="#000000" BGCOLOR="#C7C3C7" LINK="#0000EF" VLINK="#51188E" ALINK="#FF0000"> |
|
7 |
|
8 <H2>Some Advanced Examples </H2> |
|
9 |
|
10 Be cautious: some of the following formulae have big proofs! |
|
11 |
|
12 <HR> |
|
13 <TT> |
|
14 <DL> |
|
15 <DD> => (((a & b) v (a->f) v (b->f))->f)->f</DD> |
|
16 <DD> => (a & b & c v ((a->f) v (b->f) v (c->f))->f)->f</DD> |
|
17 <DD> => d&(b->b->a)&(c->c->b)&(d->d->c)->a</DD> |
|
18 </DL> |
|
19 </TT> |
|
20 |
|
21 |
|
22 <HR> |
|
23 <ADDRESS> |
|
24 <A HREF="mailto:Christian.Urban@cl.cam.ac.uk">Christian Urban</A></ADDRESS> |
|
25 |
|
26 |
|
27 <P><!-- Created: Tue Mar 4 00:23:25 GMT 1997 --> |
|
28 <!-- hhmts start --> |
|
29 Last modified: Sun Nov 23 20:20:31 GMT 1997 |
|
30 <!-- hhmts end --> |
|
31 </BODY> |
|
32 </HTML> |