否命题

维基百科,自由的百科全书
跳到导航 跳到搜索

在逻辑学中,否命题是通过对一个命题直接推理得出的条件句。如果一个命题的条件和结论分别是另一个命题的条件和结论的否定,那么称这两个命题互为否命题。的否命题是