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