搜档网
当前位置:搜档网 › 离散数学期末考试试卷(A卷)

离散数学期末考试试卷(A卷)

离散数学期末考试试卷(A卷)
离散数学期末考试试卷(A卷)

离散数学期末考试试卷(A 卷 )

一、判断题:(每题 2 分,共 10 分)

(1)

(1)

( 2)对任意的命题公式, 若, 则

( 0)

( 3)设是集合上的等价关系 ,是由诱导的上的等价关系,则。(1)

(4)任意一个命题公式都与某一个只含合取和析取两种联结词的命题公式等价。

(0)

( 5)设是上的关系,分别表示的对称和传递闭包,则

(0)

二、填空题:(每题 2 分,共 10 分)

( 1)空集的幂集的幂集为()。

( 2)写出的对偶式()。

(3)设是我校本科生全体构成的集合,两位同学等价当且仅当他们在

同一个班,则等价类的个数为(),同学小王所在

的等价类为()。

(4)设是上的关系,则满足下列性质的哪几条:自反的,对称的,传递的,反自反的,反对称的。

()

(5) 写出命题公式的两种等价公式 ()。

三、用命题公式符号化下列命题(1)(2)(3),用谓词公式符号化下列命题(4)(5)(6)。(12 分)

(1)(1)仅当今晚有时间,我去看电影。

(2)(2)假如上午不下雨,我去看电影,否则就在家里读书。

(3)你能通你能通过考试,除非你不复习。

(4)(4)并非发光的都是金子。

(5)(5)有些男同志,既是教练员,又是国家选手。

(6)(6)有一个数比任何数都大。

四、设,给定上的两个关系和分别是

(1)(1)写出和的关系矩阵。(2)求及(12分)

五、求的主析取范式和主合取范式。(10分)

六、设是到的关系,是到的关系,证明:(8分)

七、设是一个等价关系,设对某一个, 有

,证明:

也是一个等价关系。( 10 分)

八、( 10分)用命题推理理论来论证

下述推证是否有效?

甲、乙、丙、丁四人参加比赛,如果甲获胜,则乙失败;如果丙获胜,则乙也获胜,如果甲不获胜,则丁不失败。所以,如果丙获胜,则丁不失败。

九、(10分) 用谓词推理理论来论证下述推证。

任何人如果他喜欢步行, 他就不喜欢乘汽车, 每一个人或喜欢乘汽车, 或喜欢骑

自行车(可能这两种都喜欢) 。有的人不爱骑自行车,因而有的人不爱步行

( 论 域是人)。 十、 (8 分) 利用命题公式求解下列问题。 甲、乙、丙、丁四人参加考试后,有人问他们,谁的成绩最好, 甲说:“不是我,”乙说:“是丁,”丙说:“是乙,” 丁说:“不是我。 ”四人的回答只有一人符合实际,问若只有一人成绩最 好,是谁?

离散数学期末考试试卷答案 (A 卷)

一、判断题:(每题 2 分,共 10 分)

( 1) x { x} {{

x}}

(2) 对任意的命题公式

A, B, C

, 若 A

C

B C ,则A B ( )

( 3)设 R 是集合 A 上的等价关系 ,

L 是由 A

R 诱导的 A 上的等价关系,则

RL 。 ( )

( 4) 任意一个命题公式都与某一个只含合取和析取两种联结词的命题公式等 价。 ( )

( 5 )设 R 是 A 上 的关系,

s( R), t( R)

分 别表示 R 的对称和传递 闭包 ,则

ts( R) st( R)

( )

二、填空题:(每题 2 分,共 10 分)

(1) 空集的幂集的幂集为

( {{ }, })。

(2) 写出 (P Q) (P

R) 的对偶式( (P Q) (

P R))。

(3)设 A 是我校本科生全体构成的集合,两位同学等价当且仅当他们在 同一个班,则等价类的个数为(我校本科生的班级数 ),同学小王所在 的等价类为(小王所在的班的集合) 。

(4)设 A {1,2,3}, R

{ 1,2 , 1,3 }

是 A 上的关系,则 R 满足下列性质的哪 几条:自反的,对称的,传递的,反自反的,反对称的。 ( 传递的,反自反的,反对称的 )

(5)

写 出 命 题 公 式

P

Q

的 两 种 等 价 公 式

((P

Q)

(Q

P)(

P Q)

( Q

P))。

三、用命题公式符号化下列命题(1) (2)(3),用谓词公式符号化下列命题(4)(5)(6)。(12 分)

(3)(1)仅当今晚有时间,我去看电影。

解: P: 今晚我有时间 .

Q: 我去看电影

Q

P

(4)(2)假如上午不下雨,我去看电影,否则就在家里读书。

解 P: 上午下雨 , Q: 我去看电影 R: 我在家里读书。

( P

Q) (P

R)

( 3)你能通你能通过考试,除非你不复习。

解 P 你能通过考试, Q: 你复习 .

Q P

(7)(4)并非发光的都是金子。

A( x) : x 是发光的, B( x) : x 是金子

( x)( A( x)

B( x ))

(8)(5)有些男同志,既是教练员,又是国家选手。

解 A( x) : x 是男同志, B( x) : x 是教练员, C( x) : x 是国家选手

( x)( A( x ) B( x)

C( x) )

(9)(6)有一个数比任何数都大。

A( x) : x 是数, B( x, y) : x 比 y 大,

( x)( A( x) ( y)( A( y)

B( x, y)))

四、设

A {a,b, c, d}

,给定 A 上的两个关系 R 和 L 分别是

R {(a, b), (b,c), (c,a)}, L {( a,d), (b, b), (c,a), ( c, c), ( d, a), (d,c)}.

(2)(1)写出 R 和 L 的关系矩阵。(2)求 R L 及 t( R

L)

(12分)

0100

0001

0100

0010 M L

M R

1010 1000 0000

1010

0100

1010 1010 M

(R L)2

0101 M R L

0000 0001 0000

0000 0101

1010 1010 M

(R L)4

0101 M

(R L)3

0000 0000 0000

0000

1111

1111

M

t( R L)

0001

0000

五、求 (P

(Q R)) ( P ( Q

R))

的主析取范式和主合取范式。(10分)

(P

(Q R)) ( P ( Q

R)) ( P (Q R)) ( P (

Q

R))

(PQ)(P R)(P

Q) (P R)

(PQR)(PQ

R)(PQR)(P

Q R)

(P

Q

R) (P

Q

R) ( P

R Q) (P

R

Q)

(PQR)(PQ

R)(P Q R)

(P

QR)(P

Q R) ( P

Q

R)

1,2 ,3, 4,5,6

