解决这个问题的方法 在表示命题时,既表示出主语,也表示出谓语, 就可以解决上述问题。这就提出了谓词的概念。 令S(x)表示x是大学生,a:小张,b:小李 命题P表示成S(a):小张是大学生。 命题Q表示成S(b):小李是大学生 从符号S(a)、S(b)可看出小张和小李都是大学生的共性 令N(x):x是自然数。I(x):x是整数。 表示所有的。 推理如此实现: A:Vx(N(x)→I(x)) N(8)→I(8) B:N(8) N(8) C:I(8) →I(8) 符号S(x)、N(x)、I(x)就是所谓的谓词。解决这个问题的方法： 在表示命题时，既表示出主语，也表示出谓语， 就可以解决上述问题。这就提出了谓词的概念。 令S(x)表示x是大学生，a:小张，b:小李 命题P表示成S(a):小张是大学生。 命题Q表示成S(b):小李是大学生。 从符号S(a)、S(b)可看出小张和小李都是大学生的共性. 令N(x):x是自然数。I(x):x是整数。 表示所有的。 A: x(N(x)→I(x)) B :N(8) C :I(8) N(8)→I(8) N(8)  I(8) 符号 S(x)、N(x)、I(x)就是所谓的谓词。 推理如此实现：