第三章謂詞演算基礎(chǔ)

《第三章謂詞演算基礎(chǔ)》由會(huì)員分享，可在線閱讀，更多相關(guān)《第三章謂詞演算基礎(chǔ)（23頁珍藏版）》請(qǐng)?jiān)谘b配圖網(wǎng)上搜索。

1、第三章 謂詞演算基礎(chǔ)3.1 謂詞與個(gè)體謂詞與個(gè)體3.2 函數(shù)與量詞函數(shù)與量詞 3.2.1 函數(shù)項(xiàng)函數(shù)項(xiàng) 3.2.2 量詞量詞3.3 自由變?cè)图s束變?cè)杂勺冊(cè)图s束變?cè)?3.4 永真性和可滿足性永真性和可滿足性3.5 唯一性量詞與摹狀詞唯一性量詞與摹狀詞 項(xiàng)的概念項(xiàng)的概念例例 考察謂詞考察謂詞 WRITE(x,y)表示表示x 寫了寫了y uWRITE(Shakespeare，Hamlet)uWRITE(Shakespeare，y)uWRITE(son(Shakespeare)，Hamlet) 莎士比亞的兒子寫了哈姆雷特莎士比亞的兒子寫了哈姆雷特變量符號(hào)函數(shù)！實(shí)體函數(shù)項(xiàng)函數(shù)項(xiàng)約定用約定用f，g，

2、h等表示抽象的函數(shù)項(xiàng)。等表示抽象的函數(shù)項(xiàng)。以個(gè)體為定義域、以個(gè)體為值域的函數(shù)以個(gè)體為定義域、以個(gè)體為值域的函數(shù)包括實(shí)體、變量符號(hào)和函數(shù)符號(hào)包括實(shí)體、變量符號(hào)和函數(shù)符號(hào)項(xiàng)項(xiàng)例例 Johns mother is married to his father解：解： 記記 M(e1，e2) 表示表示e1 is married to e2； f(e) 表示表示e的的father； m(e) 表示表示e的的mother。 則原話可以翻譯為：則原話可以翻譯為：M(m(John)，f(John) 3.2.2 量詞量詞l 計(jì)算機(jī)學(xué)院學(xué)生都是江蘇人。計(jì)算機(jī)學(xué)院學(xué)生都是江蘇人。l 計(jì)算機(jī)學(xué)院學(xué)生有江蘇人。計(jì)算機(jī)學(xué)院

3、學(xué)生有江蘇人。l 計(jì)算機(jī)學(xué)院教師都有學(xué)士學(xué)位。計(jì)算機(jī)學(xué)院教師都有學(xué)士學(xué)位。l 計(jì)算機(jī)學(xué)院有些教師沒有學(xué)士學(xué)位。計(jì)算機(jī)學(xué)院有些教師沒有學(xué)士學(xué)位。 所有人所有人 有一些有一些 計(jì)算機(jī)系人（包括教師與學(xué)生）計(jì)算機(jī)系人（包括教師與學(xué)生）全總個(gè)體域、全總個(gè)體域、量詞量詞(1) 約定變量符號(hào)即個(gè)體變?cè)s定變量符號(hào)即個(gè)體變?cè)獂取值于全總個(gè)體域取值于全總個(gè)體域U；(2) 用謂詞來限定用謂詞來限定x的取值范圍；的取值范圍；(3) 引進(jìn)引進(jìn) 全稱量詞全稱量詞 x “所有的所有的x”、“一切一切x”等概念等概念 存在量詞存在量詞 x “存在一些存在一些x”、“有一些有一些x”等概念等概念(4) 規(guī)定一般情況下規(guī)定一

