1.命题逻辑
1.1 命题定义(不考)
能判断真假而不是可真可假的陈述句为命题。
1.2 命题连接词(必考)
(1)否定:“”
设P为一个命题,则P的否定为P;
(2)析取:“”
两个命题P和Q的析取是一个复合命题,记作P Q。当且仅当P、Q同时为F时,P
Q的真值为F,否则P
Q的真值为T;
(3)合取:“”
两个命题P和Q的合取是一个复合命题,记作P Q,当且仅当P、Q同时为T时,P
Q为T,在其他情况下,P
Q的真值都是F;
(4)蕴含:“”
给定两个命题P和Q,其条件命题是一个复合命题,记作P Q,读作“如果P,那么Q”或者“若P则Q”。当且仅当P的真值为T,Q的真值为F时,P
Q的真值为F,否则P
Q的真值为T。我们称P为前件,Q为后件。
(5)等价:“”
给定两个命题P和Q,其复合命题PQ称作双条件命题,读作“P当且仅当Q”,当P和Q的真值相同时,P
Q的真值为T,否则P
Q的真值为F。
1.3真值表
例1:求下列公式的真值表:(p
q)
r
p | q | r | ( | |||
T | T | T | F | F | F | T |
T | T | F | F | F | T | T |
T | F | T | F | F | F | T |
T | F | F | F | F | T | T |
F | T | T | T | T | F | F |
F | T | F | T | T | T | T |
F | F | T | T | F | F | T |
F | F | F | T | F | T | T |
例2:求下列公式的真值表:(pp)
(q
q)
p | q | p | q | (p | ||
T | T | F | F | F | F | T |
T | F | T | F | F | F | T |
F | T | F | T | F | F | T |
F | F | T | T | F | F | T |
例3:求下列公式的真值表:(p
q)
q
r
p | q | r | p | |||
T | T | T | T | F | F | F |
T | T | F | T | F | F | F |
T | F | T | F | T | F | F |
T | F | F | F | T | F | F |
F | T | T | T | F | F | F |
F | T | F | T | F | F | F |
F | F | T | T | F | F | F |
F | F | F | T | F | F | F |
例4:求下列公式的真值表:(p(q
r))
(p
q)
p | q | r | q | (p | p | (p |
T | T | T | T | T | T | T |
T | T | F | F | F | T | T |
T | F | T | T | T | F | F |
T | F | F | T | T | F | F |
F | T | T | T | T | T | T |
F | T | F | F | T | T | T |
F | F | T | T | T | T | T |
F | F | F | T | T | T | T |
1.4 命题符号化 (必考)
例1:我和他既是兄弟也是又是同学。
设命题p:我和他是兄弟,q:我和他是同学
故命题可符号化为:pq
例2:张三或李四都可以做这件事。
设命题p:张三可以做这件事,q:李四可以做这件事
故命题可以符号化为:pq
例3:仅当我有时间且天不下雨,我将去镇上。
当A则B是“AB”,仅当A和B是“B
A”
设命题p:我有时间,q:天不下雨,r:我去镇上
故命题可以符号化为:r(p
q)
例4:张刚总是在图书馆看书,除非图书馆不开门或张刚生病。
带“除非”的,“除非”是条件
设命题p:张刚在图书馆看书,q:图书馆不开门,r:张刚生病
故命题可以符号化为:(q
r)
p
例5:风雨无阻,我去上学。
可以理解为“不管是否刮风、是否下雨,我都去上学”
设命题p:天刮风,q:天下雨,r:我去上学
故命题可以符号化为:(pq
r)
(p
q
r)
(
p
q
r)
(
p
q
r)
例6:张晓静只能挑选202或203房间。
排斥“或”
设命题p:张晓静挑选202房间,q:张晓静挑选203房间
故命题可以符号化为:(pq)
(
p
q)
例7:讲软件工程课程的老师是柯老师或者顾老师
相容“或”
设命题p:讲软件工程的老师是柯老师,q:讲软件工程的老师是顾老师
故命题可以符号化为:pq
例8:他昨天做了二十或三十道题
近似“或”
原子命题,因为“或”值表示了习题的近似数目。
例9:软件工程三班的上课教室是203或303
排斥“或”
设命题p:软件工程的上课教室是203,q:软件工程的上课教室是303
故命题可以符号化为:(pq)
(
p
q)
2.谓词逻辑(证明不考)
2.1 谓词定义
一个大写英文字母后边有括号,括号内是若干个参数,用以表示客体的属性或者客体之间的关系,称之为谓词。如果括号内有n个参数,成谓词为n元谓词。
2.2 量词
(1)存在量词:
(2)约束量词:
x(读作“对任意x”),
x(读作“存在一个x”),其中的x就是量词后的一个变量,称为约束变量。
2.3 量词的作用域
定义:在谓词公式中,量词的作用范围称之为量词的作用域。
例:xA(x)中
x的作用域是A(x)。
例:x(P(x)
Q(x))
yR(x,y))的作用域是(P(x)
Q(x))
yR(x,y)
例:x
y
z(A(x,y)
B(x,y,x))
C(t)
x的作用域是:A(x,y)
B(x,y,x)
y的作用域是:
z(A(x,y)
B(x,y,x))
x的作用域是:
y
z(A(x,y)
B(x,y,x))
2.4 自由变量和约束变量
例:x(F(x,y)
yP(y))
Q(z)
xA(x)
1.F(x,y)中的x在x的作用域内,受到
x的约束,而其中的y不受
x的约束。
2.P(y)中的y在y的作用域内,受
y的约束。
3.A(x)中的x在x的作用域内,受
x的约束。
4.Q(z)中的z不受量词约束。
受到约束的为约束变量,不受约束的为自由变量。
3.一级逻辑中的证明
(1)有关合取的定律
p |
p |
p |
(2)有关析取的定律
p |
p |
p |
p |
(3)有关蕴含的定律
p |
(4)有关否定的定律
(5)有关等价的定律
p |
p |
(6)其他定律
p |
p |
p |
p |
p |
p |
7.有关true和false的定律
p |
p |
p |
p |
p |
p |
false |
4.集合论
4.1 集合表示法
(1)列举法
将集合中的元素按任意顺序一一列举出来并用花括号括住,而元素间则用逗号隔开。
例:自然数集:N == {1,2,3,4,5,......}
(2)描述法
用一集合之所有元素共有的共同性质来刻画这个集合S == {x | P(x)}
“|”前面的x代表集合A中的任意元素
“|”后面的P(x)表示x必须具有性质P
例:B == {x | x是正偶数}
4.2 空集、全集、幂集
4.3 序偶和笛卡尔积(必考)