自然的演绎
保存这个单词!
名词
一种形式逻辑体系,它没有公理,但允许假设论证的前提。这样的系统使用序列来记录在任何阶段哪些假设是可行的
比较公理(定义3)
柯林斯英语词典-完整版2012数ldsprots欧洲杯字版©William Collins Sons & Co. Ltd. 1979,1986©HarperCollins Publishers 1998,2000,2003,2005, 2006, 2007,, 2009, 2012