0, 7

六、设 T

是 X 到 Y 的关系, S 是 Y 到 Z 的关系,证明: (T S)

c

S

c

T c (8 分)

证明:

z, x

(T S) c

x, z

T

S ( y)( y Y x, y T y, z S) ( y)( y Y

y, x

T c

z, y

S c )

z, x

S c T c

七 、 设 R 是 一 个 等 价 关 系 , 设

S { a,b : 对 某 一 个

a, c

R,且

c, b

R}

,证明: S 也是一个等价关系。(10 分)

证明:(1) 对任一 x

A

, 因为 R 在 A 上是自反的,

所以 x, x

R

. 由 S 的定义, S, 所以 S 是自反的。

c , 有

(3)(2)对任意 x, y

A

,若 使得 x, c R

c, y

R, 因为

S 的定义可知:

y, x

S,

所以 S 是对称的。

( 3)对任意 x, y, z

A ,若 x, y

x, y S, 则对于某个

c R 对称的,故有:

y, c

R

c, x

S 及 y, z

S,

R, 由

则必存在某个 c

1 ,使得

x,c 1 R

c 1

, y R,

R 传递性,可知

x, y R ,

同理存在

c

2

使得

y,c 2

R

c 2 , z

R,

由 R 传递性,可知

y, z

R 。

再由 S 的定义,得 x, z

S,

故 S 是传递的。

综上可知, S 是 A 上的等价关系。

八、( 10分)用命题推理理论来论证 下述推证是否有效?

甲、乙、丙、丁四人参加比赛,如果甲获胜,则乙失败;如果丙获胜,则乙也获

胜,如果甲不获胜,则丁不失败。所以,如果丙获胜,则丁不失败。 解:

设 A :甲获胜。 B :乙获胜。C :丙获胜。 D: 丁获胜。

前提为:

A

B,CB,A D 结论为:

C

D (1) A B P

(2) B A

(1)T,E

(3)

A

D P

(4) B D (2)(3)T,I

(5) C B P

(6) C

D

(5)(4)T,I

九、(10分) 用谓词推理理论来论证下述推证。

任何人如果他喜欢步行, 他就不喜欢乘汽车, 每一个人或喜欢乘汽车, 或喜欢骑 自行车(可能这两种都喜欢) 。有的人不爱骑自行车,因而有的人不爱步行 (论 域是人 )。

解:设 P(x):x 喜欢不行。 Q(x)喜欢乘汽车。

R(x):x 喜欢骑自行车。

本题符号化为: ( X )( P( X )

( x) R( x)

1) ( x) R( x)

(2) R(c)

(3)

( X )(Q( x)

R( x))

(4)

Q(c) R(c)

(5) Q(c)

(6)

( X )( P( X ) Q( x))

(7) P(c)Q(c))

(8)

P(c)

(9) ( x) P( x)

Q( x)), ( X )(Q( x) R( x)),

( x) P( x)

P (1)ES

P

(3) US

(2)(4)T,I

P

(6)US (5)(7)T,I

(8)EG

十、 (8 分 ) 利用命题公式求解下列问题。

甲、乙、丙、丁四人参加考试后,有人问他们,谁的成绩最好,甲说:“不是我,”乙说:“是丁,”丙说:“是乙,”

丁说:“不是我。 ”四人的回答只有一人符合实际,问若只有一人成绩最好,是谁?

解:设 A: 甲的成绩最好, B:乙的成绩最好,

C:丙的成绩最好, D:丁的成绩最好。 因为四人的回答只有一人符合实际,故

