摘要

在一阶模糊谓词逻辑系统中基于有限解释提出了公式的条件α-真度的概念,并研究了它的性质。