4、般情況下緊跟在全稱量詞緊跟在全稱量詞 x之后的主聯(lián)結(jié)詞為之后的主聯(lián)結(jié)詞為“”，緊跟在存在量詞緊跟在存在量詞 x之后的主聯(lián)結(jié)詞為之后的主聯(lián)結(jié)詞為“ ”。例例 計(jì)算機(jī)學(xué)院的有些老師是青年教師計(jì)算機(jī)學(xué)院的有些老師是青年教師解：解：設(shè)設(shè) C(e)表示表示e為計(jì)算機(jī)學(xué)院的人；為計(jì)算機(jī)學(xué)院的人； T(e)表示表示e為教師為教師; Y(e)表示表示e為青年為青年.則原句譯為：則原句譯為： x(C(x) T(x) Y(x)此例中：此例中：x就取值于全總個(gè)體域就取值于全總個(gè)體域U， 謂詞謂詞C(x)限定限定x取值范圍。取值范圍。例例 個(gè)體域個(gè)體域I為為人類集合人類集合,將下列命題符號(hào)化將下列命題符號(hào)化: (1)

5、 凡人都呼吸。凡人都呼吸。 (2) 有的人用左手寫字。有的人用左手寫字。 解解 (1) (1) 令令F(x):xF(x):x呼吸呼吸. . 則可以翻譯為則可以翻譯為 x xF(x)F(x)解解 (2) (2) 令令G(x):xG(x):x用左手寫字用左手寫字. . 則可以翻譯為則可以翻譯為 x xG(x)G(x) 例例 個(gè)體域個(gè)體域I為全總個(gè)體域?yàn)槿倐€(gè)體域,將下列命題符號(hào)化將下列命題符號(hào)化: (1) 凡人都呼吸。凡人都呼吸。 (2) 有的人用左手寫字。有的人用左手寫字。 解解 (1) (1) 令令F(x):xF(x):x呼吸呼吸; ; P(x): x P(x): x為人為人. . 則可以翻譯

