相容选言命题的负命题 negation of inclusive disjunctive proposition 即相容选言命题的否定命题。对一个相容选言命题的否定。如一个相容选言命题为:“小张是一个学生,或者是一个运动员”,其负命题则为:“并非‘小张是一个学生,或者是一个运动员’。”与这一相容选言命题的负命题等值的命题则为:“小张既不是一个学生,也不是一个运动员。”如果用传统逻辑的公式来表示,被否定的相容选言命题为:“p或者q”;其负命题则为:“并非(p或者q)”;与这一负命题等值的命题为:“非p而且非q。”如果把一个相容的选言命题表述为一个析取式:“p∨q”,那么,其负命题就是数理逻辑中一个析取式的否定:(p∨q)。参见“析取式的否定”。 |