謂詞常元或謂詞常想是指用來表示單個個體詞的性質或兩個以上個體詞關係的詞。
實例,容易歧義詞條,
實例
實例說明:
小剛是小學生
“是小學生”即謂詞常元
容易歧義詞條
個體常元:可以獨立存在的物體稱為個體詞或客體，它可以是一個具體的事物,也可以是一個抽象的概念。
實例說明:
小剛是小學生
"小剛"即個體常元
謂詞常元或謂詞常想是指用來表示單個個體詞的性質或兩個以上個體詞關係的詞。
謂詞常元或謂詞常想是指用來表示單個個體詞的性質或兩個以上個體詞關係的詞。... 謂詞常元或謂詞常想是指用來表示單個個體詞的性質或兩個以上個體詞關係的詞。...
表示某一論域中的特定的性質或關係的稱為謂詞常項或謂詞常元,“是素數”等都是謂詞常項。不表示某一確定論域中的特定性質或關係的稱為謂詞變項或謂詞變元。
;個體常元符號 0,1;函式符號+,·;括弧(,)。在初始符號中沒有用到謂詞變元和函式變元,其中個體常元和函式符號是非邏輯符號,其餘的是邏輯符號。
在初始符號中有符號=的,稱為帶等詞的一階謂詞演算,等詞=是一個謂詞常元;不帶等詞的系統就稱為(一階)謂詞演算。構成一個謂詞邏輯的公理系統的基本要素有:...