1、有幾種邏輯：命題邏輯的順序，謂詞的一個或多個、知識性、模態的，暫時的，模糊等。

2、求反器，是一種函數適配器，它將謂詞函數對象的真值求反。

3、主詞，謂詞，受詞都是實體的名稱。實體在真實世界中，可以是具體的或是抽象的。

4、影響各類有謂詞性補足成分的句子句法結構格式化形成過程的一個重要因素，就是語言單位的結構邊界律。

5、在謂詞演算的反駁樹中，被證明的合式公式。

6、表示您的組織規則的參數化人員謂詞是作為人工任務模型的一部分存儲的，并將與人工任務或業務流程模型EAR文件一起部署。

7、在那個謂詞中，還可以再次向下鉆取，以添加另一個謂詞。

8、之后，美籍邏輯學家歌德爾一階謂詞演算的完備性定理，這標志著現代邏輯基礎部分的完成。(w w w .chazidian.com/zj-84964/造句)

9、討論了三種時間邏輯方法：一階謂詞演算，模態邏輯及具體化邏輯。

10、在謂詞演算中，有時將原子公式簡稱為原子。

11、得到的參數化人員謂詞存儲為人工任務模型的一部分。

12、實例分析表明，基于SAT的謂詞抽象技術是一種構造程序抽象模型更高效的方法。

13、謂詞的工作原理類似于：對于每個節點，引擎使用上下文處理謂詞。

14、直方圖用于計算謂詞的選擇率。

15、更多細節請見等同性謂詞和散列函數一節。

16、使用謂詞演算來進行知識的表示和推理，能代表實際應用中的許多問題。

17、用一階謂詞邏輯設計了一個親屬關系的自動推理模型。

18、謂詞選擇率估計是關系數據庫管理系統查詢優化器決策的重要依據。

19、每讀出一個元素,就將它傳遞給第三個實參表示的謂詞函數.

20、具有較好的柔韌性和寬容度，它可以容納經典謂詞邏輯。

21、如果你希望使用一個不同的等同性謂詞，你也需要使用一個相匹配的散列函數。

22、換句話說，就是通過引入相應的謂詞，將二元關系的性質用邏輯公式來表示。

23、這三首詞經過詳細分析后，就不難看出元氏所謂“詞味”，指的是含蓄委婉地包含在詞中的深層意思，要細心玩味才能理解。

24、謂詞邏輯：也叫謂詞演算，它研究簡單命題的內部結構。

25、謂詞演算與程序語義。

26、傳統邏輯中專名和限定摹狀詞都是單獨概念，在謂詞邏輯中則被稱為個體詞。

27、謂詞演算語言的傳統的語義組成了數理邏輯的一個很豐富的分支。

28、如果在基于字符串的查詢謂詞周圍使用雙引號，而不是單引號，就會收到語法錯誤。

29、清單2中的RDF三元組用謂詞表達了author關系，雖然對您來說含義可能非常明顯，但是計算機理解起來仍然困難。

30、本文以關系知識模型為基礎，用謂詞演算和關系演算描述了一個知識庫管理系統GKBMS。

31、在該處理程序中，可以檢索與該菜單項相關聯的謂詞并調用它。

32、本文借助中介邏輯謂詞演算系統MFM，對不完全信息系統的理論和應用進行了研究。

33、請注意，當您為設計器謂詞創建新的菜單項時，您還為該菜單項附加了一個單擊處理程序。

34、另一種選擇是使用小寫希臘字母來表示這種元變量謂詞。

35、目前，命題模態邏輯已成為人工智能以及計算機科學等其他領域的有效工具，但謂詞模態邏輯卻不是。

36、在這兩個查詢中，方括號中表示了連接謂詞。

37、符號邏輯往往分為兩個分支，命題邏輯和謂詞邏輯。

38、這就是一個一階謂詞演算不可表述的屬性.

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

40、同語句是一種常見的語言現象,體詞、謂詞、加詞等可以有條件出現在它的主賓位上.

41、這種情況下的斷言似乎就需要實現特定的語言擴展，于是一些人建議引入一階謂詞演算。

42、同語句是一種常見的語言現象，體詞、謂詞、加詞等可以有條件出現在它的主賓位上.

43、在對授權規則建模時，如果缺省人員謂詞集無法滿足需要，您可以修改現有的謂詞或向謂詞集添加新謂詞。

44、當用戶從設計器上下文菜單中選擇菜單項時，系統將調用該自定義處理程序，以執行與該菜單項關聯的謂詞。

45、所以，為了避免一些繁瑣的重復代碼，本庫定義了一些謂詞用于在比較前應用間接性。

46、“語句觀”把一個理論看成是一個語句系統，而“謂詞觀”通常是指定義一個集合式謂詞來對理論公理化。

47、一個例外是在V8中，由于MQT路由限制，任何查詢謂詞引用的事實表列都必須包括在統計視圖中。

48、岳陽柏祥方言中的親屬稱謂詞主要有“長輩”、“平輩”、“晚輩”三大類，經考證該方言稱謂詞有些沿用古代親屬稱謂詞。

49、從而形成了模糊謂詞演算一種新的語構與語義體系。

50、容器的鍵值等同性謂詞。