一個命題與它的否定形式是完全對立的.兩者之間有且只有一個成立.
數(shù)學中常用到反證法,要證明一個命題,只需要證明它的否定形式不成立就可以了.
怎樣得到一個命題的否定形式?如果你學了數(shù)理邏輯就好理解了,現(xiàn)在只能這樣理
原命題：所有自然數(shù)的平方都是正數(shù)
原命題的標準形式：任意x,（若x是自然數(shù),則x²是正數(shù)）
“任意”是限定詞,“x是自然數(shù)”是條件,“x²是正數(shù)”是結(jié)論.否定一個命題,需要同時否定它的限定詞和結(jié)論.限定詞“任意”和“存在”互為否定.
否定形式：不是（任意x,（若x是自然數(shù),則x²是正數(shù)））＝存在x,（若x是自然數(shù),則x²不是正數(shù)）
換一個說法就是：至少有一個自然數(shù)的平方不是正數(shù)
而一個命題的否命題用得較少.命題是否成立,與它的否命題是否成立,兩者沒有關(guān)系.
得到一個問題的否命題很容易,把限定詞,條件,結(jié)論全部否定就可以了.
原命題：所有自然數(shù)的平方都是正數(shù)
原命題的標準形式：任意x,（若x是自然數(shù),則x²是正數(shù)）
否命題：存在x,（若x不是自然數(shù),則x²不是正數(shù)）
換一個說法就是：存在某個非自然數(shù),其平方不是正數(shù)
（你們老師的敘述是雙重否定,聽起來不是很舒服）
此外,對于逆命題,是否定限定詞,然后交換條件和結(jié)論
題目中的命題的逆命題就是：存在x,（若x²是正數(shù),則x是自然數(shù)）
逆否命題,就是逆命題的否命題,或者否命題的逆命題,就是限定詞不變,否定條件和結(jié)論并交換.
題目中的命題的逆否命題就是：任意x,（若x²不是正數(shù),則x不是自然數(shù)）