natural deduction


noun

a system of formal logic that has no axioms but permits the assumption of premises of an argument. Such a system uses sequents to record which assumptions are operative at any stageCompare axiomatic (def. 3)

QUIZZES

DO YOU KNOW THIS VOCABULARY FROM "THE HANDMAID'S TALE"?

"The Handmaid's Tale" was required reading for many of us in school. Everyone else has probably watched the very popular and addictive TV show. Do you remember this vocabulary from the book, and do you know what these terms mean?
Question 1 of 10
decorum
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