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
QUIZZES
LEARN THE SPANISH WORDS FOR THESE COMMON ANIMALS!
Are you learning Spanish? Or do you just have an interest in foreign languages? Either way, this quiz on Spanish words for animals is for you.
Question 1 of 13
How do you say “cat” 🐈 in Spanish?
Words nearby deduction theorem
deduce, deduct, deductible, deductible clause, deduction, deduction theorem, deductive, deduplicate, de Duve, dee, deed
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