Read Next
Discover
proof
logic
verifiedCite
While every effort has been made to follow citation style rules, there may be some discrepancies.
Please refer to the appropriate style manual or other sources if you have any questions.
Select Citation Style
Feedback
Thank you for your feedback
Our editors will review what you’ve submitted and determine whether to revise the article.
External Websites
proof, in logic, an argument that establishes the validity of a proposition. Although proofs may be based on inductive logic, in general the term proof connotes a rigorous deduction. In formal axiomatic systems of logic and mathematics, a proof is a finite sequence of well-formed formulas (generated in accordance with accepted formation rules) in which: (1) each formula is either an axiom or is derived from some previous formula or formulas by a valid inference; and (2) the last formula is that which is to be proved. For proof by cases, see dilemma.