( A

D B D) (A D B D) ((A D B D)

即(A B D) (A B D)T

(A B D) (A B D)

(A B D C) (A B D C)但(A B D C) (A B D C)

故有(一)甲、丙、丁三人并列成绩最好。

(二)甲、丁并列成绩最好。

(三)甲、丙并列成绩最好。

(四) 甲的成绩最好。

只有一人成绩最好的是甲。

离散数学期末试题

离散数学考试试题(A 卷及答案) 一、(10分)求(P ↓Q )→(P ∧?(Q ∨?R ))的主析取范式 解:(P ↓Q )→(P ∧?(Q ∨?R ))??(?( P ∨Q ))∨(P ∧?Q ∧R )) ?(P ∨Q )∨(P ∧?Q ∧R )) ?(P ∨Q ∨P )∧(P ∨Q ∨?Q )∧(P ∨Q ∨R ) ?(P ∨Q )∧(P ∨Q ∨R ) ?(P ∨Q ∨(R ∧?R ))∧(P ∨Q ∨R ) ?(P ∨Q ∨R )∧(P ∨Q ∨?R )∧(P ∨Q ∨R ) ?0M ∧1M ?2m ∨3m ∨4m ∨5m ∨6m ∨7m 二、(10分)在某次研讨会的休息时间,3名与会者根据王教授的口音分别作出下述判断: 甲说:王教授不是苏州人,是上海人。 乙说:王教授不是上海人,是苏州人。 丙说:王教授既不是上海人,也不是杭州人。 王教授听后说:你们3人中有一个全说对了,有一人全说错了,还有一个人对错各一半。试判断王教授是哪里人? 解 设设P :王教授是苏州人;Q :王教授是上海人;R :王教授是杭州人。则根据题意应有: 甲:?P ∧Q 乙:?Q ∧P 丙:?Q ∧?R 王教授只可能是其中一个城市的人或者3个城市都不是。所以,丙至少说对了一半。因此,可得甲或乙必有一人全错了。又因为,若甲全错了,则有?Q ∧P ,因此,乙全对。同理,乙全错则甲全对。所以丙必是一对一错。故王教授的话符号化为: ((?P ∧Q )∧((Q ∧?R )∨(?Q ∧R )))∨((?Q ∧P )∧(?Q ∧R )) ?(?P ∧Q ∧Q ∧?R )∨(?P ∧Q ∧?Q ∧R )∨(?Q ∧P ∧?Q ∧R ) ?(?P ∧Q ∧?R )∨(P ∧?Q ∧R ) ??P ∧Q ∧?R ?T 因此,王教授是上海人。 三、(10分)证明tsr (R )是包含R 的且具有自反性、对称性和传递性的最小关系。 证明 设R 是非空集合A 上的二元关系,则tsr (R )是包含R 的且具有自反性、对称性和传递性的关系。 若'R 是包含R 的且具有自反性、对称性和传递性的任意关系,则由闭包的定义知r (R )?' R 。则sr (R )?s ('R )='R ,进而有tsr (R )?t ('R )='R 。

《 离散数学》期中考试试卷(2006—2007学年第2学期)

《离散数学J》考试试卷(期中) 课程代码143140320命题单位学院:计算机学院信息教研室 学院:_______________班级:_____________姓名:_______________学号:____________ 1.将下列命题将其符号化。(4分) ①.李平不是不聪明,而是不用功。 假设p:李平聪明,q:李平用功 ②.如果只有懂得希腊文才能了解柏拉图,那么我不了解柏拉图。 假设p:我懂得希腊文,q:我了解柏拉图 2.在一阶逻辑中将下列命题符号化。(9分) ①.整数都是有理数,并不是每个有理数一定是整数,有些有理数不是整数。 假设I(x):x是整数,Q(x):x是有理数。 ②.某些汽车比所有的火车慢。 假设F(x):x是火车。G(x):y是汽车。H(x,y):x比y快 ③.谁要是游戏人生,他就一事无成;谁不能主宰自己,他就是一个奴隶。 假设:M(x)表示“x是人”,K(x)表示“x游戏人生”,L(x)表示“x 一事无成”,H(x,y)表示“x主宰y”,N(x)表示“x是奴隶”。 3.试证明: (┐P∧(┐Q∧R))∨((Q∧R)∨(P∧R))=R(10分) 4.求公式G=(P→Q)∧R的主析取范式和主合取范式。(12分) 5.先将些列论断符号化,再证明论断的正确性。(15分) 所有的大一学生都要学习英语;并非所有的大一学生都要学习离散数学;故有些学习英语的不学习离散数学。 假设谓词如下:P(x):x是大一学生;Q(x):x要学习英语; R(x):x要学习离散数学。 6.某班学生50人,会排球的有40人,会篮球的35人,会足球的10人,以上三种运动都会的5人,都不会的没有,问只会两种运动的有几人?

离散数学期末试题及答案完整版

离散数学期末试题及答 案 HEN system office room 【HEN16H-HENS2AHENS8Q8-HENH1688】

326《离散数学》期末考试题(B ) 一、填空题(每小题3分,共15分) 1.设,,},,{{b a b a A =?},则-A ? = ( ),-A {?} = ( ), )(A P 中的元素个数=|)(|A P ( ). 2.设集合A 中有3个元素,则A 上的二元关系有( )个,其中有( )个是A 到A 的函数. 3.谓词公式))()(())()((y P y Q y x Q x P x ?∧?∧→?中量词x ?的辖域为( ), 量词y ?的辖域为( ). 4.设}24,12,8,6,4,3,2,1{24=D ,对于其上的整除关系“|”,元素( )不存在补元. 5.当n ( )时,n 阶完全无向图n K 是平面图,当当n 为( )时,n K 是欧拉图. 二.1. 若n B m A ==||,||,则=?||B A ( ),A 到B 的2元关系共有( )个,A 上的2元关系共有( )个. 2. 设A = {1, 2, 3}, f = {(1,1), (2,1), (3, 1)}, g = {(1, 1), (2, 3), (3, 2)}和h = {(1, 3), (2, 1), (3, 1)},则( )是单射,( )是满射,( )是双射. 3. 下列5个命题公式中,是永真式的有( )(选择正确答案的番号). (1)q q p p →→∧)(; (2))(q p p ∨→; (3))(q p p ∧→; (4)q q p p →∨∧?)(; (5)q q p →→)(. 4. 设D 24是24的所有正因数组成的集合,“|”是其上的整除关系,则3的补元( ),4的补元( ),6的补元( ).

离散数学期末试卷A卷及答案

《离散数学》试卷(A 卷) 一、 选择题(共5 小题,每题 3 分,共15 分) 1、设A={1,2,3},B={2,3,4,5},C={2,3},则C B A ⊕?)(为(C )。 A 、{1,2} B 、{2,3} C 、{1,4,5} D 、{1,2,3} 2、下列语句中哪个是真命题 ( A ) A 、如果1+2=3,则4+5=9; B 、1+2=3当且仅当4+5≠9。 C 、如果1+2=3,则4+5≠9; D 、1+2=3仅当4+5≠9。 3、个体域为整数集合时,下列公式( C )不是命题。 A 、)*(y y x y x =?? B 、)4*(=??y x y x C 、)*(x y x x =? D 、)2*(=??y x y x 4、全域关系A E 不具有下列哪个性质( B )。 A 、自反性 B 、反自反性 C 、对称性 D 、传递性 5、函数612)(,:+-=→x x f R R f 是( D )。 A 、单射函数 B 、满射函数 C 、既不单射也不满射 D 、双射函数 二、填充题(共 5 小题,每题 3 分,共15 分) 1、设|A|=4,|P(B)|=32,|P(A ?B)|=128,则|A ?B|=??2???.

2、公式)(Q P Q ?∨∧的主合取范式为 。 3、对于公式))()((x Q x P x ∨?,其中)(x P :x=1, )(x Q :x=2,当论域为{0,1,2}时,其真值为???1???。 4、设A ={1,2,3,4},则A 上共有???15????个等价关系。 5、设A ={a ,b ,c },B={1,2},则|B A |= 8 。 三、判断题(对的填T ,错的填F ,共 10 小题,每题 1 分,共计10 分) 1、“这个语句是真的”是真命题。 ( F ) 2、“张刚和小强是同桌。”是复合命题。 ( F ) 3、))(()(r q q p p ∧?∧→?∨是矛盾式。 ( T ) 4、)(T S R T R S R ??????。 ( F ) 5、恒等关系具有自反性,对称性,反对称性,传递性。 ( T ) 6、若f 、g 分别是单射,则g f ?是单射。 ( T ) 7、若g f ?是满射,则g 是满射。 ( F ) 8、若A B ?,则)()(A P B P ?。 ( T ) 9、若R 具有自反性,则1-R 也具有自反性。 ( T ) 10、B A ∈并且B A ?不可以同时成立。 (F ) 四、计算题(共 3 小题,每题 10 分,共30 分) 1、调查260个大学生,获得如下数据:64人选修数学课程,94人选修计算机课程,58人选修商贸课程,28人同时选修数学课程和商贸课程,26人同时选修数学课程和计算机课程,22人同时选修计算机课程和商贸课程,14人同时选修三门课程。问 (1)三门课程都不选的学生有多少? (2)只选修计算机课程的学生有多少?

08计算机《离散数学》期中试卷答案

系 专业 年级 班级 学号 姓名 ……………………装……………………订……………………线…………………… 泉州师院2009-2010学年度第一学期 2008级计算机《离散数学》期中试卷 题 序 一 二 三 四 五 总分 成 绩 签 名 一、单项选择题:(20%,每空2分) 1.设A={a,{a}},下列命题错误的是( B )。 A .{a}P(A) B .{a}P(A) C .{{a}}P(A) D .{{a}}P(A) 2、假定全集E ={1,2,3,4,5,6,7,8,9,10},A={3,4,5},B ={2,3,4,7,8,9},则A ∪B 的位串是( D )。 A .01 B .0011100000 C .00 D .00 3、下列文氏图阴影部分所表示的集合是( A )。 A. (A-(B ∪C))∪((B ∪C)-A) B. (A-(B ∩C))∪((B ∩C)-A) C. (A-(B ∩C))∪((B ∪C)-A) D. (A-(B ∪C))∪((B ∩C)-A) 4.设p :你主修计算机科学,q :你是新生, r :你可以从校园网访问因特网。只有你主修计算机科学或不是新生,你才可以从校园网访问因特网。可符号化为( C )。 A .r →p ∨q B .r →p ∧q C .r →p ∨q D .r →p ∨q 5.下列是两个命题变元p ,q 的极小项是( A ) A .┐p ∧q B .┐p ∨q C .p ∧┐p ∧q D .┐p ∨p ∨q 6、下列等值式不正确的是( C ) A .┐(x)A(x)┐A B .(x)(B →A(x))B →(x)A(x) C .(x)(A(x)∧B(x))(x)A(x)∧(x)B(x) D .(x)(y)(A(x)→B(y))( x)A(x)→(y)B(y) 7、若s={1,2,3,4},S 上关系R 的关系图为: 则R 具有( B )性质。 A 、自反性 B 、自反性、对称性 C 、反自反性、反对称性 D 、自反性、对称性、传递性 8.设A={a,b,c,d},A 上的等价关系R={,,,}∪I A ,则对应于R 的A 的划分是( D ) A .{{a},{b,c},{d}} B .{{a,b},{c},{d}} C .{{a},{b},{c},{d}} D .{{a,b},{c,d}} 9、设A={1,2,3},则A 上的二元关系有( C )个。 A. 2 3 B. 3 2 C. D. 10.下列函数是双射的为( A ),其中:I —整数集,E —偶数集, N —自然数集,R —实数集。 A. f : IE , f (x) = 2x B. f : NNN, f (n) = C. f : RI , f (x) = [x] D. f :IN, f (x) = | x | 二.填空题(20%,每题2分) 1.集合的表示法有 列举法、描述法 。 。则设、 } {0 A 1 ==??????=∞ =I i i i A i i ,...,,,,,3211023.令p :今天下雪了,q :路滑,则命题“虽然今天下雪了,但是路不滑”可符号化为 p →q 。 4.复合命题(p →q)∨(p → q)是___ 永真____式(永真式或永假式或可满足 式)。 5.令谓词P(x,y)表示”x 爱y ”,个体域是全世界所有人的集合,用P(x,y)、量词 得 分 评卷人 得 分 评卷人

【浙江工商大学】《离散数学》期末考试题(B)

《离散数学》期末考试题(B) 一、填空题(每小题3分,共15分) 1.设,,},,{{b a b a A =?},则-A ? = ( ),-A {?} = ( ),)(A P 中的元素个数=|)(|A P ( ). 2.设集合A 中有3个元素,则A 上的二元关系有( )个,其中有( )个是A 到A 的函数. 3.谓词公式))()(())()((y P y Q y x Q x P x ?∧?∧→?中量词x ?的辖域为 ( ), 量词y ?的辖域为( ). 4.设}24,12,8,6,4,3,2,1{24=D ,对于其上的整除关系“|”,元素( )不存在补元. 5.当n ( )时,n 阶完全无向图n K 是平面图,当当n 为( )时,n K 是欧拉图. 二、单选题(每小题3分,共15分) 1.设R 是集合A 上的偏序关系,1-R 是R 的逆关系,则1 -?R R 是A 上的 (A)偏序关系 (B)等价关系 (C)相容关系 (D)以上结论都不成立 2.由2个命题变元p 和q 组成的不等值的命题公式的个数有 (A)2 (B)4 (C)8 (D)16 3.设p 是素数且n 是正整数,则任意有限域的元素个数为 (A)n p + (B)pn (C)n p (D)p n 4.设R 是实数集合,≤是其上的小于等于关系,则(R, ≤)是 (A)有界格 (B)分配格 (C)有补格 (D)布尔格 5.3阶完全无向图3K 的不同构的生成子图有 (A)2 (B)3 (C)4 (D)5 三、判断题(每小题3分,共15分): 正确打“√”,错误打“×”. 1.若一个元素a 既存在左逆元l a ,又存在右逆元r a ,则r l a a =. ( ) 2.命题联结词→不满足结合律. ( ) 3.在Z 8 = {0,1,2,3,4,5,6,7}中,2关于“?8”的逆元为 4. ( ) 4.整环不一定是域. ( )

安徽大学期末试卷离散数学上卷及参考答案.doc

安徽大学20 09 — 20 10 学年第 1 学期 《离散数学(上)》考试试卷(A 卷) (时间120分钟) 院/系 专业 姓名 学号 题 号 一 二 三 四 五 总分 得 分 一、单选题(每小题2分,共20分) 1. 设A={a,b,c},A 上二元关系R={〈a,a 〉,〈b,b 〉,〈a,c 〉},则关系R 的对称闭包S(R)是( ) A.R ∪I A B.R C.R ∪{〈c,a 〉} D.R ∩I A 2. 设X={a,b,c},I x 是X 上恒等关系,要使I x ∪{〈a,b 〉,〈b,c 〉,〈c,a 〉,〈b,a 〉}∪R 为X 上的等 价关系,R 应取( ) A. {〈c,a 〉,〈a,c 〉} B.{〈c,b 〉,〈b,a 〉} C. {〈c,a 〉,〈b,a 〉} D.{〈a,c 〉,〈c,b 〉} 3. 下列式子正确的是( ) A. ?∈? B.??? C.{?}?? D.{?}∈? 4. 设解释R 如下:论域D 为实数集,a=0, f(x,y)=x-y, A(x,y):x

河海大学文天学院09级离散数学期中考试试卷答案

2010-2011学年第一学期离散数学期中考试试卷答案 一、(本题满分12分)在命题逻辑中将下列命题符号化。 (1)小王边走路边听音乐。(2)除非a能被2整除,a才能被4整除。 (3)派小张、小李中的一人去开会。(4)小张和小李是同学。 (5)今天是星期一仅当明天是星期二。(6)若2+2≠4,则3+3≠6;反之亦然。 解:(1)令p:小王走路;q:小王听音乐。符号化为p∧q (2)令p:a能被2整除;q:a能被4。符号化为q→p (3)令p:派小张去开会;q:派小李去开会。符号化为(p∧┐q)∨(┐p∧q) (4)令p:小张和小李是同学。符号化为p (5)令p:今天是星期一;q:明天是星期二。符号化为p→q (6)令p:2+2=4;q:3+3=6。符号化为┐p?┐q 二、(本题满分12分)在一阶逻辑中将下列命题符号化。 (1)有的有理数能被2整除。(2)没有不犯错误的人。 (3)人都不一样高。(4)说火车比汽车跑的快是不对的。 (5)4>2与3≥1互为充要条件。(6)除非李键是东北人,否则他一定怕冷。解:(1)令F(x):x为有理数;G(x):x能被2整除。符号化为?x(F(x)∧G(x)) (2)令F(x):x是人,G(x):x犯错误,则命题符号化为:?x(F(x)→G(x)) (3)令F(x):x是人;H(x,y):x与y一样高。符号化为?x?y(F(x)∧F(y)→┐H(x,y))(4)令F(x):x是火车,G(y):y是汽车,H(x,y):x比y快,┐?x?y(F(x)∧G(y)→H(x,y))(5)令F(x,y):x>y,G(x,y):x≥y,a:4,b:2,c:3,d:1。符号化为F(a,b)?G(c,d) (6)令F(x):x是东北人,G(x):x怕冷,a:李键,符号化为┐G(a)→F(a) 三、(本题满分8分)给出公式(q →r) ∧ ( p→p)的真值表并求出成真赋值和成假赋值。解:真值表如下 成真赋值:000、001、011、100、101、111;成假赋值:010、110 四、(本题满分10分)设p:2能整除5,q:太阳从西方升起,r:一年分四季。求下列复合命题的真值: (1)((p ∨q) → r)∧(r→ (p ∧q)) (2)((┐q ?p) → (r ∨p)) ∨ ((┐p ∧┐q) ∧r) 解:由题意,p、q、r的真值分别为0、0、1。(1)的真值为0;(2)的真值为1。 五、(本题满分12分)使用等值演算法判断公式下列公式的类型。

离散数学期末考试试题及答案

离散数学试题(B卷答案1) 一、证明题(10分) 1)(P∧(Q∧R))∨(Q∧R)∨(P∧R)R 证明: 左端(P∧Q∧R)∨((Q∨P)∧R) ((P∧Q)∧R))∨((Q∨P)∧R) ((P∨Q)∧R)∨((Q∨P)∧R) ((P∨Q)∨(Q∨P))∧R ((P∨Q)∨(P∨Q))∧R T∧R(置换)R 2) x (A(x)B(x))xA(x)xB(x) 证明:x(A(x)B(x))x(A(x)∨B(x)) x A(x)∨xB(x) xA(x)∨xB(x) xA(x)xB(x) 二、求命题公式(P∨(Q∧R))(P∧Q∧R)的主析取范式和主合取范式(10分)。 证明:(P∨(Q∧R))(P∧Q∧R)(P∨(Q∧R))∨(P∧Q∧R)) (P∧(Q∨R))∨(P∧Q∧R) (P∧Q)∨(P∧R))∨(P∧Q∧R) (P∧Q∧R)∨(P∧Q∧R)∨(P∧Q∧R))∨(P∧Q∧R))∨(P∧Q∧R) m0∨m1∨m2∨m7 M3∨M4∨M5∨M6 三、推理证明题(10分) 1)C∨D,(C∨D)E, E(A∧B),(A∧B)(R∨S)R∨S证明:(1) (C∨D) E ?P (2) E(A∧B) ??P (3) (C∨D)(A∧B) T(1)(2),I (4) (A∧B)(R∨S)??P (5) (C∨D)(R∨S) ? T(3)(4),I (6) C∨D P (7) R∨S T(5),I 2) x(P(x)Q(y)∧R(x)),xP(x)Q(y)∧x(P(x)∧R(x)) 证明(1)xP(x) P

