Definition:Proof
From ProofWiki
Definition
A proof is another name for a valid argument, but in this context the assumption is made that the premises are all true.
That is, a valid argument that has one or more false premises is not a proof.
Suppose $P$ is a proposition whose truth or falsehood is to be determined.
Constructing a valid argument upon a set of premises, all of which have previously been established as being true, is called proving $P$.
Sources
- E.J. Lemmon: Beginning Logic (1965): $\S 1.2$
