previous up next
Go backward to
Go up to Top
Go forward to Proof Rules
RISC-Linz logo

Motivation

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

Proving is the art of (scientifically) arguing.


Author: Wolfgang Schreiner
Last Modification: November 30, 1999

previous up next