离散复习考试题及参考解答
离散数学试题及答案

离散数学试题及答案一、选择题1. 设A、B、C为三个集合,下列哪个式子是成立的?A) \(A \cup (B \cap C) = (A \cup B) \cap (A \cup C)\)B) \(A \cap (B \cup C) = (A \cap B) \cup (A \cap C)\)C) \(A \cup (B \cup C) = (A \cup B) \cup (A \cup C)\)答案:B2. 对于一个有n个元素的集合S,S的幂集中包含多少个元素?A) \(n\)B) \(2^n\)C) \(2 \times n\)答案:B二、判断题1. 对于两个关系R和S,若S是自反的,则R ∩ S也是自反的。
答案:错误2. 若一个关系R是反对称的,则R一定是反自反的。
答案:正确三、填空题1. 有一个集合A,其中包含元素1、2、3、4和5,求集合A的幂集的大小。
答案:322. 设a和b是实数,若a \(\neq\) b,则a和b之间的关系是\(\__\_\)关系。
答案:不等四、解答题1. 证明:如果关系R是自反且传递的,则R一定是反自反的。
解答:假设关系R是自反的且传递的,即对于集合A中的任意元素x,都有(x, x) ∈ R,并且当(x, y) ∈ R和(y, z) ∈ R时,(x, z) ∈ R。
反证法:假设R不是反自反的,即存在一个元素a∈A,使得(a, a) ∉ R。
由于R是自反的,所以(a, a) ∈ R,与假设矛盾。
因此,R一定是反自反的。
答案完整证明了该结论。
2. 已知集合A={1, 2, 3},集合B={2, 3, 4},求集合A和B的笛卡尔积。
解答:集合A和B的笛卡尔积定义为{(a, b) | a∈A,b∈B}。
所以,集合A和B的笛卡尔积为{(1, 2), (1, 3), (1, 4), (2, 2), (2, 3), (2, 4), (3, 2), (3, 3), (3, 4)}。
离散数学期末考试题及答案

离散数学期末考试题及答案1.选择题(每题3分,共30分)1. 下列命题中,属于复合命题的是:A. 3是一个奇数,且2是一个偶数B. 如果2是一个素数,那么4也是一个素数C. 不是所有奇数都是素数D. 存在一个整数x,使得x>5且x是一个偶数答案:D2. 已知命题p:草地是绿的,命题q:天空是蓝的。
下列表述可以表示p ∧ ¬q 的是:A. 草地是绿的,天空是蓝的B. 草地不是绿的,天空是蓝的C. 草地是绿的,天空不是蓝的D. 草地不是绿的,天空不是蓝的答案:B3. 设命题p表示“这个数是偶数”,q表示“这个数大于10”。
那么“这个数既是偶数又大于10”可以表示为:A. p ∧ qB. p ∨ qC. ¬p ∧ qD. ¬p ∨ q答案:A4. 下列以下列集合的方式描述,其中哪个是空集∅:A. {x | 0 ≤ x ≤ 1}B. {x | x是一个自然数,x > 10}C. {x | x是一个正偶数,x < 2}D. {x | x是一个负整数,x < -1}答案:C5. 设A = {a, b, c},B = {c, d, e},C = {a, c, e}。
则(A ∪ B) ∩ C等于:A. {a, b, c, d, e}B. {a, c, e}C. {c}D. 空集∅答案:B6. 假设U是全集,A、B、C是U的子集。
则(A ∪ B) ∩ C 的补集是:A. A ∩ B ∩ C的补集B. (A ∪ B) ∩ C的补集C. A ∪ (B ∩ C)的补集D. (A ∩ C) ∩ (B ∩ C)的补集答案:D7. 若关系R为集合A到集合B的一种映射,且|A| = 7,|B| = 4,则R包含的有序对数目为:A. 4B. 7C. 11D. 28答案:D8. 设A={1,2,3},B={4,5,6},则从A到B的映射总数为:A. 3B. 9C. 6D. 18答案:C9. 设A={a,b,c,d,e},则集合A的幂集的元素个数是:A. 2B. 5C. 10D. 32答案:D10. 若f:A→B为满射且g:B→C为单射,则(g ∘ f):A→C为:A. 双射B. 满射C. 单射D. 非单射且非满射答案:A2.简答题(每题10分,共20分)1. 请简要解释什么是关系R的自反性、对称性和传递性。
离散数学期末考试题及答案