(2)P(a) T(1),ES (3)x(P(x)Q(y)∧R(x)) P (4)P(a)Q(y)∧R(a) T(3),US (5)Q(y)∧R(a) T(2)(4),I (6)Q(y) T(5),I (7)R(a) T(5),I (8)P(a)∧R(a) T(2)(7),I (9)x(P(x)∧R(x)) T(8),EG (10)Q(y)∧x(P(x)∧R(x)) T(6)(9),I 四、某班有25名学生,其中14人会打篮球,12人会打排球,6人会打篮球和排球,5人会打篮球和网球,还有2人会打这三种球。而6个会打网球的人都会打另外一种球,求不会打这三种球的人数(10分)。 解:A,B,C分别表示会打排球、网球和篮球的学生集合。则|A|=12,|B|=6,|C|=14,|A∩C|=6,|B∩C|=5,|A∩B∩C|=2。 先求|A∩B|。 ∵6=|(A∪C)∩B|=|(A∩B)∪(B∩C)|=|(A∩B)|+|(B∩C)|-|A∩B∩C|=|(A∩B)|+5-2,∴|(A∩B)|=3。 于是|A∪B∪C|=12+6+14-6-5-3+2=20。不会打这三种球的人数25-20=5。五、已知A、B、C是三个集合,证明A-(B∪C)=(A-B)∩(A-C)(10分)。 证明:∵x A-(B∪C) x A∧x(B∪C) xA∧(xB∧x C) (x A∧x B)∧(x A∧xC) x(A-B)∧x(A-C) x(A-B)∩(A-C) ∴A-(B∪C)=(A-B)∩(A-C) 六、已知R、S是N上的关系,其定义如下:R={| x,yN∧y=x2} R*S={| x,y N∧y=x2+1} S*R={<x,y>| x,yN∧y=(x+1)2},R{1,2}={<1,1>,<2,4>},S[{1,2}]={1,4}。 七、设R={<a,b>,,<c,a>},求r(R)、s(R)和t(R) (15分)。 解:r(R)={,,,<b,b>,

离散数学期末考试试题及答案

离散数学试题(B卷答案1) 一、证明题(10分) 1)(?P∧(?Q∧R))∨(Q∧R)∨(P∧R)?R 证明: 左端?(?P∧?Q∧R)∨((Q∨P)∧R) ?((?P∧?Q)∧R))∨((Q∨P)∧R) ?(?(P∨Q)∧R)∨((Q∨P)∧R) ?(?(P∨Q)∨(Q∨P))∧R ?(?(P∨Q)∨(P∨Q))∧R ?T∧R(置换)?R 2) ?x (A(x)→B(x))??xA(x)→?xB(x) 证明:?x(A(x)→B(x))??x(?A(x)∨B(x)) ??x?A(x)∨?xB(x) ???xA(x)∨?xB(x) ??xA(x)→?xB(x) 二、求命题公式(P∨(Q∧R))→(P∧Q∧R)的主析取范式和主合取范式(10分)。 证明:(P∨(Q∧R))→(P∧Q∧R)??(P∨(Q∧R))∨(P∧Q∧R)) ?(?P∧(?Q∨?R))∨(P∧Q∧R) ?(?P∧?Q)∨(?P∧?R))∨(P∧Q∧R) ?(?P∧?Q∧R)∨(?P∧?Q∧?R)∨(?P∧Q∧?R))∨(?P∧?Q∧?R))∨(P∧Q∧R) ?m0∨m1∨m2∨m7 ?M3∨M4∨M5∨M6 三、推理证明题(10分) 1)C∨D, (C∨D)→?E,?E→(A∧?B), (A∧?B)→(R∨S)?R∨S 证明:(1) (C∨D)→?E P (2) ?E→(A∧?B) P (3) (C∨D)→(A∧?B) T(1)(2),I (4) (A∧?B)→(R∨S) P (5) (C∨D)→(R∨S) T(3)(4), I (6) C∨D P (7) R∨S T(5),I 2) ?x(P(x)→Q(y)∧R(x)),?xP(x)?Q(y)∧?x(P(x)∧R(x)) 证明(1)?xP(x) P

