1. 影響各類(lèi)有謂詞性補(bǔ)足成分的句子句法結(jié)構(gòu)格式化形成過(guò)程的一個(gè)重要因素，就是語(yǔ)言單位的結(jié)構(gòu)邊界律。

2. 有幾種邏輯：命題邏輯的順序，謂詞的一個(gè)或多個(gè)、知識(shí)性、模態(tài)的，暫時(shí)的，模糊等。

3. 岳陽(yáng)柏祥方言中的親屬稱(chēng)謂詞主要有“長(zhǎng)輩”、“輩”、“晚輩”三大類(lèi)，經(jīng)考證該方言稱(chēng)謂詞有些沿用古代親屬稱(chēng)謂詞。

4. 之后，美籍邏輯學(xué)家歌德?tīng)栆浑A謂詞演算的完備性定理，這標(biāo)志著現(xiàn)代邏輯基礎(chǔ)部分的完成。

5. 句子中心是謂詞，題元在句子中由名詞性成分充任。

6. 求反器，是一種函數(shù)適配器，它將謂詞函數(shù)對(duì)象的真值求反。

7. 謂詞演算語(yǔ)言的傳統(tǒng)的語(yǔ)義組成了數(shù)理邏輯的一個(gè)很豐富的分支。

8. 每讀出一個(gè)元素,就將它傳遞給第三個(gè)實(shí)參表示的謂詞函數(shù).

9. 具有較好的柔韌性和寬容度，它可以容納經(jīng)典謂詞邏輯。

10. 本文以關(guān)系知識(shí)模型為基礎(chǔ)，用謂詞演算和關(guān)系演算描述了一個(gè)知識(shí)庫(kù)管理系統(tǒng)GKBMS。

11. 符號(hào)邏輯往往分為兩個(gè)分支，命題邏輯和謂詞邏輯。

12. 從而形成了模糊謂詞演算一種新的語(yǔ)構(gòu)與語(yǔ)義體系。

13. 傳統(tǒng)邏輯中專(zhuān)名和限定摹狀詞都是單獨(dú)概念，在謂詞邏輯中則被稱(chēng)為個(gè)體詞。

14. 這就是一個(gè)一階謂詞演算不可表述的屬性.

15. 用一階謂詞邏輯設(shè)計(jì)了一個(gè)親屬關(guān)系的自動(dòng)推理模型。

16. 請(qǐng)注意，當(dāng)您為設(shè)計(jì)器謂詞創(chuàng)建新的菜單項(xiàng)時(shí)，您還為該菜單項(xiàng)附加了一個(gè)單擊處理程序。

17. 實(shí)例分析表明，基于SAT的謂詞抽象技術(shù)是一種構(gòu)造程序抽象模型更高效的方法。

18. 如果你希望使用一個(gè)不同的等同性謂詞，你也需要使用一個(gè)相匹配的散列函數(shù)。

19. 在這兩個(gè)查詢(xún)中，方括號(hào)中表示了連接謂詞。

20. 在謂詞演算中，有時(shí)將原子公式簡(jiǎn)稱(chēng)為原子。

21. 另一種選擇是使用小寫(xiě)希臘字母來(lái)表示這種元變量謂詞。

22. 所以，為了避免一些繁瑣的重復(fù)代碼，本庫(kù)定義了一些謂詞用于在比較前應(yīng)用間接性。

23. 在那個(gè)謂詞中，還可以再次向下鉆取，以添加另一個(gè)謂詞。

24. 使用謂詞演算來(lái)進(jìn)行知識(shí)的表示和推理，能代表實(shí)際應(yīng)用中的許多問(wèn)題。

25. 主詞，謂詞，受詞都是實(shí)體的名稱(chēng)。實(shí)體在真實(shí)世界中，可以是具體的或是抽象的。

26. “語(yǔ)句觀”把一個(gè)理論看成是一個(gè)語(yǔ)句系統(tǒng)，而“謂詞觀”通常是指定義一個(gè)集合式謂詞來(lái)對(duì)理論公理化。

27. 更多細(xì)節(jié)請(qǐng)見(jiàn)等同性謂詞和散列函數(shù)一節(jié)。

28. 同語(yǔ)句是一種常見(jiàn)的語(yǔ)言現(xiàn)象,體詞、謂詞、加詞等可以有條件出現(xiàn)在它的主賓位上.

29. 得到的參數(shù)化人員謂詞存儲(chǔ)為人工任務(wù)模型的一部分。

30. 在該處理程序中，可以檢索與該菜單項(xiàng)相關(guān)聯(lián)的謂詞并調(diào)用它。

31. 表示您的組織規(guī)則的參數(shù)化人員謂詞是作為人工任務(wù)模型的一部分存儲(chǔ)的，并將與人工任務(wù)或業(yè)務(wù)流程模型EAR文件一起部署。

32. 換句話(huà)說(shuō)，就是通過(guò)引入相應(yīng)的謂詞，將二元關(guān)系的性質(zhì)用邏輯公式來(lái)表示。

33. 這種情況下的斷言似乎就需要實(shí)現(xiàn)特定的語(yǔ)言擴(kuò)展，于是一些人建議引入一階謂詞演算。

34. 謂詞演算與程序語(yǔ)義。

35. 一個(gè)例外是在V8中，由于MQT路由限制，任何查詢(xún)謂詞引用的事實(shí)表列都必須包括在統(tǒng)計(jì)視圖中。

36. 討論了三種時(shí)間邏輯方法：一階謂詞演算，模態(tài)邏輯及具體化邏輯。

37. 清單2中的RDF三元組用謂詞表達(dá)了author關(guān)系，雖然對(duì)您來(lái)說(shuō)含義可能非常明顯，但是計(jì)算機(jī)理解起來(lái)仍然困難。

38. 在謂詞演算的反駁樹(shù)中，被證明的合式公式。

39. 謂詞的工作原理類(lèi)似于：對(duì)于每個(gè)節(jié)點(diǎn)，引擎使用上下文處理謂詞。

40. 當(dāng)用戶(hù)從設(shè)計(jì)器上下文菜單中選擇菜單項(xiàng)時(shí)，系統(tǒng)將調(diào)用該自定義處理程序(源自)，以執(zhí)行與該菜單項(xiàng)關(guān)聯(lián)的謂詞。

41. 在對(duì)授權(quán)規(guī)則建模時(shí)，如果缺省人員謂詞集無(wú)法滿(mǎn)足需要，您可以修改現(xiàn)有的謂詞或向謂詞集添加新謂詞。

42. 本文借助中介邏輯謂詞演算系統(tǒng)MFM，對(duì)不完全信息系統(tǒng)的理論和應(yīng)用進(jìn)行了研究。

43. 如果在基于字符串的查詢(xún)謂詞周?chē)�使用雙引號(hào)，而不是單引號(hào)，就會(huì)收到語(yǔ)法錯(cuò)誤。

44. 謂詞選擇率估計(jì)是關(guān)系數(shù)據(jù)庫(kù)管理系統(tǒng)查詢(xún)優(yōu)化器決策的重要依據(jù)。

45. 目前，命題模態(tài)邏輯已成為人工智能以及計(jì)算機(jī)科學(xué)等其他領(lǐng)域的有效工具，但謂詞模態(tài)邏輯卻不是。

46. 直方圖用于計(jì)算謂詞的選擇率。

47. 謂詞邏輯：也叫謂詞演算，它研究簡(jiǎn)單命題的內(nèi)部結(jié)構(gòu)。

48. 容器的鍵值等同性謂詞。