离散数学期末考试题及答案一、选择题(每题2分,共20分)1. 在集合论中,空集表示为:A. {0}B. {1}C. {}D. Ø答案:D2. 命题逻辑中,下列哪个是合取命题的真值表?A. P | Q | P ∧ QB. P | Q | P ∨ QC. P ∧ Q | P ∨ QD. P ∧ Q | ¬(P ∨ Q)答案:A3. 函数f: A → B是单射的,那么f的逆函数:A. 一定存在B. 一定不存在C. 可能存在D. 以上都不对答案:C4. 关系R是自反的,那么对于所有a∈A,以下哪个命题一定为真?A. (a, a) ∈ RB. (a, a) ∉ RC. (a, a) ∈ R或(a, a) ∉ RD. (a, a) ∈ R且(a, a) ∉ R答案:A5. 在图论中,下列哪个不是图的基本术语?A. 顶点B. 边C. 子集D. 路径答案:C6. 命题p: “如果x是偶数,则x能被4整除”的否定是:A. 如果x是偶数,则x不能被4整除B. 如果x不是偶数,则x不能被4整除C. 如果x不是偶数,则x能被4整除D. 如果x是偶数,则x不能被4整除或x不是偶数答案:A7. 有向图G中,如果存在从顶点u到顶点v的有向路径,则称v是u 的:A. 祖先B. 后代C. 邻居D. 连接点答案:B8. 在命题逻辑中,下列哪个命题是永真命题?A. (P ∧ ¬P) ∨ (P ∨ ¬P)B. (P ∧ ¬P) ∧ (P ∨ ¬P)C. (P ∨ ¬P) ∧ (¬P ∨ P)D. (P ∧ ¬P) ∧ (¬P ∧ P)答案:C9. 以下哪个选项是等价命题?A. P ∧ (Q ∨ R) ≡ (P ∧ Q) ∨ (P ∧ R)B. P ∨ (Q ∧ R) ≡ (P ∨ Q) ∧ (P ∨ R)C. P ∨ ¬P ≡ ¬P ∧ PD. P ∧ ¬P ≡ ¬P ∨ P答案:A10. 树是无环连通图,以下哪个是树的属性?A. 至少有一个环B. 至少有两个顶点C. 至少有一个顶点D. 至少有一个边答案:B二、填空题(每空2分,共20分)11. 集合{1, 2, 3}的幂集含有__个元素。
离散数学考试题及详细参考答案

离散数学考试题(后附详细答案)一、命题符号化(共6小题,每小题3分,共计18分)1.用命题逻辑把下列命题符号化a)假如上午不下雨,我去看电影,否则就在家里读书或看报。
b)我今天进城,除非下雨。
c)仅当你走,我将留下。
2.用谓词逻辑把下列命题符号化a)有些实数不是有理数b)对于所有非零实数x,总存在y使得xy=1。
c) f 是从A到B的函数当且仅当对于每个a∈A存在唯一的b∈B,使得f(a)=b.二、简答题(共6道题,共32分)1.求命题公式(P→(Q→R)) (R→(Q→P))的主析取范式、主合取范式,并写出所有成真赋值。
(5分)2.设个体域为{1,2,3},求下列命题的真值(4分)a)x y(x+y=4)b)y x (x+y=4)3.求x(F(x)→G(x))→(xF(x)→xG(x))的前束范式。
(4分)4.判断下面命题的真假,并说明原因。
(每小题2分,共4分)a)(A B)-C=(A-B) (A-C)b)若f是从集合A到集合B的入射函数,则|A|≤|B|5.设A是有穷集,|A|=5,问(每小题2分,共4分)a)A上有多少种不同的等价关系?b)从A到A的不同双射函数有多少个?6.设有偏序集<A,≤>,其哈斯图如图1,求子集B={b,d,e}的最小元,最大元、极大元、极小元、上界集合、下界集合、上确界、下确界,(5分)f g图17.已知有限集S={a1,a2,…,a n},N为自然数集合,R为实数集合,求下列集合的基数S;P(S);N,N n;P(N);R,R×R,{o,1}N(写出即可)(6分)三、证明题(共3小题,共计40分)1.使用构造性证明,证明下面推理的有效性。
(每小题5分,共10分)a)A→(B∧C),(E→ F)→ C, B→(A∧ S) B→Eb)x(P(x)→ Q(x)), x(Q(x)∨R(x)),x R(x) x P(x)2.设R1是A上的等价关系,R2是B上的等价关系,A≠ 且B≠ ,关系R满足:<<x1,y1>,<x2,y2>>∈R,当且仅当< x1, x2>∈R1且<y1,y2>∈R2。
自考离散数学考试题库及答案

