【模态命题的负命题及其等值命题】

　　在模态命题前加上“不”或“并非”就得到原模态命题的负命题，它们的等值命题如下：

　　(1)不可能 P 等值于必然非 P;

　　(2)不可能非 P 等值于必然 P;

　　(3)不必然 P 等值于可能不来;

　　(4)不必然非 P 等值于可能 P。

　　模态命题负命题等价命题转化方式为：去掉负命题联结词“并非”或“不”后，

　　“可能变成必然，必然变成可能”。