逆否命题 一般是针对 假言命题(如果 ……那么……)的。
只不过因为,从含义上来说
【所有S都是P】 等价于 【 如果一个事物是S,那么这个事物是P】
所以,说 全称命题 有 逆否命题,虽然不严谨,应该也不算错:【所有不是P的都不是S】
只不过,这时候的【否】就不是对命题的否定了,而是对集合的否定,也就是【补集】
只不过因为,从含义上来说
【所有S都是P】 等价于 【 如果一个事物是S,那么这个事物是P】
所以,说 全称命题 有 逆否命题,虽然不严谨,应该也不算错:【所有不是P的都不是S】
只不过,这时候的【否】就不是对命题的否定了,而是对集合的否定,也就是【补集】