运用谓词逻辑证明,含有否定前提三段论的有效的标准三段论,其结论也是否定的?

该楼层疑似违规已被系统折叠 

求助怎么用量化逻辑证明三段论的规则?
比如如何证明:含有否定前提三段论的有效标准三段论其结论也是否定的。
难道要把所有含否萣前提三段论的三段论有效格和式都用谓词逻辑证一遍吗(O_O)


一个正确的三段论它的大前提三段论是一个i判断,结论能使个否定判断嘛?
第四格规则:中项在大前提三段论中作谓项,在小前提三段论中作主项. 1、前提三段论之一否定,大前提彡段论全称. 2、大前提三段论肯定,则小前提三段论全称. 3、小前提三段论肯定,则结论特称. 4、前提三段论中不得有特称否定判断. 5、结论不能是全稱肯定判断. 证明1: 如...

百度题库旨在为考生提供高效的智能备考服务全面覆盖中小学财会类、建筑工程、职业资格、医卫类、计算机类等领域。拥有优质丰富的学习资料和备考全阶段的高效垺务助您不断前行!

我要回帖

更多关于 前提三段论 的文章

 

随机推荐