【名词&注释】
形式语言(formal language)、命题逻辑(propositional logic)、表达能力(expression ability)
[填空题]谓词逻辑是一种表达能力很强的形式语言,其真值的特点和命题逻辑的区别是()