level 1
https://tieba.baidu.com/p/5545762720?red_tag=3458323536
应该是没有 但为什么有些书里又说有………………
https://mp.weixin.qq.com/s/b46SPkzHY_Lg1YcLPfKCkg
2020年04月23日 04点04分
level 1
书中不是说了吗：
当命题为“所有的S都是P”和“所有的S都不是P”时，逆否等价规则适用；但是，命题为“有的S是P”和“有的S不是P”时，是不能使用逆否命题进行推理的。
---------------------------------
简单的说，能够转换为 【若p则q】的形式，就可以说 有逆否命题。
不能转换，就没有。
因为 全称命题可以转换成【若p则q】的形式，所以有逆否命题（严谨的说，是逆否等价规则对于 全称命题也适用）
特称命题不能转换成【若p则q】的形式
2020年04月23日 05点04分
3
当命题为“所有的S都是P”和“所有的S都不是P”时，逆否等价规则适用；但是，命题为“有的S是P”和“有的S不是P”时，是不能使用逆否命题进行推理的。
---------------------------------
简单的说，能够转换为 【若p则q】的形式，就可以说 有逆否命题。
不能转换，就没有。
因为 全称命题可以转换成【若p则q】的形式，所以有逆否命题（严谨的说，是逆否等价规则对于 全称命题也适用）
特称命题不能转换成【若p则q】的形式
若p则q……这个已经不是直言命题的概念了 但是你说的是对的，那我能这么理解不：所有a是b 等价于 所有-b是-a？？？
2020年04月23日 05点04分
诶诶 关键是我习惯是符号推导。。我看有些朋友解题都是一大段文字，看着不太习惯
2020年04月23日 05点04分
吧务
level 14
吧务
level 14
![[玫瑰]](/static/emoticons/u73abu7470.png)
level 1
你贴的链接被吞了，不过我从消息提示里看到了。所谓的【消除中间项】很好理解啊。
因为前提2，都是【所有B是X】的形式。（【所有B非C】也同样可以看成【所有B 是 非C】）。
你可以在纸上画圈，代表集合。那么前提2 代表了 圆B在圆X内部（集合B包含于集合X）。
这样一来，在圆B内的主项，也统统在圆X内。
多多利用纸上画圆，代表集合关系图，很多东西就很好理解的。
2020年04月23日 06点04分
8
因为前提2，都是【所有B是X】的形式。（【所有B非C】也同样可以看成【所有B 是 非C】）。
你可以在纸上画圈，代表集合。那么前提2 代表了 圆B在圆X内部（集合B包含于集合X）。
这样一来，在圆B内的主项，也统统在圆X内。
多多利用纸上画圆，代表集合关系图，很多东西就很好理解的。