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