邏輯連接詞用法難點(diǎn)解析

熊瑜

【摘要】本文通過作者多年教授離散數(shù)學(xué)課程中數(shù)理邏輯部分的教學(xué)經(jīng)驗，總結(jié)命題符號化過程中邏輯連接詞用法的要點(diǎn)和難點(diǎn)，從而幫助學(xué)生更快速準(zhǔn)確地學(xué)會命題符號化，為進(jìn)一步學(xué)習(xí)邏輯推理打好基礎(chǔ).

【關(guān)鍵詞】命題邏輯；命題公式；邏輯連接詞

一、引言

命題邏輯本質(zhì)上就是命題運(yùn)算，它把命題作為運(yùn)算對象，邏輯連接詞看作運(yùn)算符號，是一個簡單命題組成復(fù)合命題的過程.這里的邏輯連接詞反映的是各個原子命題之間在自然語義當(dāng)中的邏輯關(guān)系，使用準(zhǔn)確才能夠真實(shí)有效地把自然語句符號化為命題公式，從而進(jìn)行邏輯推理.本文中我們將對“析取詞”和“蘊(yùn)含詞”這兩類使用易錯的邏輯連接詞在命題符號化過程中使用的要點(diǎn)和難點(diǎn)進(jìn)行解析.

二、邏輯連接詞使用的要點(diǎn)和難點(diǎn)

在符號化一個自然語句成為命題公式的過程中，五種常用的邏輯連接詞是：否定詞、合取詞、析取詞、蘊(yùn)含詞和等值詞，符號為“

瘙 綈 ，∧，∨，→，”.其中最易出錯的是析取詞和蘊(yùn)含詞的使用，以下我們來分別解析.

在自然語句里面“或”這個詞的自然語義是具有二義性的，有時是“同或”，有時是“異或”，那么在符號化帶有“或”語義的自然語句時，我們首先要分清楚是“同或”還是“異或”，反映在符號化的結(jié)果中會有很大的差異.我們首先要注意的是析取詞反映的是“同或”的自然語義.比如，自然語句“周末我們?nèi)ノ骱蛘呷レ`隱寺”，這句話我們分解出原子命題兩個：p：周末我們?nèi)ノ骱籷：周末我們?nèi)レ`隱寺.符號化后的命題公式是“p∨q”，在這里我們周末去西湖還是靈隱寺是同或的意思，去其中一處還是兩處都去，都是可以的，那么析取詞就用得很恰當(dāng)了.

以下我們來舉一個“異或”的例子，自然語句“G8次列車6點(diǎn)出發(fā)或9點(diǎn)出發(fā)”，這是一個典型的異或的語義，因為G8次列車不可能6點(diǎn)和9點(diǎn)兩個時間都出發(fā)，6點(diǎn)與9點(diǎn)只能夠選擇一個時間.我們分解出原子命題：p：G8次列車6點(diǎn)出發(fā)；q：G8次列車9點(diǎn)出發(fā).符號化后的命題公式是“（p∧

瘙 綈 q）∨（

瘙 綈 p∧q）”，“異或”的語義在這個符號化后的命題公式中非常清楚地表現(xiàn)出來了.

接下來給大家解析一下蘊(yùn)含詞的使用要點(diǎn).蘊(yùn)含式“p→q”中蘊(yùn)含前件p是后件q的充分條件，反之q是p的必要條件.自然語句中表示蘊(yùn)含關(guān)系的詞語非常多，我們在符號化一個帶有蘊(yùn)含邏輯關(guān)系的自然語句時，區(qū)分哪個是必要條件、哪個是充分條件通常是一個難點(diǎn).比如，自然語句“除非你有駕照，否則你不能夠開車”，我們分解出原子命題：p：你有駕照；q：你可以開車.符號化后的命題公式是“q→p”，這里我們要特別說明一下，不能夠符號化為“p→q”，因為你有駕照只是你能夠開車的必要條件，而不是充分的，比如，你酒后是不能夠開車的，盡管你有駕照.

最后我們舉一個既包含蘊(yùn)含關(guān)系又包含異或關(guān)系的例子，讓大家在符號化自然語句時更加清楚明白.自然語句“你在吉利汽車公司買了一輛新車，你將可以獲得8 000元現(xiàn)金回扣或者利率為5%的低息貸款”，我們分解出原子命題：p：你可以獲得8 000元現(xiàn)金回扣；q：你可以獲得利率為5%的低息貸款；r：你在吉利汽車公司買了一輛新車.符號化后的命題公式是“r→（p∧

瘙 綈 q）∨（

瘙 綈 p∧q）”，這里你購買新車后兩種福利不能夠同時獲得，只能夠二選一，是“異或”的含義.

三、小結(jié)

有了第二點(diǎn)中關(guān)于析取詞和蘊(yùn)含詞這兩類邏輯連接詞使用難點(diǎn)的解析，學(xué)生在學(xué)習(xí)命題符號化時就可以快速準(zhǔn)確地符號化復(fù)雜的自然語句，進(jìn)一步研究自然語句之間的形式結(jié)構(gòu)和邏輯關(guān)系、推理規(guī)則和推理形式.真正地實(shí)現(xiàn)數(shù)理邏輯的先驅(qū)萊布尼茲曾經(jīng)的理想，創(chuàng)造出了一種“通用的語言”，把邏輯推理過程像數(shù)學(xué)一樣利用公式來進(jìn)行演算，最終得到合理正確的結(jié)論.

【參考文獻(xiàn)】

[1]Kenneth H Rosen.離散數(shù)學(xué)及其應(yīng)用（英文版第七版）[M].北京：機(jī)械工業(yè)出版社，2012.

[2]方景龍，周麗.應(yīng)用離散數(shù)學(xué)（第二版）[M].北京：人民郵電出版社，2014.

[3]韋蘭英.離散數(shù)學(xué)課程教學(xué)研究與實(shí)踐[J].廣西民族師范學(xué)院學(xué)報，2010（03）：121-123.

[4]張千里.對離散數(shù)學(xué)課程教學(xué)的幾點(diǎn)思考[J].中國科技信息，2008（15）：184，189.

[5]李君麗，祝智庭.基于新課改的發(fā)展性教學(xué)評價設(shè)計探討[J].電化教育研究，2007（04）：66-68，72.