否定形式和原命題是對(duì)立的
而否命題真假和原命題沒直接關(guān)系
命題的否定就是把謂詞取否定（存在和任意互換）,然后把結(jié)論取否定
比如例1的否定是存在一個(gè)不是實(shí)數(shù)的解（這里的存在不是謂詞）
例2是任意的x 方程不成立
限定詞應(yīng)該就是謂詞吧,就是存在 任意兩種,互相對(duì)立的.
--------------------------------
簡單來說,命題的否定是只否定結(jié)論,而否命題是假設(shè)和結(jié)論都否定.
-------------------------------
打個(gè)簡單的比方如命題：我今天吃壞東西了,我拉肚子
這個(gè)命題否定就是：我今天吃壞東西了,我不拉肚子
這個(gè)命題的否命題就是：我今天沒吃壞東西,我不拉肚子