Predicate LogicRosen 6th ed. § LogicPredicate logic is an extension of propositional logic that permits concisely reasoning about whole classes of .x>1 xy=10Such statements are neither true or fal

单击此处编辑母版标题样式单击此处编辑母版文本样式第二级第三级第四级第五级第二章 一阶逻辑(Predicate Logic)一阶逻辑基本概念一阶逻辑公式及解释一阶逻辑等值式123 前两节介绍的命题与命题演算是命题逻辑的内容其基本组成单位是原子命题一般地原子命题作为具有真假意义的句子至少由主语和谓语两部分组成 例如电子商务是计算机技术的一个应用系统这里电子商务是主语而是……是谓语