填空题 谓词自然推理是建立在 1基础上的，增加了能刻画简单命题的新符号，把简单命题表示为能进行各种逻辑运算的公式，从而能分析各种简单命题以及由它们组合的复合命题所建立的演算。