离散数学习题汇总
离散数学练习题(含答案)

离散数学试题第一部分选择题一、单项选择题1.下列是两个命题变元p,q的小项是( C )A.p∧┐p∧q B.┐p∨qC.┐p∧q D.┐p∨p∨q2.令p:今天下雪了,q:路滑,则命题“虽然今天下雪了,但是路不滑”可符号化为( D )A.p→┐q B.p∨┐qC.p∧q D.p∧┐q3.下列语句中是命题的只有( A )A.1+1=10 B.x+y=10C.sinx+siny<0 D.x mod 3=24.下列等值式不正确的是( C )A.┐(∀x)A⇔(∃x)┐AB.(∀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)5.谓词公式(∃x)P(x,y)∧(∀x)(Q(x,z)→(∃x)(∀y)R(x,y,z)中量词∀x的辖域是( C )A.(∀x)Q(x,z)→(∃x)(∀y)R(x,y,z))B.Q(x,z)→(∀y)R(x,y,z)C.Q(x,z)→(∃x)(∀y)R(x,y,z)D.Q(x,z)6.设A={a,b,c,d},A上的等价关系R={<a,b>,<b,a>,<c,d>,<d,c>}∪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}}7.设A={Ø},B=P(P(A)),以下正确的式子是( A )A.{Ø,{Ø}}∈B B.{{Ø,Ø}}∈BC.{{Ø},{{Ø}}}∈B D.{Ø,{{Ø}}}∈B8.设X,Y,Z是集合,一是集合相对补运算,下列等式不正确的是( A )A.(X-Y)-Z=X-(Y∩Z)B.(X-Y)-Z=(X-Z)-YC.(X-Y)-Z=(X-Z)-(Y-Z)D.(X-Y)-Z=X-(Y∪Z)9.在自然数集N上,下列定义的运算中不可结合的只有( D )A.a*b=min(a,b)B.a*b=a+bC.a*b=GCD(a,b)(a,b的最大公约数)02324# 离散数学试题第1 页共4页02324# 离散数学试题 第 2 页 共4页D .a*b=a(mod b)10.设R 和S 是集合A 上的关系,R ∩S 必为反对称关系的是( A ) A .当R 是偏序关系,S 是等价关系; B .当R 和S 都是自反关系; C .当R 和S 都是等价关系; D .当R 和S 都是传递关系11.设R 是A 上的二元关系,且R ·R ⊆R,可以肯定R 应是( D ) A .对称关系; B .全序关系; C .自反关系; D .传递关系第二部分 非选择题二、填空题1.设论域是{a,b,c},则(∀x)S(x)等价于命题公式 S(a)∧S(b)∧S(c) ;(x ∃)S(x)等价于命题公式 S(a)∨S(b) ∨S(c) 。
离散数学复习题含答案

离散数学复习题含答案1. 集合论基础集合A和集合B的交集表示为A∩B,它包含所有既属于A又属于B的元素。
请写出集合{1, 2, 3}和{2, 3, 4}的交集。
答案:{2, 3}2. 逻辑运算设命题p为“今天是周一”,命题q为“明天是周三”。
请判断复合命题“p且q”的真值。
答案:假3. 图论初步在无向图中,若存在一条路径使得起点和终点相同,则称该图为欧拉图。
请判断一个有5个顶点且每个顶点的度均为2的无向图是否一定是欧拉图。
答案:是4. 组合数学从5个不同的球中选取3个,有多少种不同的选取方法?答案:10种5. 布尔代数在布尔代数中,逻辑或运算符表示为∨,逻辑与运算符表示为∧。
请计算表达式(A∨B)∧(¬A∨¬B)的值。
答案:¬(A∧B)6. 归纳与递归给定递归关系式T(n) = 2T(n-1) + 1,初始条件为T(1) = 1,求T(3)的值。
答案:T(3) = 2T(2) + 1 = 2(2T(1) + 1) + 1 = 2(2*1 + 1) + 1 =2(3) + 1 = 77. 有限状态机在有限状态机中,状态转移可以通过一个转移函数来描述。
若状态转移函数定义为δ(q, a) = q',其中q和q'是状态,a是输入符号,请说明该函数的作用。
答案:该函数定义了在给定当前状态q和输入符号a的情况下,有限状态机将转移到新的状态q'。
8. 正则表达式正则表达式用于描述字符串的模式。
请写出匹配任意长度的数字串的正则表达式。
答案:\d*9. 命题逻辑命题逻辑中的等价关系是指两个命题逻辑表达式在所有可能的真值赋值下具有相同的真值。
请判断命题p∨¬p和命题¬(p∧¬p)是否等价。
答案:是10. 树的遍历在计算机科学中,树的遍历有前序、中序和后序三种方式。
请简述后序遍历的步骤。
答案:后序遍历的步骤是先访问左子树,然后访问右子树,最后访问根节点。
(完整版)离散数学题目及答案

