海量资源,尽在掌握
 由直言命题所组成的一种推理形式,简称三段论。传统逻辑的三段论演绎体系是由亚里士多德创立的,在中世纪得以完善,现代的数理逻辑对三段论也作过专门的研究。三段论的结构一个直言三段论由三个直言命题所组成,其中两个为前 (本文共 2302 字 , 1 张图 ) [阅读本文] >>