谓词在一下几个方面可以比命题更加细致地刻画知识： 谓词逻辑法是应用最广的方法之一