Ask the Chatbot Games & Quizzes ProCon History & Society Science & Tech Biographies Animals & Nature Geography & Travel Arts & Culture 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
Woman tied to a ducking stool, a method of punishment by means of humiliation, beating, or death. (cucking stool)
8 Unusual Punishments Inflicted on Women Throughout History
Thanksgiving Celebration Traditional Dinner Setting Food Concept
Why Is Thanksgiving in the U.S. Celebrated on a Thursday?
New York NY/ USA- November 23, 2018 Hordes of shoppers throng the Macy's Herald Square flagship store in New York looking for bargains on the day after Thanksgiving, Black Friday.
Why Is It Called Black Friday?
The Cheshire Cat is a fictional cat from Lewis Carroll's Alice's Adventures in Wonderland. (Alice in Wonderland)
11 Banned Books Through Time
Leonardo da Vinci (1452-1519), Italian Renaissance painter from Florence. Engraving by Cosomo Colombini (d. 1812) after a Leonardo self portrait. Ca. 1500.
10 Famous Artworks by Leonardo da Vinci
A Factory Interior, watercolor, pen and gray ink, graphite, and white goache on wove paper by unknown artist, c. 1871-91; in the Yale Center for British Art. Industrial Revolution England
Inventors and Inventions of the Industrial Revolution
An ancient egyptian hieroglyphic painted carving showing the falcon headed god Horus seated on a throne and holding a golden fly whisk. Before him are the Pharoah Seti and the goddess Isis. Interior wall of the temple to Osiris at Abydos, Egypt.
11 Egyptian Gods and Goddesses

proof: Facts & Related Content

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://www.britannica.com/facts/proof-logic
Written and fact-checked by
The Information Architects of Encyclopaedia Britannica

The Information Architects maintain a master list of the topics included in the corpus of  Encyclopædia Britannica, and create and manage the relationships between them.
The Information Architects of Encyclopaedia Britannica

Facts

Also Known As derivation • demonstration

Related Topics and References

Topics

Key People

Andrew John Wiles
Andrew Wiles
British mathematician
Liu Hui
Chinese mathematician