规则6证明：两个特称前提，不能得出结论。有3种形式，II，IO或（OI）,OO，若II的话，则没有周延，按照规则2，中项至少周延一次，无法无法得出结论。若OO形式，OO是两个特称否定，根据规则4，两个否定前提得，IO（OI）。
规则7证明：如果前提中有一个是特称判断，那么结论必须是特称判断：由于两个特称的前提不能得出结论，所以两个前提中有一个是特称判断，则另一个必然是全称判断。这样，两个前提的组合共有三种情况，即AI、AO或者EI、EO。在这三种情况下，假如能得出结论，也只能得出特称的结论。
假言三段论
又称假言推理。假言推理总是以假言判断为前提来进行推理的。命题演算中的条定理：（q-r)→（（p→q）→(p→r))。意即如果qr，又如果pq，就可以得到pr。亦即：如果q→r并且pq，就可以得到p→r。此定理被称为三段论原则。
假言判断推理：
A→B。
A为充分条件，B为必要条件。
否定A推不出结果，肯定B也推不出结果。
本文标题: 如何证明推理规则(HS)中的假言三段论?
本文链接: https://ganzh.com/aibox/show-42566.html (转载时请保留)
图片或文章有版权问题的请联系客服确认后删除: 邮箱/xazhi@foxmail.com
2026夏季薄款男士冰丝透气短袖套装怎么选才不踩雷？
五星级酒店专用A类全棉枕头怎么选？2026护颈助眠选购要点
2026年选购98%林蛙冻干粉，如何辨别高活性与合规现货？
2026年三杆发财树小盆栽怎么选才适合客厅或办公桌？
2026年如何挑选楠木根雕观音摆件？
2026年翻盖直角金属眼镜盒如何兼顾大容量与防压便携？
2026年哑光菊花盘怎么选？北欧风陶瓷餐盘选购关键看这几点
2026年婚庆吊顶雪纺挂布怎么选？橙色黄色垂感纱选购指南
2026年选购ASICS亚瑟士安全鞋，如何兼顾防滑耐磨与舒适时尚？
2026年选购168CC卡丁车车架总成，如何避开转向与刹车兼容坑？
莫曼顿iSee 330旅行自行车当前值得买吗？24速蝴蝶把避震配置怎么选
2026年选购旗云C215V牛尾锁，登山攀冰如何判断适用性？
华昌小粒红蟹籽适合做寿司吗？2026年选购与使用要点解析
冬季蓝色劳保棉大衣如何选？2026年加厚保暖作训服选购要点解析
孟锦记五香花生米当前怎么选才不踩坑？