离散数学期末试卷及答案

一.判断题(共10小题,每题1分,共10分) 在各题末尾的括号内画 表示正确,画 表示错误: 1.设p、q为任意命题公式,则(p∧q)∨p ? p ( ) 2.?x(F(y)→G(x)) ? F(y)→?xG(x)。( ) 3.初级回路一定是简单回路。( ) 4.自然映射是双射。( ) 5.对于给定的集合及其上的二元运算,可逆元素的逆元是唯一的。( ) 6.群的运算是可交换的。( ) 7.自然数集关于数的加法和乘法构成环。( ) 8.若无向连通图G中有桥,则G的点连通度和边连通度皆为1。( ) 9.设A={a,b,c},则A上的关系R={,}是传递的。( ) 10.设A、B、C为任意集合,则A?(B?C)=(A?B)?C。( ) 二、填空题(共10题,每题3分,共30分) 11.设p:天气热。q:他去游泳。则命题“只有天气热,他才去游泳”可符号 化为。 12.设M(x):x是人。S(x):x到过月球。则命题“有人到过月球”可符号 化为。 13.p?q的主合取范式是。 14.完全二部图K r,s(r < s)的边连通度等于。 15.设A={a,b},,则A上共有个不同的偏序关系。 16.模6加群中,4是阶元。 17.设A={1,2,3,4,5}上的关系R={<1,3>,<1,5>,<2,5>,<3,3>,<4,5>},则R的传递闭包t(R) = 。. 18.已知有向图D的度数列为(2,3,2,3),出度列为(1,2,1,1),则有向图D的入度

