Online Computer Terms Dictionary - P

proof

1. <logic> A finite sequence of well-formed formulas, F1, F2, ... Fn,
where each Fi either is an axiom, or follows by some rule of inference from some
of the previous F's, and Fn is the statement being proved.