清晰謂詞

清晰謂詞是一個數學術語。

基本介紹

• 中文名：清晰謂詞
• 外文名：distinct predicate

清晰謂詞，邏輯學的基本概念之一它是任何對象滿足該謂詞與否完全分明的那種謂詞.設P為一謂詞(概念或性質)，如果對任何對象x而言，總是要么x完全滿足P，要么x完全不滿足屍，亦即不存在這樣的對象，它部分地滿足屍，部分地不滿足屍，則稱屍是清晰謂詞，並記為 disP.此處dis是“清晰的”的簡記.