前两节介绍的命题与命题演算是命题逻辑的内容，其基本组成单位是原 子命题。一般地，原子命题作为具有真假意义的句子至少由主语和谓语两 部分组成。 例如，电子商务是计算机技术的一个应用，这里“电子商务”是主语， 而“是……”是谓语。当主语改变为“电子政务”时就得到新的原子命题：

绪论作为世界经济学科研究的逻辑和历史的起 点,是对这一学科的基本概念、研究对象、研究方 法和学科的内容体系做出界定和阐述。在这里,我 们从分析世界经济的内涵、形成和发展入手,试图 对世界经济和世界经济学科从逻辑和历史的角度做 一个总体的把握,并为后面各章内容的展开提供铺垫。 第一节 世界经济的内涵和形成 第二节 第二次世界大战后世界经济的发展和新特点 第三节 世界经济学科的研究对象和方法 第四节 世界经济学科的内容体系和学习意义

公共支出的逻辑起点 追求社会福利最大化是公共支出的逻辑起点。 福利经济学是在一定的社会价值判断标准条件下, 研究整个经济的资源配置与个人福利的关系,特别 是市场经济体系的资源配置与福利的关系,以及与 此有关的各种政策问题。简而言之,研究资源的最 优配置

复习命题演算推理形式系统N N中推理的每个式子都由前提和结论组成,接近 于实际推理,又称为自然推理形式系统。 ·第一个给出自然推理形式系统的是德国数学家甘岑(G. Gentzen,1909-1945),所以又称N为甘岑系统

1、熟练掌握基本RS触发器的工作原理、 逻辑功能,及钟控RS触发器、JK触发器、D触发器的逻辑功能、时间波形图、特性方程。 2、理解钟控RS触发器、JK触发器、D触发器电路的工作原理、特点、相互之间的转换及常用JK触发器、D触发器集成芯片的使用。  第1、2学时：基本RS触发器  第3、4学时：钟控触发器  第5、6学时：集成触发器

6.5采用中规模集成器件设计任意进制计数器 6.6采用小规模集成器件设计计数器

1、掌握半加器、全加器、常用算术/逻辑运算单元等运算电路的电路结构及其使用方法; 2、掌握典型的译码器、编码器、数据选择器、数据分配器等信号变换电路的电路结构及其使用方法; 3、了解数字比较器的电路结构及其扩展方法;  第1、2学时：算术运算电路  第3、4学时：信号变换电路  第5、6学时：数值比较器

第一章 命题逻辑 第二章 谓词逻辑 第三章 集合论初步 第四章 二元关系 第六章 函数 第六章 代数系统 第七章 格与布尔代数 第八章 图论

一、上节介绍了将命题表示为符号串。 二、是否每个符号串都是命题呢? pq→ 三、什么样的符号串才能表示命题呢? 如下命题形式定义的符号串表示的才是命题

一、命题演算推理形式系统P(和N)语法 二、语法的核心是推理:a? 三、P是符号演算。 四、公式的含义:真、假、永真等语义