自考离散数学考试题库及答案一、选择题1. 在离散数学中,命题逻辑的主要研究对象是什么?A. 命题的真假B. 命题的类型C. 命题的表达D. 命题的证明答案:A2. 有限集合M的基数是指什么?A. M中元素的数量B. M的子集数量C. M的幂集D. M的幂集的基数答案:A3. 以下哪个不是图论中的基本概念?A. 顶点B. 边C. 集合D. 子图答案:C二、填空题4. 在命题逻辑中,德摩根定律表示了________和________之间的逻辑关系。
答案:¬(P ∧ Q);¬P ∨ ¬Q5. 一个集合的幂集是指该集合所有________的集合。
答案:子集6. 在图论中,无向图中的路径是顶点和边的________。
答案:交替序列三、解答题7. 证明:若命题P是真命题,则其否定¬P是假命题。
证明:根据命题逻辑的定义,一个命题要么是真要么是假。
如果P 是真命题,那么根据否定的定义,¬P表示P不是真的,这与P是真命题的事实相矛盾。
因此,¬P必须是假命题。
8. 给定集合A={1, 2, 3},求其幂集及其基数。
解答:集合A的幂集包括A的所有子集,即∅, {1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}, {1, 2, 3}。
共有2^3=8个子集,所以A的幂集的基数是8。
四、应用题9. 在一个无向图中,定义了两个顶点之间的距离为它们之间的最短路径上的边数。
如果图G中有两个顶点u和v,且它们之间的距离是3,证明存在一个顶点w,使得u和w之间的距离是1,v和w之间的距离是2。
证明:由于u和v之间的距离是3,根据距离的定义,存在一条最短路径连接u和v,这条路径至少包含3条边。
设这条路径为u=w1, w2, w3, w4=v,其中每对相邻的顶点之间存在一条边。
根据题设,我们可以取w2作为w,这样u和w之间的距离是1(因为它们之间有一条边w1w2),而v和w之间的距离是2(因为它们之间有两条边w2w3和w3w4)。
离散期末考试题及答案

