Ask the Chatbot Games & Quizzes History & Society Science & Tech Biographies Animals & Nature Geography & Travel Arts & Culture ProCon Money Videos
proof
Table of Contents
Introduction References & Edit History Quick Facts & Related Topics
Read Next
Computer mapping, woman at early 1990s computer
Timeline of the 1990s
Discover
Saint Lucia Day. Young girl wears Lucia crown (tinsel halo) with candles. Holds Saint Lucia Day currant laced saffron buns (lussekatter or Lucia's cats). Observed December 13 honor virgin martyr Santa Lucia (St. Lucy). Luciadagen, Christmas, Sweden
7 Winter Solstice Celebrations From Around the World
King Cobra snake in Malaysia. (reptile)
9 of the World’s Deadliest Snakes
Srinivasa Ramanujan, Indian mathematician and autodidact.
6 Interesting Facts about Srinivasa Ramanujan
Colorful winter sunset
What's the Difference Between a Solstice and an Equinox?
The impeachment trial of Pres. Andrew Johnson, illustration from Frank Leslie's Illustrated Newspaper, March 28, 1868.
What If the President Is Impeached?
Town of Sisimiut located on the coast of the Davis Strait on Kangerluarsunnguaq Bay, Greenland
The Largest Islands in the World
Ice Sledge Hockey, Hockey Canada Cup, USA (left) vs Canada, 2009. UBC Thunderbird Arena, Vancouver, BC, competition site for Olympic ice hockey and Paralympic ice sledge hockey. Vancouver 2010 Olympic and Paralympic Winter Games, Vancouver Olympics
10 Best Hockey Players of All Time

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
Share
Share to social media
URL
https://mainten.top/topic/proof-logic
Feedback
Corrections? Updates? Omissions? Let us know if you have suggestions to improve this article (requires login).
Thank you for your feedback

Our editors will review what you’ve submitted and determine whether to revise the article.

External Websites
Also known as: demonstration, derivation
Written and fact-checked by
The Editors of Encyclopaedia Britannica
Encyclopaedia Britannica's editors oversee subject areas in which they have extensive knowledge, whether from years of experience gained by working on that content or via study for an advanced degree. They write new content and verify and edit content received from contributors.
The Editors of Encyclopaedia Britannica
Article History
Key People:
Andrew Wiles
Liu Hui

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.