https://tieba.baidu.com/p/5545762720?red_tag=3458323536
应该是没有 但为什么有些书里又说有………………
https://mp.weixin.qq.com/s/b46SPkzHY_Lg1YcLPfKCkg

书中不是说了吗：
当命题为“所有的S都是P”和“所有的S都不是P”时，逆否等价规则适用；但是，命题为“有的S是P”和“有的S不是P”时，是不能使用逆否命题进行推理的。
---------------------------------
简单的说，能够转换为 【若p则q】的形式，就可以说 有逆否命题。
不能转换，就没有。
因为 全称命题可以转换成【若p则q】的形式，所以有逆否命题（严谨的说，是逆否等价规则对于 全称命题也适用）
特称命题不能转换成【若p则q】的形式

http://tieba.baidu.com/p/4403009617?share=9105&fr=share&see_lz=0&sfc=copy&client_type=2&client_version=11.4.8.0&st=1587621438&unique=BC1E50BC1817DA013811D870B456EE27

直言命题的逆否命题，这个说法是错误的。它有换位规则和换质规则。

你贴的链接被吞了，不过我从消息提示里看到了。所谓的【消除中间项】很好理解啊。
因为前提2，都是【所有B是X】的形式。（【所有B非C】也同样可以看成【所有B 是 非C】）。
你可以在纸上画圈，代表集合。那么前提2 代表了 圆B在圆X内部（集合B包含于集合X）。
这样一来，在圆B内的主项，也统统在圆X内。
多多利用纸上画圆，代表集合关系图，很多东西就很好理解的。