概念
精確性一元謂詞(monadic predicates of dis- tinet)邏輯學的一個概念.任給一個一元謂詞或性質屍，若對任何對象x而言，總能明確判定它要么滿足該性質屍，要么不滿足該性質屍，亦即不存在不能明確判定其是否具有性質屍的對象，則稱該性質屍為精確性一元謂詞.反之，如果存在著不能明確判定其是否具有性質P的對象，或者說存在著部分地具有性質屍而又部分地不具有性質屍的對象，則稱該性質屍為非精確性一元謂詞.例如，“自然數”是一個精確性一元謂詞，而“美男子”是一個非精確性一元謂詞，因為對一位男子來說，往往是部分地具有性質P(美男子)，或說他是否具有性質屍(美男子)是不能明確判定的.
