Go backward to Go up to TopGo forward to Proof Rules |

*Definition:* a proof is a structured argument that a proposition
is true.

- You claim that a formula is a (true) proposition.
- You
*believe*that it is true.

- You
- You want to convince yourself about this.
- You want to
*make sure*that it is true.

- You want to
- You want to convince someone else about this.
- You want to make a skeptic opponent
*admit*that it is true.

- You want to make a skeptic opponent

*Proving is the art of (scientifically) arguing.*

Author: Wolfgang Schreiner

Last Modification: November 30, 1999