该楼层疑似违规已被系统折叠
求助怎么用量化逻辑证明三段论的规则? 比如如何证明:含有否定前提三段论的有效标准三段论其结论也是否定的。 难道要把所有含否萣前提三段论的三段论有效格和式都用谓词逻辑证一遍吗(O_O)
百度题库旨在为考生提供高效的智能备考服务全面覆盖中小学财会类、建筑工程、职业资格、医卫类、计算机类等领域。拥有优质丰富的学习资料和备考全阶段的高效垺务助您不断前行!