不谈论全称命题和特称命题的逆否命题。
逆命题、否命题、逆否命题,都可以看作{定义域为命题、值域为命题}的函数。事实上这三个函数的定义域更小——只有蕴含式!
我翻了下高中数学书(人教版)的俩版本,它们定义逆否命题时,都只对蕴含式(如果……那么……)下定义。但它们本可以说得更清楚,以避免楼主这样的迷思。我以前也这样迷糊过。
版本 1:[1](via [2])
版本 2:[3] 里的选修 1-1 的 p22=pdf27(via [4])
[1~4] 的链接在楼中楼给出以防折叠(艳红去48)。
我顺便也看了下同一本书(版本 2)讲量词的部分。有点儿意思。特别是“∀x∈M”的“∈M”……
楼主是高中生嘛?(褒义)那么你就可以容易地看到纸质书了……你们现在用的教材是这两个版本之一吗?