胡靜

高一“簡(jiǎn)易邏輯”中涉及到“四種命題”，就這個(gè)問題，教材直接是從“若p則q”的命題形式來說明的，這里存在著一個(gè)問題，就是所有的命題都能寫成“若p則q”的形式嗎？對(duì)于大多數(shù)學(xué)生來說，可能沒有思考過這個(gè)問題.其實(shí)并不是所有的命題都能寫成“若p則q”的形式，而我們研究四種命題都是在“若p則q”的形式下研究的，所以一個(gè)命題是否存在其他三種命題是有前提的.

比如像“ ”這樣的真命題，它有逆命題嗎？顯然這是一個(gè)只有結(jié)論沒有條件的命題，當(dāng)然就沒有逆命題了.我們?cè)賮砜催@樣一個(gè)語(yǔ)句：面積相等的三角形不一定是全等的三角形.這個(gè)語(yǔ)句里面有一個(gè)詞是“不一定”，那么它是命題嗎？ 這個(gè)語(yǔ)句顯然是對(duì)的，那么它就是可以判斷真假的語(yǔ)句，那么它顯然是命題了，那么它的逆命題又是什么呢？我們講四種命題的時(shí)候是這樣說的：

原命題：若p則q.

逆命題：若q則p.

那么“面積相等的三角形不一定是全等的三角形”能寫成“若p則q”的形式嗎？有些同學(xué)可能把它改成了“若兩個(gè)三角形面積相等，則這兩個(gè)三角形不一定是全等的三角形”，如果這樣改寫，問題又來了，既然肯定了兩個(gè)三角形面積相等，那么它們要么就全等，要么就不全等，說“不一定”不就等于沒有判斷嗎？而在原問題中卻不會(huì)有這種感覺，為什么呢？其實(shí)改寫的形式與原問題是不等價(jià)的，原問題并沒有指定是兩個(gè)三角形，而是指的所有面積相等的三角形，而結(jié)論的意思只是取了其中兩個(gè)三角形來進(jìn)行判斷，這顯然條件是不確定的，所以才產(chǎn)生了“不一定”，事實(shí)上這個(gè)命題是不能改寫成“若p則q” 的形式的，因?yàn)檫@是一個(gè)存在性問題，它等價(jià)于“存在面積相等且不全等的兩個(gè)三角形”，這是一個(gè)怎樣的命題呢？顯然它又是一個(gè)只有結(jié)論沒有條件的命題，所以它仍然沒有逆命題.