2-1 基本概念 2-2 谓词公式及命题符号化 2-3 谓词演算的等价式与蕴涵式 2-4 前束范式 2-5 谓词演算的推理理论

一. 填空(共计 26 分) 1. (每空 1 分) 令 P: 天气好. Q: 我有时间. R: 我在家. S: 我上街. 将下面各个命题的符号表达式填在各个命题后面的括号内.. ⑴. 或者我上街,或者我在家. ( ) ⑵ 仅当天气好, 我才上街. ( ) ⑶ 如果天气好, 我就上街, 否则在家.( )

1.集合与元素 集合是个最基本的概念。 集合：是由确定的对象(客体)构成的集体。用 大写的英文字母表示。 这里所谓“确定”是指：论域内任何客体， 要么属于这个集合，要么不属于这个集合，是 唯一确定的

东北电力大学：《C语言程序设计》课程教学资源（PPT课件）第11章 结构体与共用体

东北电力大学：《C语言程序设计》课程教学资源（PPT课件）第13章 文件

东北电力大学：《C语言程序设计》课程教学资源（PPT课件）第2章 程序的灵魂－算法

东北电力大学：《C语言程序设计》课程教学资源（PPT课件）第4章 顺序结构程序设计

东北电力大学：《C语言程序设计》课程教学资源（PPT课件）第6章 循环结构程序设计

东北电力大学：《C语言程序设计》课程教学资源（PPT课件）第8章 函数

东北电力大学：《C语言程序设计》C语言实验上机指导