deduction theorem
noun
logic the property of many formal systems that the conditional derived from a valid argument by taking the conjunction of the premises as antecedent and the conclusion as consequent is true
RELATED CONTENT
An exciting new addition to ancient history? How one important book was uncovered from within another book.
After years of research, the Archimedes’ Palimpsest is now on display at the Walters Art Museum in Baltimore, Maryland. Like anything more than a thousand years old, it has an intriguing story to tell. But what’s a palimpsest? This confusing word has a very particular definition. A palimpsest is a text written on parchment, vellum or sometimes papyrus that is covered over by another text. …
READ MORE
self-fulfilling prophecy
Read more in this article about some frequently asked questions and fun facts related to our definitions.
READ MORE
Collins English Dictionary - Complete & Unabridged 2012 Digital Edition
© William Collins Sons & Co. Ltd. 1979, 1986 © HarperCollins
Publishers 1998, 2000, 2003, 2005, 2006, 2007, 2009, 2012