逆否转换

定义

经典命题逻辑中，把若p则q变为若非q则非p。

深入理解

Kontraposition在经典命题逻辑中把材料条件p → q变成¬q → ¬p，同时否定两项并调换顺序，两条件式真值等价。它不是只反过来写q → p，也不是从一个已见效果反推唯一原因。具体自然语言条件，尤其反事实条件，不可未经说明全套用材料条件。

若一个对象是正方形则有四边，逆否为没有四边则非正方形。四边则一定正方形是假逆命题，矩形就是反例。Modus tollens另把¬q作为一个前提，从条件式和该前提推出¬p；逆否转换本身是在条件式之间变形，不声称已观察到¬q。例子的对象范围和四边含义也须一致。

思考如何推进

1. 写明p与q及对象范围
2. 将两项分别否定
3. 交换它们的先后位置
4. 以真值表检材料条件等价
5. 排除逆命题及未授权的因果读法

例子

若是正方形则有四边；若不具四边则非正方形，是相应逆否形式。

反例与界限

若有四边则正方形交换了方向，不是逆否。

与相近概念的区别

与Converse、Modus tollens和因果推断比较；变换条件式不同于额外断言后件不成立。

研究与应用

形式逻辑用四种赋值核等价，语用分析另查自然语言是否容同样转写，不能用符号遮掉模态差异。

作用与限制

可提供清楚反检，也可因把逆命题误认逆否而产生貌似严密的错误。

共鸣

从后件被排除的方向回看前件，走的不是普通倒放。

为什么收录这个概念

在明示经典框架内提供精确条件转换，不把它无限搬到一切如果句。

从中文阅读出发

中文若非q则非p可清楚保结构；标出材料条件范围，不以自然译句顺畅代替形式适用性。

历史背景与来源范围

没有独立历史字段；本轮另核四赋值与四边形反例，不声称已考证逆否名称首见。

实践、术语命名与中文译名的历史须分别核对。本稿不由一个相似例子推出中文术语的首例。

来源与查阅范围

下列记录保留原资料的书目名称。所列页码不表示本轮重新阅读全文或独立核验其中全部引文。

• Magnus, Button, Trueman, Zach · forall x: Calgary · Connectives
• Stanford Encyclopedia of Philosophy · Indicative Conditionals

德文原条目与来源 → · 英文原条目与来源 →

引用本条

Reich, Michael（编）：逆否转换，AT-NAV-G01-025。语言图谱，Release 17.1.0，中文完整条目稿 0.57.0。引用时请注明访问日期及译稿审校状态。