在数学中有下面三个命题: P:所有的有理数都是实数。 nQ:3是有理数。 所以R:3是实数。 ■当前面两个命题为真时,可得出第三个命 题也是真的。即第三个命题是前两个命题 的逻辑推论。 n用符号P,QR分别表示这三个命题,则应 有P,Q}R, 但在命题逻辑中是无法得出此结论的。 需要引进新的逻辑系统—谓词逻辑 在数学中有下面三个命题：  P： 所有的有理数都是实数。  Q： 3是有理数。  所以 R：3是实数。  当前面两个命题为真时，可得出第三个命 题也是真的。即第三个命题是前两个命题 的逻辑推论。  用符号P,Q,R分别表示这三个命题，则应 有{P,Q}╞R，  但在命题逻辑中是无法得出此结论的。  需要引进新的逻辑系统——谓词逻辑