有存在,任意這類詞語的命題,記得好像是叫做特稱命題吧。
記得關於特稱命題,有特別的規定,在做這類命題的否定的時候,必須將存在改為任意;任意改為存在。
這是很明確說明了的。
原因是命題的否定,是命題的對立面,兩個命題截然相反,永遠一真一假;不可能同時為真,也不可能同時為假。這才是命題的否定的實質。
而在歸納命題的否定的過程中,人們發現,普通的命題,只否定結論,不否定條件,就可以達到這個目的。所以普通的命題就有否定是隻否定結論,不否定條件的規律。
但是對於有存在,任意這類詞語的命題,人們也發現只否定結論,不改變條件,新命題和原命題並不是截然相反的兩個命題。兩個命題並非永遠一真一假,有可能同時為真,也有可能同時為假。所以對於此類命題,不能簡單的照搬普通命題的規律,而是必須把條件中的存在改為任意;任意改為存在。這樣形成的新命題,才是原命題的對立面,兩個命題截然相反,永遠一真一假;不可能同時為真,也不可能同時為假。
以此題為例,A命題和原命題是有可能同時為真的,也就是R中,即有一些x,使得函式式<0成立,也有一些x使得函式式≥0成立,這是有可能的。所以不滿足命題否定的實質。
而C命題和原命題,就是截然相反,永遠一真一假;不可能同時為真,也不可能同時為假的了。
有存在,任意這類詞語的命題,記得好像是叫做特稱命題吧。
記得關於特稱命題,有特別的規定,在做這類命題的否定的時候,必須將存在改為任意;任意改為存在。
這是很明確說明了的。
原因是命題的否定,是命題的對立面,兩個命題截然相反,永遠一真一假;不可能同時為真,也不可能同時為假。這才是命題的否定的實質。
而在歸納命題的否定的過程中,人們發現,普通的命題,只否定結論,不否定條件,就可以達到這個目的。所以普通的命題就有否定是隻否定結論,不否定條件的規律。
但是對於有存在,任意這類詞語的命題,人們也發現只否定結論,不改變條件,新命題和原命題並不是截然相反的兩個命題。兩個命題並非永遠一真一假,有可能同時為真,也有可能同時為假。所以對於此類命題,不能簡單的照搬普通命題的規律,而是必須把條件中的存在改為任意;任意改為存在。這樣形成的新命題,才是原命題的對立面,兩個命題截然相反,永遠一真一假;不可能同時為真,也不可能同時為假。
以此題為例,A命題和原命題是有可能同時為真的,也就是R中,即有一些x,使得函式式<0成立,也有一些x使得函式式≥0成立,這是有可能的。所以不滿足命題否定的實質。
而C命題和原命題,就是截然相反,永遠一真一假;不可能同時為真,也不可能同時為假的了。