|
1：傳統(tǒng)邏輯中專名和限定摹狀詞都是單獨(dú)概念，在謂詞邏輯中則被稱為個(gè)體詞。
2：具有較好的柔韌性和寬容度，它可以容納經(jīng)典謂詞邏輯。
3：謂詞邏輯：也叫謂詞演算，它研究簡(jiǎn)單命題的內(nèi)部結(jié)構(gòu)。
4：目前，命題模態(tài)邏輯已成為人工智能以及計(jì)算機(jī)科學(xué)等其他領(lǐng)域的有效工具，但謂詞模態(tài)邏輯卻不是。
5：符號(hào)邏輯往往分為兩個(gè)分支，命題邏輯和謂詞邏輯。
6：有幾種邏輯：命題邏輯的順序，謂詞的一個(gè)或多個(gè)、知識(shí)性、模態(tài)的，暫時(shí)的，模糊等。
7：岳陽(yáng)柏祥方言中的親屬稱謂詞主要有“長(zhǎng)輩”、“平輩”、“晚輩”三大類，經(jīng)考證該方言稱謂詞有些沿用古代親屬稱謂詞。
8：清單2中的RDF三元組用謂詞表達(dá)了author關(guān)系，雖然對(duì)您來(lái)說(shuō)含義可能非常明顯，但是計(jì)算機(jī)理解起來(lái)仍然困難。
9：在謂詞演算的反駁樹中，被證明的合式公式。
10：這種情況下的斷言似乎就需要實(shí)現(xiàn)特定的語(yǔ)言擴(kuò)展，于是一些人建議引入一階謂詞演算。
11：當(dāng)用戶從設(shè)計(jì)器上下文菜單中選擇菜單項(xiàng)時(shí)，系統(tǒng)將調(diào)用該自定義處理程序，以執(zhí)行與該菜單項(xiàng)關(guān)聯(lián)的謂詞。
|
