淺談命題的幾種形式

吳廷志

命題是判斷一個(gè)事實(shí)的句子，如“人是會(huì)呼吸的”。一個(gè)命題由題設(shè)和結(jié)論兩部分組成的。像上例中的題設(shè)是“人”，結(jié)論就是“會(huì)呼吸的”。對(duì)于命題有真命題和假命題兩種。

在數(shù)學(xué)中命題的一般形式為“若…則…”，簡(jiǎn)記為“若A，則B”或用符號(hào)表示為“A”，A就是表達(dá)命題的條件，B表達(dá)命題的結(jié)論。而在幾何中最常用的形式為“已知…求證…”。

在兩個(gè)命題中，如果第一個(gè)命題的題設(shè)是第二個(gè)命題的結(jié)論，而第一個(gè)命題的結(jié)論又是第二個(gè)命題的題設(shè)，這兩個(gè)命題叫做互逆命題。如果其中的一個(gè)為原命題，則另一個(gè)叫做它的逆命題。如“人是會(huì)呼吸的”的逆命題就是“會(huì)呼吸的是人”。對(duì)于原命題的真的話，它的逆命題是不是也一定是真的呢？這是不一定的。如“人是會(huì)呼吸的”是真命題，但是“會(huì)呼吸的是人”卻是個(gè)假命題，因?yàn)闀?huì)呼吸的不一定就是人（動(dòng)植物也會(huì)呼吸）。

在數(shù)學(xué)中如是一個(gè)定理的逆命題經(jīng)過(guò)證明是真命題，那么它也是一個(gè)定理。這兩個(gè)定理叫做互逆命題，其中一個(gè)叫做另一個(gè)的逆定理。如勾股定理和它的逆定理。但是也不是所有定理都有逆定理，如定理“兩個(gè)三角形全等，則它們的三對(duì)對(duì)應(yīng)角相等”，這個(gè)定理的逆命題是“三對(duì)對(duì)應(yīng)角相等的兩個(gè)三角形是全等三角形”，顯然，此逆命題并不成立。

如果把一個(gè)命題中的題設(shè)和結(jié)論都予以否定，又可以構(gòu)造出一個(gè)新命題，這個(gè)命題叫做原命題的否命題。對(duì)于一個(gè)真命題的否命題也不一定是真的。如“人是會(huì)呼吸的”的否命題為“不是人是不會(huì)呼吸的”。這命題顯然是錯(cuò)誤的。如“若兩條直線平行則內(nèi)錯(cuò)角相等”的否命題是“若兩條直線不平行則內(nèi)錯(cuò)角不相等”，是對(duì)的；而“對(duì)頂角相等”的否命題“不是對(duì)頂角不相等”都是錯(cuò)誤的。

把原命題中的結(jié)論加以否定作為題設(shè)，而把原命題中的題設(shè)加以否定作為結(jié)論時(shí)，還可以構(gòu)造一個(gè)新命題，叫做原問(wèn)題的逆否命題，邏輯學(xué)告訴我們：原命題與它的逆否命題是同真同假的，所以使用一個(gè)定理的逆否定理時(shí)是不需要重新證明的。如“人是會(huì)呼吸的”的逆否命題是：“不會(huì)呼吸的就不是人”，這是對(duì)的。再如幾何中原命題：“等腰三角形兩底角相等”（真），它的逆否命題是“如果一個(gè)三角形的兩底角不相等，那么它不是等腰三角形”（真）。

所以由一個(gè)命題可以變出四種形式的命題：原命題，逆命題，否命題，逆否命題。其中原命題與逆否命題同真或同假，逆命題與否命題同真或同假。