列为。 19.n阶无向简单连通图G的生成树有条边。 20.7阶圈的点色数是。 三、运算题(共5小题,每小题8分,共40分) 21.求?xF(x)→?yG(x,y)的前束范式。 22.已知无向图G有11条边,2度和3度顶点各两个,其余为4度顶点,求G 的顶点数。 23.设A={a,b,c,d,e,f},R=I A?{,},则R是A上的等价关系。求等价类[a]R、[c]R及商集A/R。 24.求图示带权图中的最小生成树,并计算最小生成树的权。 25.设R*为正实数集,代数系统< R*,+>、< R*,·>、< R*,/>中的运算依次为普通加法、乘法和除法运算。试确定这三个代数系统是否为群?是群者,求其单位元及每个元素的逆元。 四、证明题(共3小题,共20分) 26 (8分)在自然推理系统P中构造下述推理的证明: 前题:p→(q∨r),?s→?q,p∧?s 结论:r 27 (6分)设是群,H={a| a∈G∧?g∈G,a*g=g*a},则是G的子群 28.(6分)设G是n(≥3)阶m条边、r个面的极大平面图,则r=2n-4。

《离散数学》期末考试试题

《离散数学》期末考试试题 一、 填空题(每空2分,合计20分) 1. 设个体域为{2,3,6}D =-, ():3F x x ≤,():0G x x >。则在此解释下公式 ()(()())x F x G x ?∧的真值为______。 2. 设:p 我是大学生,:q 我喜欢数学。命题“我是喜欢数学的大学生”为可符合化 为 。 3. 设{1,2,3,4}A =,{2,4,6}B =,则A B -=________,A B ⊕=________。 4. 合式公式()Q P P ?→∧是永______式。 5. 给定集合{1,2,3,4,5}A =,在集合A 上定义两种关系: {1,3,3,4,2,2}R =<><><>, {4,2,3,1,2,3}S =<><><>, 则_______________S R =ο,_______________R S =ο。 6. 设e 是群G 上的幺元,若a G ∈且2a e =,则1a -=____ , 2a -=__________。 7. 公式))(()(S Q P Q P ?∧?∨∧∨?的对偶公式为 。 8. 设{2,3,6,12}A =, p 是A 上的整除关系,则偏序集,A <>p 的最大元是________,极小元是_ _。 9. 一棵有6个叶结点的完全二叉树,有_____个内点;而若一棵树有2个结点度数为2,一 个结点度数为3,3个结点度数为4,其余是叶结点,则该树有_____个叶结点。 10. 设图,G V E =<>, 1234{v ,v ,v ,v }V =,若G 的邻接矩阵????????????=0001001111011010A ,则1()deg v -=________, 4()deg v +=____________。 二、选择题(每题2分,合计20分) 1.下列各式中哪个不成立( )。 A 、)()())()((x xQ x xP x Q x P x ?∨??∨? ; B 、)()())()((x xQ x xP x Q x P x ?∨??∨?; C 、)()())()((x xQ x xP x Q x P x ?∧??∧?; D 、Q x xP Q x P x ∧??∧?)())((。

大学《离散数学》期末考试试卷及答案-(1)

安徽大学2006-2007学年第1学期 《离散数学》期末考试试卷(A卷) (时间120分钟) 开课院(系、部)姓名学号. 一、选择题(每小题2分,共20分)1.下列语句中,哪个是真命题()A、 4 2= + x; B、我们要努力学习; C、如果ab为奇数,那么a是奇数,或b是偶数; D、如果时间流逝不止,你就可以长生不老。 2.下列命题公式中,永真式的是() A、P Q P→ →) (; B、P P Q∧ → ?) (; C、Q P P? ? ∧) (; D、) (Q P P∨ →。3.在谓词逻辑中,令) (x F表示x是火车;) (y G表示y是汽车;) , (y x L表示x比y快。 命题“并不是所有的火车比所有的汽车快”的符号表示中哪些是正确的()

I.)),()()((y x L y G x F y x →∧??? II.)),()()((y x L y G x F y x ?∧∧?? III. )),()()((y x L y G x F y x ?→∧?? A 、仅I ; B 、仅III ; C 、I 和II ; D 、都不对。 4.下列结论正确的是:( ) A 、若C A B A =,则 C B =; B 、若B A B A ?,则B A =; C 、若C A B A =,则C B =; D 、若B A ?且D C ?,则D B C A ?。 5.设φ=1A ,}{2φ=A ,})({3φρ=A ,)(4φρ=A ,以下命题为假的是( ) A 、42A A ∈; B 、31A A ?; C 、24A A ?; D 、34A A ∈。 6.设R 是集合},,,{d c b a A =上的二元关系, },,,,,,,,,,,{><><><><><><=b d d b a c c a a d d a R 。下列哪些命题为真( ) I.R R ?是对称的 II. R R ?是自反的 III. R R ?不是传递的 A 、仅I ; B 、仅II ; C 、I 和II ; D 、全真。

08计算机《离散数学》期中试卷答案

泉州师院2009-2010学年度第一学期 2008级计算机《离散数学》期中试卷 一、单项选择题:(20%,每空2分) 1.设A={a,{a}},下列命题错误的是( B )。 A .{a}∈P(A) B .{a}?P(A) C .{{a}}∈P(A) D .{{a}}?P(A) 2、假定全集E ={1,2,3,4,5,6,7,8,9,10},A={3,4,5},B ={2,3,4,7,8,9},则A ∪B 的位串是( D )。 A .1000000001 B .0011100000 C .0111001110 D .0111101110 3、下列文氏图阴影部分所表示的集合是( A )。 A. (A-(B ∪C))∪((B ∪C)-A) B. (A-(B ∩C))∪((B ∩C)-A) C. (A-(B ∩C))∪((B ∪C)-A) D. (A-(B ∪C))∪((B ∩C)-A) 4.设p :你主修计算机科学,q :你是新生, r : 你可以从校园网访问因特网。只有你主修计算机科学或不是新生,你才可以从校园网访问因特网。可符号化为( C )。 A .r →p ∨q B .r →p ∧q C .r →p ∨?q D .r →p ∨?q 5.下列是两个命题变元p ,q 的极小项是( A ) A .┐p ∧q B .┐p ∨q C .p ∧┐p ∧q D .┐p ∨p ∨q 6、下列等值式不正确的是( C ) A .┐(?x)A ?(?x)┐A B .(?x)(B →A(x))?B →(?x)A(x) C .(?x)(A(x)∧B(x))?(?x)A(x)∧(?x)B(x) D .(?x)(?y)(A(x)→B(y))?( ?x)A(x)→(?y)B(y) 7、若s={1,2,3,4},S 上关系R 的关系图为: 则R 具有( B )性质。 A 、自反性 B 、自反性、对称性 C 、反自反性、反对称性 D 、自反性、对称性、传递性 8.设A={a,b,c,d},A 上的等价关系R={,,,}∪I A ,则对应于R 的A 的划分是( D ) A .{{a},{b,c},{d}} B .{{a,b},{c},{d}} C .{{a},{b},{c},{d}} D .{{a,b},{c,d}} 9、设A={1,2,3},则A 上的二元关系有( C )个。 A. 23 B. 32 C. 3 32 ? D. 2 23 ? 10.下列函数是双射的为( A ),其中:I —整数集,E —偶数集, N —自然数集,R —实数集。 A. f : I →E , f (x) = 2x B. f : N →N ?N, f (n) = C. f : R →I , f (x) = [x] D. f :I →N, f (x) = | x | 二.填空题(20%,每题2分) 1.集合的表示法有 列举法、描述法 。 。则设、 } {0 A 1 ==??????=∞ = i i i A i i ,...,,,,,3211023.令p :今天下雪了,q :路滑,则命题“虽然今天下雪了,但是路不滑”可符号化为 p →?q 。

离散数学-期末考试卷-A卷

离散数学-期末考试卷-A卷

东莞理工学院城市学院(本科)试卷(A卷) 2013-2014学年第一学期 开课单位:计算机与信息科学系,考试形式:闭卷,允许带入场 科目:离散数学,班级:软工本2012-1、2、3 姓名:学号: 题序一二三四总分 得分 A评 卷人 一、单项选择题(每小题2分,共20分) 在每小题列出的四个备选项中只有一个是符合题目要求的,错选、多选或未选均无分。 1. 下述不是命题的是( ) A. 做人真难啊! B. 后天是阴天。 C. 2是偶数。 D. 地球是方的。 2. 命题公式P→(P∨Q∨R)是( ) A. 永假的 B. 永真的 C. 可满足的

D. 析取范式 3. 命题公式﹁B→﹁A等价于( ) A. ﹁A∨﹁ B B. ﹁(A∨B) C. ﹁A∧﹁ B D. A→B 4.设P:他聪明,Q:他用功,命题“他虽聪明但不用功”的符号化正确的是()A.?P∧Q B.P∧?Q C.P→?Q D.P∨?Q 5.设A(x):x是人,B(x):x犯错误,命题“没有不犯错误的人”符号化为()A.?x(A(x))∧B(x) B.??x( A(x)→?B(x) ) C.??x( A(x)∧B(X)) D.??x( A(x)∧?B(x) ) 6. 设有A={a,b,c}上的关系R={,,,},则R具有( ) A. 自反性 B. 反自反性 C. 传递性 D. 反对称性

7. 设A={1,2,3,4,5,6},B={a,b,c,d,e},以下哪一个关系是从A到B的满射函数( ) A. f={<1,a>,<2,b>,<3,c>,<4,d>,<5,e>} B. f={<1,e>,<2,d>,<3,c>,<4,b>,<5,a>,<6,e>} C. f={<1,a>,<2,b>,<3,c>,<4,a>,<5,b>,<6,c>} D. f={<1,a>,<2,b>,<3,c>,<4,d>,<5,e>,<1,b>} 8.设简单图G所有结点的度数之和为10,则G一定有() A.3条边B.4条边C.5条边 D.6条边 9.下列不.一定是树的是() A.每对结点之间都有通路的图 B.有n个结点,n-1条边的连通图 C.无回路的连通图D.连通但删去一条边则不连通的图 10.下列各图中既是欧拉图,又是哈密顿图的是()

离散数学期末试卷(A)

离散数学期末试卷(A) XXXX大学XX学院2007 ~2008学年第一学期《离散数学》期末试卷年级专业题号得分适用年级专业:2006级软件工程专业试卷说明:闭卷考试,考试时间120分钟一、单项选择题1.下列语句中只有不是命题。C A.今年元旦会下雪。B.1+1=10。C.嫦娥一号太棒了!D.嫦娥奔月的神话已成为现实。2.p?q 的主合取范式是。 B A.(p?q)?(p??q)B.(p??q)?(?p?q) C.(p?q)?(?p??q)D.(p?q)?(?p?q) 3.与p? q等值的命题公式是。D A.?p?q B.p??q C.p??q D.?p?q 4.在一阶逻辑中使用的量词只有个。B A.1B.2 C.3D.4 5.??xA(x)?。C A.??xA(x) B.?x?A(x) C.?x?A(x)

D.?xA(x) 6.若|A|=4,则|P(A)|=。 C A.4B.8C.16 D.64 7.设A、B、C为任意集合,集合的对称差运算不具有的性质是。 D A.A?B = B?A B.(A?B)?C = B?(A?C) 班级学号一二三姓名____________ 四总分C.A?A = ?D.A?A = A 8.二元关系是。B A.两个集合的笛卡儿积B.序偶的集合C.映射的集合D.以上都不是9.下面关于函数的叙述中正确的是。D A.函数一定是满射B.函数一定是单射C.函数不是满射就单射D.函数是特殊的关系10.半群中的二元运算一定满足=。B A.交换律B.结合律C.分配律D.幂等律11.环中有个二元运算。 B A.一B.二C.三D.四12.群与独异点的区别是。 C A.满足交换律B.满足结

离散数学期中考试

离散数学期中考试试卷 班级————姓名————学号———— 一、单项选择题(每题4分,共32分。) 1、前提┐P∨Q, ┐Q∨R, ┐R的结论是()。 A. Q B. ┐P C. P∨Q D. ┐P→R 2、下列语句为命题的是()。 A.暮春三月,江南草长。 B.这是多么可爱的风景啊! C.大家想做什么,就做什么,行吗? D.请勿践踏草坪! 3、下列复合命题为真命题的是()。 A.如果3+3≠6,则3是奇数。 B.3是有理数当且仅当加拿大在亚洲。 C.只要乌鸦是黑色的,就有中国是世界上面积最大的国家。 D.2是偶素数是不对的。 4、下列关于谓词公式的论述不正确的是()。 A.闭式在任何解释下都是命题。 B.可满足式是指存在一个解释使得在该解释下对任一赋值公式都为真。 C.命题公式中的重言式的代换实例是永真式。 D.命题公式中的矛盾式的代换实例是矛盾式。 ,B=P(P(A)),以下不正确的是()。 A.{}∈B B.{}∈B C.{}包含于B D.{{{}}}包含于B 6、设集合{1,2,3},下列关系R中不是等价关系的是()。 A.R={(1,1),(2,2),(3,3)} B.R={(1,1),(2,2),(3,3),(3,2),(2,3)} C.R={(1,1),(2,2),(3,3), (1, 4)} D.R={(1,1),(2,2),(1,2),(2,1),(1,3),(3,1),(3,3),(3,2),(2,3)} 7、对于如下某个偏序集的哈斯图,其中集合{a,b,c,e}的最大元是()。 A.c B.d C.e D.无

8、命题公式A和B是等值的,是指()。 A.A和B有相同的命题变项。 B.A和B都是可满足的。 C.当A对某一赋值为真时,B对该赋值也为真。 D.A和B有相同的真值表。 二、填空题(每题3分,共15 分。) 1、设R为非空集合A上的二元关系,如果R满足()、()、(),则称R为A上的一个偏序关系。 2、若集合A={1, 2, 3}上的二元关系R1和R2的关系图如下所示, 则R1o R2 =(),R2o R1=()。 3、用P和P∧Q同时代入合式公式P→┐(P∨Q)中的P和Q,所得代换实例为()。 4、设F(x):x是人,H(x,y):x与y一样高,在一阶逻辑中,命题“人都不一样高”的符号化形式为_________________。 5、P({Φ,1}) = _____________________________________。 三、计算题(每题8分,共16分) 1.求下面公式的主析取范式和主合取范式。 ( →) r p→ q 2.求集合A={a,b,c}的所有划分和他们相应的等价关系。

离散数学考试题详细答案

离散数学考试题详细答案

离散数学考试题(后附详细答案) 一、命题符号化(共6小题,每小题3分,共计 18分) 1.用命题逻辑把下列命题符号化 a)假如上午不下雨,我去看电影,否则就在家里读书或看报。 设P表示命题“上午下雨”,Q表示命题“我去看电影”,R表示命题“在家里读书”,S表示命题“在家看报”,命题符号化为:(?P?Q)∧(P?R∨S) b)我今天进城,除非下雨。 设P表示命题“我今天进城”,Q表示命题“天下雨”,命题符号化为:?Q→P或?P→Q c)仅当你走,我将留下。 设P表示命题“你走”,Q表示命题“我留下”,命题符号化为: Q→P 2.用谓词逻辑把下列命题符号化 a)有些实数不是有理数 设R(x)表示“x是实数”,Q(x)表示“x是有理数”,命题符号化为: ?x(R(x) ∧?Q(x)) 或??x(R(x) →Q(x))

b)对于所有非零实数x,总存在y使得xy=1。 设R(x)表示“x是实数”,E(x,y)表示“x=y”,f(x,y)=xy, 命题符号化为: ?x(R(x) ∧?E(x,0) →?y(R(y) ∧E(f(x,y),1)))) c)f 是从A到B的函数当且仅当对于每个a∈A 存在唯一的b∈B,使得f(a)=b. 设F(f)表示“f是从A到B的函数”, A(x)表示“x ∈A”, B(x)表示“x∈B”,E(x,y)表示“x=y”, 命题符号化为:F(f)??a(A(a)→?b(B(b) ∧E(f(a),b) ∧?c(S(c) ∧ E(f(a),c) →E(a,b)))) 二、简答题(共6道题,共32分) 1.求命题公式(P→(Q→R))?(R→(Q→P))的主析取范式、主合取范式,并写出所有成真赋值。(5分) (P→(Q→R))?(R→(Q→P))?(?P∨?Q∨R)?(P∨?Q∨?R) ?((?P∨?Q∨R)→(P∨?Q∨?R)) ∧((P∨?Q∨?R) →(?P∨?Q∨R)).

相关主题