西安电子科技大学内容总结和延伸》软件学院在任何个体域上的每种相同的赋谓词等价公式值下真值均相同的谓词公式含量词的基本永命题等价式的推广使用真式量词的否定量词的分配式量词辖域的扩张与收缩多个量词的使用多个量词间的顺序不能随意颠倒。西安电子科技大学 内容总结和延伸 软件学院 谓词等价公式 含量词的基本永 真式 » 多个量词的使用 在任何个体域上的每种相同的赋 值下真值均相同的谓词公式。 命题等价式的推广使用 量词的否定 量词的分配式 量词辖域的扩张与收缩 多个量词间的顺序不能随意颠倒