离散数学课件.pptxVIP

謂詞邏輯;;表示具體或特定個體的識別字稱作個體常元，一般用小寫英文字母a、b、c、…或這些英文字母帶下標表示。例如：李玲、張華、李紅、小高、小王、小劉可如下表示：

a：李玲

b：張華

c：李紅

d：小高

e：小王

f：小劉

a,b,c,d,e,f都是個體常元。

將表示任意個體或泛指某類個體的識別字稱為個體變元，常表示為x、y、z、…等或這些英文字母帶下標。

個體變元的變化範圍稱為個體域或論域。個體域可以是有窮集合，也可以是無窮集合，包含任意個體域的個體域稱為全總個體域，它是由宇宙間一切對象組成的集合。在本書中，如無特別說明，所採用的都是全總個體??。

;;把與一個個體相關聯的謂詞叫做一元謂詞。F是一元謂詞；把與兩個個體相關聯的謂詞叫做二元謂詞。G是二元謂詞；把與三個個體相關聯的謂詞叫做三元謂詞。H是三元謂詞；…。一般的，把與n個個體相關聯的謂詞叫做n元謂詞。

設F是一元謂詞，a是個體常元，用F(a)表示個體常元a具有性質F；設G是二元謂詞，a,b是個體常元，用G(a,b)表示個體常元a和b具有關係G；…

於是上面三個命題就表示為：

F(a)：李玲是優秀共產黨員。

G(b,c)：張華比李紅高。

H(d,e,f)：小高坐在小王和小劉的中間。

將謂詞後面填上相關聯的個體常元所得的式子叫做謂詞填式。F(a)，G(b,c)，H(d,e,f)都是謂詞填式。謂詞填式表示的是命題。;;0元命題函數。F(a)，G(b,c)，H(d,e,f)都是0元命題函數，它們都是命題。於是命題邏輯中的命題均可以表示為謂詞邏輯中的0元命題函數(謂詞填式)，命題成為命題函數的特例。

【例2.1】將下列命題符號化，並討論它們的真值。

⑴2與3都是偶數。

⑵如果5大於3，則2大於6。

解：⑴設F(x)：x是偶數。

a：2，b：3

該命題符號化為：F(a)∧F(b)

F(b)表示3是偶數，它是個假命題。所以F(a)∧F(b)為假。

⑵設G(x,y)：x大於y

a：5，b：3，c：2，d：6

該命題符號化為：G(a,b)→G(c,d)

G(a,b)表示5大於3，它是真命題。G(c,d)表示2大於6，這是個假命題。所以G(a,b)→G(c,d)為假。;2.1.3量詞

量詞分兩種。

⑴全稱量詞

日常生活和數學中常用的“一切的”，“所有的”，“每一個”，“任意的”，“凡”，“都”等詞統稱為全稱量詞，將它們符號化為“?”。並用(?x)，(?y)等表示個體域裏的所有個體，而用(?x)F(x)和(?y)G(y)等分別表示個體域中的所有個體都有性質F和都有性質G。

⑵存在量詞

“存在”，“有一個”，“有些”，“至少有一個”等詞統稱為存在量詞，將它們符號化為“?”。並用(?x)，(?y)等表示個體域裏有些個體，而用(?x)F(x)和(?y)G(y)等分別表示在個體域中存在個體具有性質F和存在個體具有性質G。

全稱量詞與存在量詞統稱為量詞。;;【例2.3】對下列命題符號化，並在①，②，③三個個體域中考察命題的真值。

命題：⑴所有數小於5。

⑵至少有一個數小於5。

個體域：

①?-1，0，1，2，4?

②?3，-2，7，8?

③?15，20，24?

解：設L(x)：x小於5。

⑴“所有數小於5。”符號化為：(?x)L(x)

在個體域①，②，③中，它們的真值分別為：真，假，假。

⑵“至少有一個數小