相關詞條
-
謂詞
謂詞,用來描述或判定客體性質、特徵或者客體之間關係的詞項。根據《現代漢語》的定義,漢語的體詞包括名詞,數詞,量詞;漢語的謂詞包括動詞和形容詞。
簡介 詳細釋義 謂詞 -
謂詞邏輯
謂詞,在謂詞邏輯中,原子命題分解成個體詞和謂詞。 個體詞是可以獨立存在的事或物,包括現實物、精神物和精神事三種。謂詞則是用來刻劃個體詞的性質的詞,即刻畫...
概述 謂詞與量詞 注意事項 公式與解釋 命題形式 -
相等謂詞
在數學斷言、電腦程式以及系統規格說明中經常可以看到含有變數的語句,例如語句“x大於3”,謂詞就是“大於3”,謂詞表明語句的主語具有的一個性質。相等謂詞...
簡介 謂詞 常用運算符 相等謂詞函式 -
稱謂詞
稱謂詞選擇頗費斟酌可以定義為“稱謂困境”。它不是一個簡單的 形式問題, 而是新舊文化觀念和新舊人際關係的對立衝突在稱謂詞上的反映。
背景 稱謂詞研究 -
內部謂詞
內部謂詞一般所完成的工作都是與邏輯程式無關的,例如輸入輸出的謂詞。所以我們可以把這些謂詞叫做非邏輯謂詞。
-
謂詞函式
strin strin strin
定義 算法的命名規則 -
謂詞公式
B)和(A←→B)也都是合式公式。 (4) 若A是合式公式,x為A中的自由變元,則(x)A和(x)A都是合式公式。 (5) 只有按上述規則(1)至(4)...
-
謂詞邏輯法
採用謂詞合適公式和一階謂詞演算把要解決的問題變為一個有待證明的問題,然後採用消解定理和消解反演來證明一個新語句是從已知的正確語句導出的,從而證明這個新語...
-
精確性一元謂詞
概念精確性一元謂詞(monadic predicates of dis- tinet)邏輯學的一個概念.任給一個一元謂詞或性質屍,若對任何對象...不能明確判定其是否具有性質屍的對象,則稱該性質屍為精確性一元謂詞.反之...
-
n元謂詞
n元謂詞就是含有n個變數的布爾值函式。