6、為則可以翻譯為 x x(P(x)(P(x)F(x)F(x)解解 (2) (2) 令令G(x):xG(x):x用左手寫字用左手寫字; ; P(x): x P(x): x為人為人. . 則可以翻譯為則可以翻譯為 x x(P(x)(P(x) G(x)G(x) x x(P(x)(P(x) F(x)F(x) x x (P(x) (P(x) G(x)G(x) ?例例1 某些人對(duì)某些食物過敏。某些人對(duì)某些食物過敏。解：設(shè)解：設(shè) A(e)表示表示e為人；為人； B(e)表示表示e為食物；為食物； C(e1，e2)表示表示e1對(duì)對(duì)e2過敏。過敏。 則原句譯為：則原句譯為： x(A(x) y(B(y) C(x，y

7、) )例 試把下列語句翻譯為謂詞演算公式 （1）所有蜜蜂均喜歡所有的花粉； (10級(jí)期末，3分） 解解 記記 B(e)表示表示e為蜂蜜；為蜂蜜； P(e)表示表示e為花粉；為花粉； L(e1,e2)表示表示e1喜歡喜歡e2。 原話可以翻譯為：原話可以翻譯為： x (B(x) y(P(y) L(x，y)例 試把下列語句翻譯為謂詞演算公式 （1）并非并非“人不為己，天誅地滅人不為己，天誅地滅”； (06級(jí)期末，3分） 解解(1): 設(shè)設(shè) P(e)表示表示e為人；為人； A(e1，e2)表示表示e1為為e2； B(e1，e2)表示表示e1誅誅e2； C(e1，e2)表示表示e1滅滅e2； a表示天；

8、表示天； b表示地。表示地。 則原句譯為：則原句譯為： x(P(x) A(x，x)(B(a，x) C(b，x)例 試把下列語句翻譯為謂詞演算公式 （2）有些學(xué)生喜歡所有的老師有些學(xué)生喜歡所有的老師 。 (06級(jí)期末，3分） 解解(2): 設(shè)設(shè) S(e)表示表示e為學(xué)生；為學(xué)生；T(e)表示表示e為老師為老師; L(e1，e2)表示表示e1喜歡喜歡e2。 則原句可以譯為則原句可以譯為:x(S(x)y(T(y) L(x,y)例 試把下列語句翻譯為謂詞演算公式(3)凡是對(duì)頂角一定相等。凡是對(duì)頂角一定相等。 (05級(jí)期末，2分） 解解(3): 設(shè)設(shè) A(e1,e2)表示表示e1與與e2為對(duì)頂角；為對(duì)頂

9、角；E(e1，e2)表示表示e1=e2。 則原句可以譯為則原句可以譯為: x y(A(x,y) E(x,y) 或或 x y(A(x,y) (x=y)例例2 金子閃光，但閃光的并非全是金子。金子閃光，但閃光的并非全是金子。解：設(shè)解：設(shè) G(e)表示表示e為金子；為金子； S(e)表示表示e閃光。閃光。 則原句譯為：則原句譯為： x(G(x) S(x) x(S(x) G(x) 或或 x(G(x) S(x) x(S(x) G(x)例例4 并非并非“人不為己，天誅地滅人不為己，天誅地滅”。解：設(shè)解：設(shè)P(e)表示表示e為人；為人； A(e1，e2)表示表示e1為為e2； B(e1，e2)表示表示e1誅

10、誅e2； C(e1，e2)表示表示e1滅滅e2； a表示天；表示天； b表示地；表示地； 則原句譯為：則原句譯為： x( (P(x)A(x,x)(B(a,x) C(b,x) )例5 任何人均會(huì)犯錯(cuò)誤。任何人均會(huì)犯錯(cuò)誤。解：設(shè)解：設(shè) P(e)表示表示e為人；為人； M(e)表示表示e為錯(cuò)誤；為錯(cuò)誤； D(e1，e2)表示表示e1犯犯e2。 則原句譯為：則原句譯為： x( P(x) y(M(y) D(x，y) )例例6 己所不欲勿施于人。己所不欲勿施于人。解：設(shè)解：設(shè) P(e)表示表示e為人；為人； T(e)表示表示e為東西；為東西； W(e1，e2)表示表示e1要要e2； S(e1，e2，e3)

11、表示表示e1施施e2給給e3。 則原句譯為：則原句譯為： x y( (P(x) T(y)W(x,y) z(P(z)S(x,y,z) ) 例例 所有的正數(shù)均可開方。所有的正數(shù)均可開方。解：解：(i) 若個(gè)體域?yàn)槿w正實(shí)數(shù)若個(gè)體域?yàn)槿w正實(shí)數(shù)R+，S(X)：X可以開方，可以開方， 則命題符號(hào)化為：則命題符號(hào)化為： xS(x)(ii) 若個(gè)體域?yàn)槿w實(shí)數(shù)集若個(gè)體域?yàn)槿w實(shí)數(shù)集R，G(x，y)：xy， 則命題符號(hào)化為：則命題符號(hào)化為： x(G(x，0) S(x)(iii) 若若D為全總個(gè)體域?yàn)槿倐€(gè)體域, R(x):x是實(shí)數(shù)，則符號(hào)化為：是實(shí)數(shù)，則符號(hào)化為： x(R(x)G(x，0) S(x) 例例

12、沒有最大的自然數(shù)沒有最大的自然數(shù) 。解：這句話可以理解為解：這句話可以理解為“對(duì)所有對(duì)所有x，若，若x是自然是自然數(shù)，則存在數(shù)，則存在y，y也是自然數(shù)，且也是自然數(shù)，且yx”。 引入引入N(x):x是自然數(shù)，是自然數(shù)，G(x,y):xy, 則符號(hào)化為：則符號(hào)化為： x(N(x)y(N(y) G(y,x) 也可以理解為也可以理解為“下句話是不對(duì)的下句話是不對(duì)的存在一存在一個(gè)個(gè)x，x是自然數(shù)且對(duì)一切自然數(shù)是自然數(shù)且對(duì)一切自然數(shù)y，x均大均大于于y”，符號(hào)化為，符號(hào)化為x(N(x) y(N(y)G(x,y)例例 沒有最大的自然數(shù)沒有最大的自然數(shù) 。解解2： 設(shè)設(shè)B(x):x是最大的，是最大的， N(x):x是自然數(shù)。是自然數(shù)。 則命題可以表示為：則命題可以表示為： x(B(x)N(x)典型錯(cuò)誤 量詞后的主聯(lián)結(jié)詞錯(cuò)誤 將集合名詞簡單化為常個(gè)體. 例如,“人”是集合名詞 謂詞中含有聯(lián)結(jié)詞 引入謂詞來限定常個(gè)體. 例如,“我”是常個(gè)體第三章 謂詞演算基礎(chǔ)3.1 謂詞與個(gè)體謂詞與個(gè)體3.2 函數(shù)與量詞函數(shù)與量詞 3.2.1 函數(shù)項(xiàng)函數(shù)項(xiàng) 3.2.2 量詞量詞3.3 自由變?cè)图s束變?cè)杂勺冊(cè)图s束變?cè)?3.4 永真性和可滿足性永真性和可滿足性3.5 唯一性量詞與摹狀詞唯一性量詞與摹狀詞