| 充分条件假言命题的负命题 negation of sufficient condition hypothotical proposition 即充分条件假言命题的否定命题。对一个充分条件假言命题的否定。如一个充分条件假言命题为：“如果今天开会，他就不去图书馆”，其负命题则为：“并非‘如果今天开会，他就不去图书馆’。”与这一充分条件假言命题的负命题等值的命题则为：“今天开会，但他仍去图书馆。”如果用传统逻辑的公式来表示，被否定的充分条件假言命题为：“如果p，那么q”，其负命题则为：“并非如果p，那么q。”与这一负命题等值的命题为：“p而且非q。”如果把一个充分条件假言命题表述为一个蕴涵式：“p→q”，那么，其负命题就是数理逻辑中一个蕴涵式的否定式：“(p→q)”，并等值于“p∧q”。 |