上海交通大学：《离散数学》课程教学资源（讲义）第一章 命题逻辑的基本概念

命题的属性包括结构属性和值属性.命题的结构决定了命题之间的关系,决定了命题之间的逻辑运算.命题的真值只是一个由命题的结构决定的值属性,并不能代表整个命题.逻辑运算是命题的运算,不是真值的运算.多值逻辑中,命题逻辑运算结果由命题的关系决定,真值相同的不同命题,逻辑运算结果的真值不一定相同,逻辑运算不是处处同态于某一个或某一簇真值函数(算子),有时复合命题的真值不能被它的成分命题的真值完全确定,所以多值逻辑的联结词并不总能定义成真值函数(算子)的形式.多值逻辑的命题公式不能再看作真值函数,命题公式是关于命题的函数

The objects in a set are also called the elements, or members, of the set. A set is said to contain its elements. Null Set: There are no anything in the set

基础部分一： 1、逻辑：命题逻辑、谓词逻辑 2、集合：集合、函数 基础部分二： 1、算法 2、数论 3、代数系统

Let A and B be sets. A function f from A to B is an assignment of exactly one element of B to each element of A. We write f(a) = b if b is the unique element of B assigned by the function f to the element a of A. If f is a function from A to B, we write f : A→B

1.2 集合Sets 1.2.1 集合的基本概念Concepts of Sets

1、命题(Proposition) 2、从简单命题(atomic proposition)到 复合命题(compositional proposition) 3、从命题常量(propositional constant)到 命题变量(propositional variable) 4、从复合命题(compositional proposition)到 命题公式(propositional formulas)

研究推理的一门学科 数理逻辑：用数学方法研究推理的一门数学学科-------- 一套符号体系 + 一组规则

–推理的形式结构 –自然推理系统P

– 命题、联结词、复合命题 – 命题公式、赋值、命题公式的分类