日韩性视频-久久久蜜桃-www中文字幕-在线中文字幕av-亚洲欧美一区二区三区四区-撸久久-香蕉视频一区-久久无码精品丰满人妻-国产高潮av-激情福利社-日韩av网址大全-国产精品久久999-日本五十路在线-性欧美在线-久久99精品波多结衣一区-男女午夜免费视频-黑人极品ⅴideos精品欧美棵-人人妻人人澡人人爽精品欧美一区-日韩一区在线看-欧美a级在线免费观看

歡迎訪問 生活随笔!

生活随笔

當(dāng)前位置: 首頁 > 编程资源 > 编程问答 >内容正文

编程问答

离散数学 第二章 谓词逻辑 2-1 谓词的概念与表示

發(fā)布時(shí)間:2025/5/22 编程问答 26 豆豆
生活随笔 收集整理的這篇文章主要介紹了 离散数学 第二章 谓词逻辑 2-1 谓词的概念与表示 小編覺得挺不錯(cuò)的,現(xiàn)在分享給大家,幫大家做個(gè)參考.

命題是反映判斷的句子,不反映判斷的句子不是命題。一般地說,反映判斷的句子是由主語
和謂語兩部分組成。例如,電子計(jì)算機(jī)是科學(xué)技術(shù)的工具。其中“電子計(jì)算機(jī)”是主語,“
是科學(xué)技術(shù)的工具”是謂語。主語一般是客體,客體可以獨(dú)立存在,它可以是具體的,也可
以是抽象的。例如:小王、老師、3、4、**代表團(tuán)、唯物主義等。用以刻劃客體的性質(zhì)或關(guān)
系的即是謂詞。例如:張三是個(gè)大學(xué)生,李四是個(gè)大學(xué)生,這兩個(gè)命題可能用不同的符號p、
q表示,但是p和q的謂語有同樣的屬性:“是個(gè)大學(xué)生”。因此引入一個(gè)符號表示“是個(gè)大學(xué)
生”,再引入一種方法表示客體的名稱,這樣就能把“**是個(gè)大學(xué)生”這個(gè)命題的本質(zhì)屬性
刻劃出來。又例如:(a)他是三好學(xué)生。
(b) 7是質(zhì)數(shù)。
(c) 每天早晨做廣播操是好習(xí)慣。
(d) 5大于3。
(e) 哥白尼指出地球繞著太陽轉(zhuǎn)。

在上述語句中“是三好學(xué)生”、“是質(zhì)數(shù)”、“是好習(xí)慣”、“大于”、“指出”都是謂詞。
前三個(gè)是指明客體性質(zhì)的謂詞,后兩個(gè)是指明兩個(gè)客體之間關(guān)系的謂詞。

我們將用大寫字母表示謂詞,用小寫字母表示客體名稱,例如a表示“是個(gè)大學(xué)生”,
c表示張三,e表示李四,則a(c),a(e)分別表示“張三是個(gè)大學(xué)生”,“李四是個(gè)大學(xué)生”。

用謂詞表達(dá)命題,必須包括客體和謂詞字母兩個(gè)部分,一般地說,“b是a”類型的命題可用a(b)
表達(dá)。對于“a是小于b”這種兩個(gè)客體之間關(guān)系的命題,可表達(dá)為b(a,b),這里b表示“是小
于”。又如命題“點(diǎn)a在b與c之中”可以表示為l:…在…和…之中,故可記為l(a,b,c)。

我們把a(bǔ)(b)稱作一元謂詞,b(a,b)稱作二元謂詞,l(a,b,c)稱作三元謂詞,依次類推。

注意,代表客體名稱的字母,它在多元謂詞表示式中出現(xiàn)的次序與事先約定有關(guān),因此未經(jīng)約定
前,上例記作l(a,b,c)或l(b,c,a)等都可以,但一經(jīng)約定,l(a,b,c)與l(b,c,a)
就代表兩個(gè)不同的命題。

單獨(dú)一個(gè)謂詞不是完整的命題,我們把謂詞字母后填以客體所得的式子稱為謂詞填式,這樣謂詞

和謂詞填式應(yīng)該是兩個(gè)不同的概念。

一般地說,n元謂詞需要n個(gè)客體名稱插入到固定的位置上,如果a為n元謂詞,a1,a2,…,an是
客體的名稱,則a(a1,a2,…,an)就可成為一個(gè)命題。

通常,一元謂詞表達(dá)了客體的“性質(zhì)”,而多元謂詞表達(dá)了客體之間的“關(guān)系”。

總結(jié)

以上是生活随笔為你收集整理的离散数学 第二章 谓词逻辑 2-1 谓词的概念与表示的全部內(nèi)容,希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯(cuò),歡迎將生活随笔推薦給好友。