演绎定理
拯救这个词!
名词
逻辑
许多正式系统的性质,条件源自一个有效论点以前提的结合为前提和结论结论是正确的
柯林斯英语词典——完整的&完整的yabo欧洲杯哪里能买球2012数字版©威廉·柯林斯儿子&有限公司1979 1986柯林斯出版公司©1998,2000,2003,2005,2006,2007,2009,2012