否命题 编辑
在逻辑中，否命题是通过对一个命题的直接推理得出的条件句。如果一个命题的条件和结论分别是另一个命题的条件和结论的否定，那么称这两个命题互为否命题。
3
图片 0 图片
评论 0 评论
匿名用户 · [[ show_time(comment.timestamp) ]]
[[ nltobr(comment.content) ]]
相关
逆否命题是逻辑和数学的一种结构变换推理，一般用于在逻辑等价的前提下改变条件命题的结构。逆否命题也用于对位证明法。逆否定将前件与后件否命题和逆命题。