充分必要条件假言命题的负命题 negation of sufficient and necessary hypothotical proposition 即充分必要条件假言命题的否定命题。对一个充分必要条件假言命题的否定。如一个充分必要条件假言命题为:“只有而且只要今天开会,他就不去图书馆”,其负命题则为:“并非‘只有而且只要今天开会,他就不去图书馆’。”与这一负命题等值的命题则为:“今天开会,但他去了图书馆”或者“今天没有开会,但他也不去图书馆”。如用传统逻辑的公式来表示,被否定的充分必要条件假言命题为“当且仅当p,才q”,其负命题为:“并非当且仅当p,才q”;而与这一负命题等值的命题为:“p而且非q”或者“非p而且q。”如把一个充分必要条件的假言命题表述为一个等值式“p↔q”,那么,其负命题就是数理逻辑中的等值式的否定:“(p↔q)”,并等值于“p∧q”或“p∧q”。 |