离散期末考试题及答案离散数学期末考试题及答案一、选择题(每题2分,共20分)1. 在集合论中,以下哪个符号表示属于关系?A. ∈B. ∉C. ⊆D. ⊂答案:A2. 有限集合A和B的并集,其元素个数最多是A和B元素个数之和,这个性质称为:A. 德摩根定律B. 幂集C. 并集原理D. 子集原理答案:C3. 命题逻辑中,以下哪个命题是真命题?A. (p ∧ ¬p) ∨ qB. (p ∨ ¬p) ∧ qC. (p ∨ q) ∧ ¬pD. (p ∧ q) ∨ ¬p答案:B4. 在图论中,一个无向图的边数至少是顶点数的多少倍才能保证图中至少存在一个环?A. 1B. 2C. 3D. 4答案:B5. 以下哪个算法用于生成一个集合的所有子集?A. 欧拉回路B. 哈密顿回路C. 深度优先搜索D. 子集生成算法答案:D6. 在关系数据库中,以下哪个操作用于删除表中的行?A. SELECTB. INSERTC. UPDATED. DELETE答案:D7. 以下哪个是有限自动机的状态?A. 初始状态B. 终止状态C. 转移状态D. 所有选项答案:D8. 以下哪个是图论中的一个基本定理?A. 欧拉定理B. 哈密顿定理C. 狄拉克定理D. 所有选项答案:D9. 在命题逻辑中,以下哪个是德摩根定律的逆命题?A. ¬(p ∨ q) ≡ ¬p ∧ ¬qB. ¬(p ∧ q) ≡ ¬p ∨ ¬qC. ¬(p ∨ q) ≡ ¬p ∨ ¬qD. ¬(p ∧ q) ≡ ¬p ∧ ¬q答案:B10. 在集合论中,以下哪个操作表示集合的差集?A. ∩B. ∪C. -D. ×答案:C二、填空题(每空3分,共30分)11. 集合{1, 2, 3}的幂集包含________个元素。
《离散数学》题库及答案

《离散数学》题库及答案一、选择或填空(数理逻辑部分)1、下列哪些公式为永真蕴含式?()(1)Q=>Q→P(2)Q=>P→Q(3)P=>P→Q(4)P(PQ)=>P答:(1),(4)2、下列公式中哪些是永真式?()(1)(┐PQ)→(Q→R)(2)P→(Q→Q)(3)(PQ)→P(4)P→(PQ)答:(2),(3),(4)3、设有下列公式,请问哪几个是永真蕴涵式()(1)P=>PQ(2)PQ=>P(3)PQ=>PQ(4)P(P→Q)=>Q(5)(P→Q)=>P(6)P(PQ)=>P答:(2),(3),(4),(5),(6)4、公式某((A(某)B(y,某))zC(y,z))D(某)中,自由变元是(变元是()。
答:某,y,某,z5、判断下列语句是不是命题。
若是,给出命题的真值。
((1)北京是中华人民共和国的首都。
(2)陕西师大是一座工厂。
),约束)(3)你喜欢唱歌吗?(4)若7+8>18,则三角形有4条边。
(5)前进!(6)给我一杯水吧!答:(1)是,T(2)是,F(3)不是(4)是,T(5)不是(6)不是6、命题“存在一些人是大学生”的否定是(),而命题“所有的人都是要死的”的否定是()。
答:所有人都不是大学生,有些人不会死7、设P:我生病,Q:我去学校,则下列命题可符号化为()。
(1)只有在生病时,我才不去学校(2)若我生病,则我不去学校(3)当且仅当我生病时,我才不去学校(4)若我不生病,则我一定去学校答:(1)QP(2)PQ(3)PQ(4)PQ8、设个体域为整数集,则下列公式的意义是()。
(1)某y(某+y=0)(2)y某(某+y=0)答:(1)对任一整数某存在整数y满足某+y=0(2)存在整数y对任一整数某满足某+y=09、设全体域D是正整数集合,确定下列命题的真值:(1)某y(某y=y)()(2)某y(某+y=y)()(3)某y(某+y=某)()(4)某y(y=2某)()答:(1)F(2)F(3)F(4)T10、设谓词P(某):某是奇数,Q(某):某是偶数,谓词公式某(P(某)Q(某))在哪个个体域中为真()2(1)自然数(2)实数(3)复数(4)(1)--(3)均成立答:(1)11、命题“2是偶数或-3是负数”的否定是()。
(完整版)离散数学题目及答案

