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