数理逻辑习题判断题1.任何命题公式存在惟一的特异析取范式 ( √ ) 2. 公式)(q p p →⌝→是永真式 ( √ ) 3.命题公式p q p →∧)(是永真式 ( √ ) 4.命题公式r q p ∧⌝∧的成真赋值为010 ( × ) 5.))(()(B x A x B x xA →∃=→∀ ( √ )6.命题“如果1+2=3,则雪是黑的”是真命题 ( × ) 7.p q p p =∧∨)( ( √ )8.))()((x G x F x →∀是永真式 ( × ) 9.“我正在撒谎”是命题 ( × ) 10. )()(x xG x xF ∃→∀是永真式( √ )11.命题“如果1+2=0,则雪是黑的”是假命题 ( × ) 12.p q p p =∨∧)( ( √ )13.))()((x G x F x →∀是永假式 ( × )14.每个命题公式都有唯一的特异(主)合取范式 ( √ ) 15.若雪是黑色的:p ,则q →p 公式是永真式 ( √ ) 16.每个逻辑公式都有唯一的前束范式 ( × ) 17.q →p 公式的特异(主)析取式为q p ∨⌝ ( × ) 18.命题公式 )(r q p →∨⌝的成假赋值是110 ( √ ) 19.一阶逻辑公式)),()((y x G x F x →∀是闭式( × )单项选择题1. 下述不是命题的是( A )A.花儿真美啊! B.明天是阴天。
C.2是偶数。
D.铅球是方的。
2.谓词公式(∀y)(∀x)(P(x)→R(x,y))∧∃yQ(x,y)中变元y (B)A.是自由变元但不是约束变元B.是约束变元但不是自由变元C.既是自由变元又是约束变元D.既不是自由变元又不是约束变元3.下列命题公式为重言式的是( A )A.p→ (p∨q)B.(p∨┐p)→qC.q∧┐q D.p→┐q4.下列语句中不是..命题的只有(A )A.花儿为什么这样红?B.2+2=0C.飞碟来自地球外的星球。
离散数学练习题(含答案)

离散数学练习题(含答案)题目1. 对于集合 $A={1,2,3,...,10}$ 和 $B={n|n是偶数,2<n<8}$,求 $A \cap B$ 的元素。
2. 存在三个可识别的状态A,B,C。
置换群 $S_3$ 作用在状态集上。
定义四个动作:$α: A → C, β: A → B, γ: C→ A, δ: B→ C$。
确定式子,描述 $\{α,β,γ,δ\}$ 的乘法表。
3. 证明 $\forall n \in \mathbb{N}$,合数的个数不小于$n$。
4. 给定一个无向带权图,图中每个节点编号分别是$1,2,...,n$,证明下列结论:a. 如果从节点$i$到$j$只有一条权值最小的路径,则这条路径的任意子路径都是最短路径。
b. 如果从节点$i$到$j$有两条或两条以上权值相等的路径,则从$i$到$j$的最短路径可能不唯一。
答案1. $A \cap B = \{2,4,6\}$。
2. 乘法表:3. 对于任意$n$,我们可以选择$n+1$个连续的自然数$k+1,k+2,...,k+n,k+n+1$中的$n$个数,其中$k \in \mathbb{Z}$。
这$n$个数构成的$n$个正整数均为合数,因为它们都至少有一个小于它自身的因子,所以不是质数。
所以合数的个数不小于任意$n$。
4.a. 根据题意,从$i$到$j$只有一条权值最小的路径,即这条最短路径已被确定。
如果从这条路径中任意取出一段子路径,假设这段子路径不是这个节点到$j$的最短路径,那么存在其他从$i$到$j$的路径比这段子路径更优,又因为这条路径是最短路径,所以这段子路径也一定不优于最短路径,矛盾。
所以从这条路径中任意取出的子路径都是最短路径。
b. 如果从节点$i$到$j$有多条权值相等的路径,则这些路径权值都是最短路径的权值。
因为所有最短路径的权值相等,所以这些路径的权值就是最短路径的权值。
所以从$i$到$j$的最短路径可能不唯一。
离散数学-习题集

离散数学-习题集《离散数学》习题集第⼀部分判断题⼀、第⼀章—集合1、()已知集合A的元素个数为10,则集合A的幂集的基=102。
2、()已知两个集合A、B,若A中的元素都是B中的元素,则记为A∈B。
2、()已知集合A的元素个数为n,则集合A的幂集P(A)的元素个数为n2。
3、( ) 已知两个集合A={Ф,{Ф}},B={Ф},则A∩B={Ф}。
4、()已知两个集合A={Ф,{Ф}},B={Ф},则A∩B=Ф。
5、()已知两个集合A、B,若A中的元素都是B中的元素,则记为A∈B。
6、()已知集合A的元素个数为n,则集合A的幂集P(A)的元素个数为n2。
7、()已知集合A的元素个数为n,则A×A的幂集的元素个数为n2。
8、()已知两个集合A、B,则A-B是由属于B但不属于A的元素构成的集合。
⼆、第⼆章—⼆元关系1、()若R是A上的⼆元关系,I A是A上的恒等关系,则当且仅当I A∈R时,R是A上的⾃反关系。
2、(√)若R是集合A上的⼆元关系,且当(a,b)∈R且(a,c)∈R时,就有(b,c)∈R,则R是A 上的可传递关系。
3、()设A是集合,A1、A2、...A n都是A的⾮空⼦集,令S={A1,A2,...,A n},则如果S是集合A的⼀个划分,那么S⼀定是集合A的⼀个完全覆盖;反之亦然。
5、()R是⾮空集合A上的等价⼆元关系,则A关于R的商集A/R是集合A的⼀个划分,但不是A的⼀个完全覆盖。
6、()已知集合A有4元素,易知集合A共有24个互不相同的⼦集合,所以在集合A上⼀共可定义24个互不相同的⼆元关系。
7、()若R1和R2都是集合A上的可传递⼆元关系,则R1∪R2也是A上的传递关系。
8、()设R是有限的⾮空集合A上的偏序关系,则A必有极⼤(⼩)元和最⼤(⼩)元。
9、()若R1和R2都是集合A上的相容关系,则R1∩R2也是A上的相容关系。
10、()若R1和R2都是集合A的可传递⼆元关系,则R1∩R2也是A上的传递关系。
离散数学试题总汇及答案

离散数学试题总汇及答案一、单项选择题(每题2分,共20分)1. 在集合{1, 2, 3, 4}中,子集{1, 2}的补集是()。
A. {3, 4}B. {1, 3, 4}C. {2, 3, 4}D. {1, 2, 3, 4}答案:A2. 命题“若x > 0,则x² > 0”的逆否命题是()。
A. 若x² ≤ 0,则x ≤ 0B. 若x² > 0,则x > 0C. 若x ≤ 0,则x² ≤ 0D. 若x² ≤ 0,则x < 0答案:C3. 函数f(x) = x² + 2x + 1的值域是()。
A. {x | x ≥ 0}B. {x | x ≥ 1}C. {x | x ≥ 2}D. {x | x ≥ -1}答案:B4. 以下哪个图是无向图()。
A. 有向图B. 无向图C. 有向树D. 无向树答案:B5. 以下哪个图是二分图()。
A. 完全图B. 非完全图C. 任意两个顶点都相连的图D. 任意两个顶点都不相连的图答案:C6. 以下哪个是哈密顿回路()。
A. 经过每个顶点恰好一次的回路B. 经过每个顶点至少一次的回路C. 经过每个顶点恰好两次的回路D. 经过每个顶点至少两次的回路答案:A7. 以下哪个是欧拉回路()。
A. 经过每条边恰好一次的回路B. 经过每条边至少一次的回路C. 经过每条边恰好两次的回路D. 经过每条边至少两次的回路答案:A8. 以下哪个是二进制数()。
A. 1010B. 1020C. 1102D. 1120答案:A9. 以下哪个是格雷码()。
A. 0101B. 1010C. 1100D. 1110答案:B10. 以下哪个是素数()。
A. 4B. 6C. 7D. 8答案:C二、填空题(每题2分,共20分)11. 集合{1, 2, 3}与{2, 3, 4}的交集是______。
答案:{2, 3}12. 命题“若x > 0,则x² > 0”的逆命题是:若x² > 0,则______。
离散数学习题整合

离散数学习题整合CH01复习题§1.21. 命题判断(每空1分,共4分)1.1~1.3P32-A ⼩李和⼩王是同班同学B ⼩猪不是鲜花C 3-2n<0D 若2+2=4,则太阳从西⽅升起。
上述语句中,是简单命题,不是命题,是符合命题且真值为假,是符合命题且真值为真。
(参考答案:ACDB )2. 命题符号化(每空2分,共4分)习题1.5(7)(3) P32-p :天下⼤⾬,q :他乘公共汽车去上班,命题“除⾮天下⼤⾬,否则他不乘公共汽车去上班”可符号化为。
(参考答案:q →p 必要条件为后件)r :天很冷,s :⽼李来了,命题“虽然天很冷,⽼李还是来了” 可符号化为。
(参考答案r ∧s )3. 五个真值表(每空2分,共4分)习题1.6(2)(4) P32-设p 的真值为0,r 的真值为1,q 、s 都是命题,则命题公式()()(s q r p ∨?∧?的真值为,命题公式)()))(((s r p r q p ?∨→?∧→∨?的真值为。
(参考答案:0,1)4. ⽤符号p 、q 填空。
(每空1分,共4分)基本概念设p :x>0(其中x 是整数),q :太阳从西⽅升起,则是命题,是命题变项,是命题常项,不是命题。
(参考答案:q ,p ,q ,p )5. 命题符号化,相容或与排斥或设r :现在⼩李在图书馆,s :现在⼩李在学⽣宿舍,则“现在⼩李在图书馆或学⽣宿舍”可符号化为。
(参考答案:B )A r ∨sB (r ∧?s)∨(?r ∧s)C r ∧sD (r ∧?s)或(?r ∧s)§1.2 命题公式及分类已知:A 是含三个命题变项的命题公式,且A(001)=0,A(100)=1,则A 是。
(D )A ⽭盾是B 可满⾜式C 重⾔式D ⾮重⾔式的可满⾜式§1.3 等值演算⽤等值演算法证明等值式:(p ∧q)→rp →(q →r). (演算的每⼀步都要写依据)§1.4 范式6. A(p,q)的真值表求A 的永主析取范式、主合取范式、成真赋值和成假赋值。
离散数学习题集(十五套含答案)

离散数学试题与答案试卷一一、填空20% (每小题2分)1.设}7|{)},5()(|{<∈=<∈=+xExxBxNxxA且且(+=⋃BA{0,1,2,3,4,6} 。
2.A,B,C表示三个集合,文图中阴影部分的集合表达式为。
3R,S的真值为1,则)()))(((SRPRQP⌝∨→⌝∧→∨⌝的真值= 1 。
4.公式PRSRP⌝∨∧∨∧)()(的主合取范式为)()(RSPRSP∨⌝∨⌝∧∨∨⌝。
5.若解释I的论域D仅包含一个元素,则)()(xxPxxP∀→∃在I下真值为1 。
6.设A={1,2,3,4},A上关系图为则R2 = {<a.b>,<a,c>,<a,d>,<b,d>,<c,d> 。
7.设A={a,b,c,d},其上偏序关系R的哈斯图为则R= {<a.b>,<a,c>,<a,d>,<b,d>,<c,d>} I A。
8.图的补图为9.设A={a,b,c,d} ,A上二元运算如下:那么代数系统<A,*>的幺元是 a ,有逆元的元素为a , b , c ,d,它们的逆元分别为 a , d , c , d 。
10.下图所示的偏序集中,是格的为 c 。
二、选择20% (每小题2分)1、下列是真命题的有(CD)A.}}{{}{aa⊆;B.}}{,{}}{{ΦΦ∈Φ;C.}},{{ΦΦ∈Φ;D.}}{{}{Φ∈Φ。
2、下列集合中相等的有(BC )A.{4,3}Φ⋃;B.{Φ,3,4};C.{4,Φ,3,3};D.{3,4}。
3、设A={1,2,3},则A上的二元关系有( C )个。
A.23 ;B.32 ;C.332⨯;D.223⨯。
4、设R,S是集合A上的关系,则下列说法正确的是(A )A.若R,S 是自反的,则SR 是自反的;B.若R,S 是反自反的,则SR 是反自反的;C .若R ,S 是对称的, 则S R是对称的;D .若R ,S 是传递的, 则S R 是传递的。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
6.幂集
设A,B是集合,证明以下命题成立 a) ρ(A∩B)=ρ(A) ∩ρ(B) b) ρ(A) ∪ρ(B)ρ(A∪B) c) AB iff ρ(A) ρ(B)
7.笛卡尔积
A={0,1} B={1,2} 求A2×B
17
二元关系习题课
18
一. 判断题
( ( ( ( ( ( ( ( ( ( ( ( ( )⒈ 设A、B、C和D是四个非空集合, 且A×CB×D,则AB且CD。 )⒉ 设A、B、C和D是四个集合,则A×C=B×D,iff A=B且C=D。 ) 3. 传递关系的对称闭包仍是传递的。 ) 4. 非空集合上的关系不是对称的,则必是反对称的。 ) 5. 非空集合上的自反关系必不是反自反的。 ) 6. 若R和S是二个有完全相同的二元组的集合,则称它们是相等的二 元关系。 ) 7. 设A是一个非空集合,则A上的等价关系都不是偏序关系。 ) 8. 有限集上的全序关系必是良序关系。 ) 9. 有限集上的偏序关系必是全序关系。 ) 10. <A;R>是偏序集,则A的任何非空子集必有极小元。 ) 11. <A;R>是偏序集,则A的非空子集B的上确界必是B的最大元。 ) 12. <A;R>是全序集,则A的任何非空子集必有唯一极小元。 ) 13. <A;R>是全序集,则A的非空子集B的下确界必是B的最小元。
(
(
)⒊ 设R={<1,2>}是A={1,2,3}上的关系,则
③ r(R)是偏序 ④ tr(R)是良序 ③ R和S都是空关系 )⒋ 设R和S分别是A到B和B到C的关系,且R·S=Φ,那么 ① R是空关系 ② S是空关系 ④ R和S中至少有一个是空关系 20 ⑤ 以上答案都不对
① rst(R)是等价关系 ② R10=Φ
22
函数习题课
23
一、多项选择
( ( )1. 函数f:R×R→R×R,f(<x,y>)=<x+y,x-y>是
① 入射
① 入射
② 满射
② 满射 ② 满射
③ 双射
③ 双射 ③ 双射
④ 以上答案都不对
④ 以上答案都不对 ④ 以上答案都不对
)2. 函数f:R×R→R,f(<x,y>)=(x+y)/2是
(
2
(8)我今天进城,除非下雨。 令 P:我今天进城。Q:今天下雨。 (9)仅当你走我将留下。 令 P:你走。Q:我留下。
3
二.重言式的证明方法 方法1:列真值表。 方法2:公式的等价变换,化简成“T”。 方法3:用公式的主析取范式。 (1)证明(P→Q)→(P→(P∧Q))是重言式。
4
三.重言蕴涵式的证明方法
( )10. 设R和S都是A到B的关系,则下列关系式中正确的有: ① (R∪S)-1=R-1∪S-1 ③ (R-S)-1=R-1-S-1 ② (R∩S)-1=R-1∩S-1 ④ (R⊕S)-1=R-1⊕S-1
21
三、计算与作图
1.若集合A={1,2,3,4,5}上的等价关系R ={<1,1>,<2,2>,<3,3>,<4,4>,<5,5>,<1,2>,<2,1>,<3,4>,<4,3>},求商 集A/R 2.R为集合A={1,2,3,4,5}上的等价关系,已知商集A/R ={{1,2},{3},{4,5}},求R
19
二、多项选择题 ( )⒈ 下列说法中正确的有: ② 任何集合的幂集都不是空集 ④ 任意两集合的迪卡尔积都不 ① 任何集合都不是它自身的元素 ③ 若A×B=Φ,则A=B=Φ 是空集 (
)⒉ {1,2,3,4,5}上的关系R={<1,1>,<1,3>,<2,3>}是
① 自反的 ② 反自反的 ③ 对称的 ④ 反对称的 ⑤ 传递的
10
谓词逻辑习题课
11
1.将下列命题符号化
(1)在湖南高校学习的学生,未必都是湖南籍的学生 (2)对于每一个实数x,存在一个更大的实数y (3)存在实数x,y和z,使得x与y之和大于x与z之积 (4)某些汽车比所有的火车都慢,但至少有一列火车比每辆 汽车快 (5)对任何整数x和y,x≤y且y≤x是x=y的充要条件 (6)若m是奇数,则 2m 不是奇数 (7)那位戴眼镜的用功的大学生在看这本大而厚的巨著 (8)每个自然数都有唯一的后继数 (9)没有一个自然数使数1是它的后继数 (10)每个不等于1的自然数都有唯一的一个数是它的直接先 行者
25
四、证明 若f是A到B的函数,其中A和B都是非空有限集,且 |A|=|B|,那么:f是一个入射 iff f是一个满射
( (
)3. 设Σ={a,b}为字母表,则f:Σ*→Σ*,f(x)=axb是
① 入射 )4. 函数f: [0,1]→ [0,1] ,f(x)=x/2+1/4是
① 入射
② 满射
③ 双射
④ 以上答案都不对
)5. 从{0,1}2到{a,b,c,d}的二元关系R: {<<0,0>,a>,<<0,1>,b>,<<1,0>,c>,<<1,1>,b>}是
工具 改 锥 箱
A B C 有 有
扳 手 有 有
钳 有 有
子
锤 有
子
D
有
有
8
(4) 设计一个楼上、楼下开关的控制逻辑电路来控制 楼梯上的路灯。使之在上楼前,用楼下开关打开 电灯,上楼后,用楼上开关关灭电灯;或者在下 楼前,用楼上开关打开电灯,下楼后,用楼下开 关关灭电灯。
9
六. 逻辑推理 熟练掌握三种推理方法。 (1)用三种推理方法证明: (A∨B)(C∧D), (D∨E)P AP (2) 请根据下面事实,找出凶手: 1. 清洁工或者秘书谋害了经理。 2. 如果清洁工谋害了经理,则谋害不会发生在午夜前。 3.如果秘书的证词是正确的,则谋害发生在午夜前。 4.如果秘书的证词不正确,则午夜时屋里灯光未灭。 5. 如果清洁工富裕,则他不会谋害经理。 6.经理有钱且清洁工不富裕。 7.午夜时屋里灯灭了。 令A:清洁工谋害了经理。 B:秘书谋害了经理。 C:谋害发生在午夜前。 D:秘书的证词是正确的. E:午夜时屋里灯光灭了。H:清洁工富裕. G:经理有钱.
(
)⒌ 若R和S是集合A上的等价关系,则下列关系中一定是等 价关系的有 ① R∪S ② R∩S ③ R-S ④ R⊕S ( )⒍ 若R是集合A上的等价关系,则 ① R2=R ② t(R)=R ③ IA R ④ R-1=R ( )⒎ 空集上的空关系是 关系。 ① 线序 ② 等价 ③ 偏序 ④ 拟序 ⑤ 良序 ( ) 8. {1,2,3,4,5}上的全序关系一定是 关系。 ①等价 ②偏序 ③拟序 ④良序 ( )9. {1,2,3,4,5}上的良序关系一定是 ① 自反的 ② 反自反的 ③ 对称的 ④ 反对称的 ⑤ 传递的
13
4.判断下列公式是不是永真式,并加以说明 (1)(xP(x) →xQ(x)) ↔ x(P(x) →Q(x)) (2) x y(P(x) →Q(y)) →(xP(x) → y Q(y)) 5.用形式推理证明: (1)xP(x)∨xQ(x)x (P(x)∨Q(x)) (2) xF(x)→y(G(y)→H(y)), xM(x)→yG(y) x (F(x)∧M(x))→yH(y) (3)任何人如果他喜欢步行,他就不喜欢乘汽车; 每个人或者喜欢乘汽车或者喜欢骑自行车。有的 人不爱骑自行车,因此有的人不爱步行 (4)每个大学生不是文科生就是理工科生,有的大 学生是优等生,小张不是理工科生,但他是优等 生,因此如果小张是大学生,他就是文科生
6
五.范式的写法及应用 (1)写出(P(Q∧R))∧(P(Q∧R))的主析取
范式和主合取范式 方法1,用真值表 方法2,等价变换 (2) A,B,C,D四个人中要派两个人出差,按下述三 个条件有几种派法? ①若A去则C和D中要去一个人。 ②B和C不能都去。 ③C去则D要留下。
7
(3) 有工具箱A、B、C、D,各个箱内装的工具如 下表所示。试问如何携带数量最少工具箱,而 所包含的工具种类齐全。
方法1.列真值表。(即列永真式的真值表) (略) 方法2.假设前件为真,推出后件也为真。 方法3.假设后件为假,推出前件也为假。 证明 (A(B∨C) )∧(D∨E)∧((D∨E)A) B∨C
5
四. 等价公式的证明方法 方法1:用列真值表。(不再举例) 方法2:用公式的等价变换
(1) 证明((A∧B)→C)∧(B→(D∨C))(B∧(D→A))→ C (2)化简(A∧B∧C)∨(A∧B∧C)
Байду номын сангаас命题逻辑习题课
1
一.命题符号化 P:天下雪。Q:我将去镇上。R:我有时间。 (1) 如果天不下雪且我有时间,那么我将去镇上。 (2) 我将去镇上,仅当我有时间。 (3) 天下雪,那么我不去镇上。 (4) 或者你没有给我写信,或者它在途中丢失了。 令 P:你给我写信。Q:信在途中丢失了。 (5) 我们不能既划船又跑步 令 P:我们划船。Q:我们跑步。 (6)如果你来了,那么他唱不唱歌将看你是否为他伴奏而定。 令 P:你来了。Q:你为他伴奏。 R:他唱歌。 (7)假如上午不下雨,我去看电影,否则就在家里读书或看报。 令 P:上午下雨。Q:我去看电影。 R:我在家里读书。S:我在家 里看报。
3.设A={3,6,9,15,54,90,135,180},|为自然数的整除关系。画出< A;|>的Hasse图,并求{6,15,90}的上、下确界。
四、证明题
⒈ 设R是集合A上的关系。证明:R是偏序关系,iff R-1∩R=IA且 R=rt(R)。
⒉ 设R是集合A上的关系。证明:R是拟序关系,iff R-1∩R=Φ且 R=t(R)。