Dictionary.com

natural deduction

Save This Word!

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)
QUIZ
CAN YOU ANSWER THESE COMMON GRAMMAR DEBATES?
There are grammar debates that never die; and the ones highlighted in the questions in this quiz are sure to rile everyone up once again. Do you know how to answer the questions that cause some of the greatest grammar debates?
Question 1 of 7
Which sentence is correct?
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

How to use natural deduction in a sentence

FEEDBACK