数理逻辑习题判断题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、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
复习题一、填空题(请将每空的正确答案写在答题纸相应位置处,答在试卷上不得分。
每小题2分,共18分。
)1.设,p q 为真命题,,r s 为假命题,则复合命题()()p r q s ↔↔⌝→的真值为 。
2.令():F x x 是人,():G x x 喜欢吃米饭。
在一阶逻辑中,命题“不是所有的人都喜欢吃米饭.”的符号化形式为 。
3.已知命题公式A 中含三个命题变项,,p q r ,则极大项M 4的公式是 。
4.在1到500之间的整数(包含1与500)中,既不被5整除、也不被6整除的数有 个。
5. 设{,,}A a b c =,{,,,}R a c a b =<><>,则R 的传递闭包()t R = 。
6.设,G V E =<>是一个连通的平面图,G 共有v 个结点,e 条边和r 个面,则结点、边和面的关系为(欧拉定理) 。
7.在整数加群,Z <+>中,23-= 。
8.设Z 为整数集,,,1,,a b Z a b a b a Z a ∀∈=+-∀∈的逆元1a -= 。
9.300与168的最大公约数是 。
二、单项选择题(从下列各题四个备选答案中选出一个正确答案,并将其代号写在答题纸相应位置处。
答案错选或未选者,该题不得分。
每小题2分,共20分。
)1. 下列命题公式中,是永真公式的是( )。
A .()Q P Q →∧B .()P P Q →∧C .()P Q P ∧→D .()P Q Q ∨→2.关于谓词公式((,)(,))(,)x y F x y G y z xH x y ∀∀∧∧∃,下面的描述中错误的是( )。
A .x ∀的辖域是((,)(,))y F x y G y z ∀∧B .x ∃的辖域是(,)H x yC .x 是该谓词公式的约束变元D .z 是该谓词公式的约束变元 3.5阶无向完全图的边数为( )。
A .5B .10C .15D .20 4.有向图G 如右图所示,在G 中, 从V 1到V 3长度为3的通路有( )条。
A .0B .1C .2D .3 5.下列图中,( )是强连通图。
A.32 B.32 C.32 D.326.在一棵树中有7片树叶,3个3度结点,其余都是4度结点,则该树有( )个4度结点。
A .1B .2C .3D .47.对于集合{0,1,2,,9,10}A =⋅⋅⋅,不封闭的二元运算是( )。
A .max{,}x y x y *=B .min{,}x y x y *=【第 3 页 共 3 页】C .()mod9x y x y *=+D .x y x y *=- 8.下列各图中( )是欧拉图。
A .B .C .D .9.设211,,,,G e a a a =<⋅⋅⋅>是12阶循环群,则G 的生成元有( )个。
A .2B .3C .4D .5 10.3的模5逆等于( )。
A .1B .2C .3D .4三、计算题(每小题各8分,共40分。
)1.求命题公式()(())p q q p r ⌝→∨∧⌝→的主析取范式。
2.设集合{,,,,}A a b c d e =上二元关系定义为{,,,,,,,,,,R a a a b a c a d a e =<><><><><> ,,,,,,,,,,,,,,,}b b b c b e c c c e d d d e e e <><><><><><><><>,验证,A R <>是偏序集,并画出哈斯图。
3.求下列带权图的最小生成树,画出最小生成树,并求其权值。
4.求树叶的权分别为2,3,9,18,23和29的最优2叉树T ,并求树权W (T )。
5.求解递推方程:1201440,0,1n n n a a a a a --++=== 。
四、证明题(12分。
)设{1,2,3,4}A =,在A A ⨯上定义二元关系R ,,,,u v x y A A ∀<><>∈⨯,,,u v R x y u y x v <><>⇔+=+,(1)证明R 是A A ⨯上的等价关系; (2)求商集/A A R ⨯。
五、应用题(10分)符号化下列命题,并在自然推理系统P 中用逻辑推理确定谁是作案者。
① 营业员A 或B 盗窃了金项链。
② 若A 作案,则作案时间不在营业时间。
③ 若B 提供的证据正确,则货柜未上锁。
④ 若B 提供的证据不正确,则作案时间发生在营业时间。
⑤ 货柜上了锁。
参考答案一、填空题1.0(或F ) 2.(()())x F x Q x ⌝∀→(或(()())x F x Q x ∃∧⌝) 3.p q r ⌝∨∨ 4.333 5.{,,,}a c a b <><> 6.2v e r -+= 7.-6 8.2a - 9.12 二、单项选择题1.C 2.D 3.B 4.D 5.A 6.A 7.D 8.B 9.C 10.B 三、计算题(每小题各8分,共40分。
) 1.解:主析取范式为:34567()(())()(())()()()(())(())(())()()()()()p q q p r p q q p r p q p q q r p q r r p q r r q r p p p q r p q r p q r p q r p q r m m m m m ⌝→∨∧⌝→⇔⌝⌝∨∨∧∨⇔∧⌝∨∧∨∧⇔∧⌝∧∨⌝∨∧∧∨⌝∨∧∧∨⌝⇔∧⌝∧∨∧⌝∧⌝∨∧∧∨∧∧⌝∨⌝∧∧⇔∨∨∨∨2.解: R 所对应的关系矩阵为1111101101()001010001100001M R ⎛⎫ ⎪⎪ ⎪= ⎪⎪ ⎪⎝⎭21111101101()00101()0001100001M R M R ⎛⎫⎪⎪⎪== ⎪⎪ ⎪⎝⎭由关系矩阵可知,对角线上所有元素全为1,故R 自反;1ij ji r r +≤,故R 反对称;由此可计算出2R 对应的矩阵。
由以上矩阵可知R 传递。
所以,R 是偏序关系。
对应的哈斯图如下图所示。
3.解:所求该图的最小生成树如下图所示。
该最小生成树的权值之和W (t )=2+1+1+2+3+4=134.解:所求的最优2叉树如下图所示。
23该最优2叉树的权为W(t)=2×4+3×4+9×3+18×2+23×2+29×2=1875.解:其特征方程为:2440x x ++=,其特征根是:122x x ==-通解为:12()(2)n n a c c n =+-代入初值得到:1120,221c c c =--=解得:1210,2c c ==-所以,原递推方程的解为:1(2)2n n a n =--。
四、证明题(12分。
) 证明:(1)由于,,u v R x y u y x v u v x y <><>⇔+=+⇔-=-① 自反性:,x y ∀<>,有,,,x y A A x y x y x y R x y <>∈⨯⇔-=-⇔<><>,即R 是A 上的自反关系;② 对称性: ,,,x y u v ∀<><>,有,,,,x y R u v x y u v u v x y u v R x y <><>⇔-=-⇔-=-⇔<><>,即R 是A 上的对称关系;③ 传递性:,,,,,x y u v s t ∀<><><>,有,,,,,,x y R u v u v R s t x y u v u v s t x y s t x y R s t <><>∧<><>⇔-=-∧-=-⇒-=-⇔<><>故R 是A 上的传递关系。
由(1)、(2)、(3)可知R 是A 上的等价关系。
(2)A A ⨯上的等价类为:[1,4]{1,4}<>=<> [1,3]{1,3,2,4}<>=<><> [1,2]{1,2,2,3,3,4}<>=<><><> [1,1]{1,1,2,2,3,3,4,4}<>=<><><><> [2,1]{2,1,3,2,4,3}<>=<><><><>=<><>=<><>[4,1]{4,1}[3,1]{3,1,4,2}所以,/{{1,4},{1,3,2,4},{1,2,2,3,3,4},{1,1,A A R⨯=<><><><><><><> <><><><><><><><><>2,2,3,3,4,4},{2,1,3,2,4,3},{3,1,4,2},{4,1}}五、应用题(10分)解:设简单命题p:A作案盗窃金项链。
q:B作案盗窃金项链。
r:作案发生在营业时间。
s:B提供的证据正确。
t:货柜上了锁前提:,,,,∨→⌝→⌝⌝→p q p r s t s r t结论:q(或写为:推理形式为,,,,∨→⌝→⌝⌝→⇒)p q p r s t s r t r证明:(1)t前提引入→⌝前提引入(2)s t⌝(1)(2)拒取式(3)s⌝→前提引入(4)s r(5)r(3)(4)假言推理→⌝前提引入(6)p r⌝(5)(6)拒取式(7)p(8)p q∨前提引入(9)q(7)(8)析取三段论。