充分条件假言命题的负命题【英】

negative hypothetical proposition of sufficient conditions

定义

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

定义来源

金炳华，冯契.哲学大辞典[Z].上海辞书出版社，2001.