西安电子科技大学谓词$2.1.1软件学院命题缺乏概括能力：例如：北京是大城市。西安是大城市。“x是大城市”命题函数P(×)：上海是大城市。以上这样三个命题虽然是类似的，但在命题逻辑中必须用三个不同的命题变元来表示。西安电子科技大学 §2.1.1 谓词 软件学院 命题缺乏概括能力： 例如： 北京是大城市。 西安是大城市。 上海是大城市。 以上这样三个命题虽然是类似的，但在命题逻辑 中必须用三个不同的命题变元来表示。 命题函数P(x)：“x是大城市