充分條件、必要條件及充要條件都是重要的數(shù)學(xué)概念.它提示了命題的條件和結(jié)論的依從關(guān)系，由于這三個(gè)條件所涉及的抽象思維要求較高.而單純按照定義講授又很難使學(xué)生透徹理解各自的本質(zhì)屬性和內(nèi)在聯(lián)系.學(xué)生往往對(duì)條件的“充分而不必要”及“必要而不充分”難以判別，對(duì)“必要條件”不易接受，而充要條件在數(shù)學(xué)各分支學(xué)科中有著廣泛的應(yīng)用.因此下面著重談?wù)劤浞直匾獥l件與命題的關(guān)系.這樣做，符合從特殊到一般、從現(xiàn)象到本質(zhì)、從具體到抽象的認(rèn)識(shí)論的原則.我們知道，判斷的語(yǔ)言形式稱為命題，也就是說(shuō)，命題是陳述事理的語(yǔ)言.它的結(jié)構(gòu)通常分為兩分部分：一部分是條件，另一部分是結(jié)論.

在日常生活中經(jīng)常會(huì)碰到猜東西的情況，那么肯定是在一定條件下進(jìn)行的，如果要想猜得對(duì)，那么所給出的條件既是足夠的（充分的），又是缺一不可的（必要的）。對(duì)于一個(gè)事實(shí)成立或不成立總是有一定條件的，如“若兩個(gè)三角形全等，則兩個(gè)三角形的對(duì)應(yīng)角相等”，此命題中的條件就足以保證了結(jié)論的實(shí)現(xiàn)。因此，若當(dāng)條件A具備時(shí)某事件B必然成立，則稱條件A為條件B的充分條件，即“若A則B”是正確的，A為B的充分條件。如上例中“三角形全等”是“三角形對(duì)應(yīng)角相等”的充分條件。對(duì)于一個(gè)事實(shí)其充分條件不一定是唯一的，如“摩擦生熱”，這里摩擦是生熱的充分條件，但是這條件卻不是唯一的充分條件，因?yàn)槿紵部梢陨鸁帷?/p>

還記得命題的否命題嗎？一般來(lái)說(shuō)，“若不A則不B”這個(gè)命題成立時(shí)，則把A叫做B的必要條件。比如“一組對(duì)應(yīng)角相等”是“兩個(gè)三角形全等”的必要條件，這是因?yàn)樵趦蓚€(gè)三角形中，若有一組對(duì)應(yīng)角不相等，則兩個(gè)三角形必然不是全等三角形。對(duì)于必要條件不一定能夠保證結(jié)論的成立，但又不允許去掉，否則就必然導(dǎo)致結(jié)論不能成立，而且必要條件不可以用其他條件來(lái)代替。

在幾何學(xué)中用得最多的是充分必要條件，簡(jiǎn)稱充要條件。如在“若一個(gè)三角形頂角平分線是底邊上的中線，則這個(gè)三角形是等腰三角形”中，“頂角平分線與底邊中線重合”是“等腰三角形”的充分條件，也是必要條件，所以是充分必要條件。要證明一個(gè)命題的條件是充要條件，就需要證明原命題和逆命題都是真的。

參考文獻(xiàn)：

[1]王國(guó)俊著.數(shù)理邏輯引論與歸結(jié)原理[M].科學(xué)出版社，2006

[2]王國(guó)俊著.非經(jīng)典數(shù)理邏輯與近似推理[M].科學(xué)出版社，2000

[3]高香妮.命題邏輯系統(tǒng)中理論的真度概念及其應(yīng)用[D].陜西師范大學(xué) 2010

[4]鄧鵬.命題邏輯中子句集的分類(lèi)研究[D].西南交通大學(xué) 2015

[5]高香妮.命題邏輯系統(tǒng)中理論的真度概念及其應(yīng)用[D].陜西師范大學(xué) 2010

[6]R.Cignoli，I.M.L.DOttaviano，D.Mundici.Algebraic Foundations of Many-Valued Reasoning..2000

[7]Pavelka J.On fuzzy logic（Ⅰ）.Z.fur Mathematik Logic u Grundlagen d Mathematic.1979

[8]Pavelka J.On fuzzy logic（Ⅰ）.Z.fur Mathematik Logic u Grundlagen d Mathematic.1979

[9]Pavelka J.On Fuzzy Logic I，II，III.Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik.1979.