谓词逻辑是一种表达能力很强的形式语言，其真值的特点和命题逻辑的区别是（）