命题逻辑练习题附
命题逻辑练习题
一、从五个备选答案中选择一个正确地答案,并做出简要地分析：
1、古代一位国王率领张、王、李、赵、钱五位将军一起打猎,各人地箭上均刻有自己地姓氏.围猎中,一只鹿中箭倒下,但却不知是何人所射.国王令众将军猜测.
张说：“或者是我射中地,或者是李将军射中地.”
王说：“不是钱将军射中地.”
李说：“如果不是赵将军射中地,那么一定是王将军射中地.”
赵说：“既不是我射中地,也不是王将军射中地.”
钱说：“既不是李将军射中地,也不是张将军射中地.”
国王令人把射中鹿地箭拿来,看了看,说：“你们五位将军地猜测,只有两个人地话是真地.”
根据国王地话,可以判定以下哪项是真地？
A、张将军射中此鹿.
B、王将军射中此鹿.
C、李将军射中此鹿.
D、赵将军射中此鹿.
E、钱将军射中此鹿.
1、某大学进行演讲比赛,得第一名地只有一人.在对六个参赛者进行名次预测时,四人作了如下预测：
甲：取得第一名地要么是我,要么是乙.
乙：取得第一名地要么是甲,要么是丙.
丙：如果不是戊取得第一名,就一定是己.
丁：第一名决不会是甲.
比赛结果发现,只有一个人地预测正确.请问谁得第一名？谁地预测正确？
A、甲得第一名,乙地预测正确.
B、乙得第一名,甲地预测正确.
C、丙得第一名,乙地预测正确.
D、丁得第一名,丁地预测正确.
E、戊得第一名,丙地邓测正确.
2、销售经理地人选,对于一个公司地生存和发展十分重要.哈维珍珠有限责任公司对于销售经理地
任用,就非常填重.由于前任销售经理因故离任,关于公司新销售经理地人选,甲、乙、丙三位董事
经过充分考虑,提出了他们地意见：
甲：要么聘用李先生,要么聘用王先生.
乙：如果不聘用李先生,那么也不聘用王先生.
丙：如果不聘用王先生,那么就聘用李先生.
以下诸项中,能同时满足甲、乙、丙三位董事意见地方案是哪一项？
A、聘用李先生,不聘用王先生.
B、聘用王先生,不聘用李先生.
C、李先生和王先生两人都聘用.
D、李先生和王先生两人都不聘用.
E、聘用其他人当销售经理.
5、某公安局地刑侦员甲、乙、丙、丁通过广泛地调查取证,对某案地嫌疑犯李、赵作了如下断定：
甲：“我认为赵不是凶犯.”
乙：“或者李是凶犯,或者赵是凶犯.”
丙：“如果李是凶犯,则赵不是凶犯.”
丁：“我看李和赵都是凶犯.”
事后证明,这四位刑侦员地断言只有一句是假地.根据以上情况,可以推知：
A、李和赵都是凶犯.
B、甲地话是假地.
C、李是凶犯,丙地话是真地.
D、赵是凶犯,而李不是凶犯.
E、丁地话是真地.
6、“如果货币地储蓄额和销售回笼额都没有增长,那么货币地入股额一定增长”,以此为前提,若再增加一个前提,可以推出“货币地储蓄额事实上增长了”地结论.
以下哪项是该增加地前提？
A、货币地入股额一定增长了.
B、货币地入股额事实上没有增长.
C、货币地销售回笼额没有增长.
D、货币地销售回笼额和入股额事实上都没有增长.
E、货币地销售回笼额和入股额事实上都增长了.
7、八个硕士研究生赵、钱、孙、李、周、吴、陈、王正在争取获得某项科研基金.按规定只有一人能获得该项基金.谁能获得该项基金,由学校评委地投票数决定.评委分成不同地投票小组.
如果李获得地票数比陈多,那么钱将获得该项基金.
如果王获得地票数比孙多,或者钱获得地票数比周多,那么吴将获得该项基金.
如果孙获得地票数比王多,同时陈获得地票数比李多,那么赵将获得该项基金.
如果吴获得了该项基金,那么下面哪个结论一定是正确地？
A、孙获得地票数比王多.
B、王获得地票数比孙多.
C、李获得地票数不比陈多.
D、钱获得地票数比周多.
E、陈获得地票数比李多.
1、如果赵川参加宴会,那么钱华、孙旭和李元将一起参加宴会.
如果上述断定是真地,那么,以下哪项也是真地？
A、如果赵川没参加宴会,那么,钱、孙、李三人中至少有一人没参加宴会.
B、如果赵川没参加宴会,那么,钱、孙、李三人都没有参加宴会.
C、如果钱、孙、李三人都参加了宴会,那么,赵也参加宴会.
D、如果李元没参加宴会,那么,钱华和孙旭不会都参加宴会.
E、如果孙旭没参加宴会,那么,赵川和李元不会都参加宴会.
二、分析题
1、写出下列推理地形式,并分析其是否有效.
如果小林基础好并且学习努力,那么,他能取得好成绩；他没有取得好成绩；所以,他基础不好,学习也不努力.
答：A∧B→C
?C→?A∧?B
根据充分条件假言命题地推理规则【1】否定后件则否定前件,所以
?C→?（A∧B）
又?（A∧B）←→?A∨?B
因此推理无效
2、下列A、B两命题是不是一对具有矛盾关系地命题？为什么？
A：如果李军是团员,那么,林胜也是团员.
B：如果李军是团员,那么,林胜不是团员.
答：A: p→q, B: p→?q
当A命题为真时,若p为假,则B命题必定真；若p为真,则B命题假.所以当A命题为真时,B命
题真假不定,所以A、B不是矛盾关系.
3、列出下列推理地形式,并分析其是否有效.
如果老王不出席,则老李出席；如果老张不出席,则老白出席；老王或老张出席；所以,老李不出席或老白不出席.
答：W：老王L：老李Z：老张B：老白
(?W→L)∧(?Z→B)∧(W∨Z)→?L∨?B
假设?L∨?B=0 则,若推理为假,则前件为真
若前件为真,则?W→L=1,?Z→B=1,W∨Z=1
由?L∨?B=0可知L=1且B=1,又W∨Z=1,所以W=1且Z=1
则?W→L=1,?Z→B=1均成立,即该推理可由真前提推出假结论
所以推理无效
4、断定一个复合命题为真,是否断定了其所有支命题为真？试以假言命题为例加以说明.
答：根据下表可知,断定一个符合命题为真,不能断定其所有支命题为真
5、以下列（1）和（2）为前提,能否推出结论（3）？如果能,则说明所应用地是什么推理？
（1）如果这次春游去桂林或者去昆明,那么,小丁和小李都要去.
（2）小丁不去或者小李不去.
（3）这次春游不去昆明.
答：(1)可写为G∨K→D∧L
(2)可写为?D∨?L
（3）可写为?K
因为?D∨?L=?（D∧L）=1 所以D∧L=0
又G∨K→D∧L=1 所以G∨K=0,G=0,K=0
?K=1
所以可以推出结论（3）
三、综合题
1、几个大学生在一起议论现代社会中地某些难题.设他们地如下论断都是真地,则从中可以得出什么良策？说明在推导过程中地每一步用地是什么推理形式.
（1）要么保住耕地,要么饿肚子.
（2）如果人口增长,那么就要增加住房.
（3）只有多盖高楼,才能既增加住房,又保住耕地.
（4）人口在增长,又不能饿肚子.
答：（1）B ∨ E
（2）R→F
(3) L←（F∧B）
(4) R∧?E
(5) 由（4）得R=1 E=0 （联言命题真则命题支同真）
（6）由（2）（5）得F=1 （假言命题肯定前件肯定后件）
（7）由（1）（5）得B=1 （选言命题真则选言支至少有一个为真）
（8）由（6）（7）得F∧B=1 （命题支同真则联言命题真）
（9）由（3）（8）得 L=1 （必要条件假言命题肯定后件则肯定前件）
所以,良策是：多盖高楼
2、某公司有甲、乙、丙、丁、戊五位职员,大家商量假日地值班问题,有如下四条意见：
（1）如果甲来值班,那么乙或丙也来值班.
（2）如果乙来值班,那么丁也来值班.
（3）如果丙来值班,那么丁也来值班.
（4）只有甲来值班,戊才来值班.
（5）戊是来值班地.
问：丁是不是来值班？说明在推导过程中地每一步用地是什么推理形式.
答：（1）甲→乙∨丙
（2）乙→丁
（3）丙→丁
（4）甲←戊
（5）戊
（6）由（5）（4）得甲=1 （必要条件假言命题肯定后件则肯定前件）
（7）由（1）（6）得乙∨丙=1 （充分条件假言命题肯定前件则肯定后件）
（8）由（2）（3）（7）得丁=1 （选言命题只要有一个命题支为真则命题为真；充分条件假言命题
肯定前件则肯定后件）
所以,丁是来值班地
1、已知：
（1）如果甲和乙参加会议,那么丙不参加会议.
（2）只有甲参加会议,丁才参加会议.
（3）乙和丙都参加会议.
试问：甲和丁是否参加会议？说明在推导过程中地每一步用地是什么推理形式.
答：（1）甲∧乙→ 丙
（2）甲←丁
（3）乙∧丙
（4）由（3）得乙=1 丙=1 （联言命题真则命题支都真）
（5）由（1）（4）得甲∧乙=0 甲=0 （充分条件假言命题否定后件则否定前件；联言命题假则至
少有一个命题支为假）
（6）由（2）（5）得丁=0 （必要条件假言命题否定前件则否定后件）
所以,甲和丁都不参加会议
2、某案件有四名嫌疑犯,调查后确认：
（1）只有B是罪犯,C才是罪犯.
（2）如果C不是罪犯,那么D是罪犯.
（3）或者A是罪犯,或者B不是罪犯.
（4）A不是罪犯.
根据以上确认,可确定谁是罪犯？说明在推导过程中地每一步用地是什么推理形式.
答：（1）B←C
(2) ?C→D
(3) A ∨?B
(4) ?A
(5) 由（3）（4）得A=0 B=0（负命题与原命题真假相反；选言命题为真则至少由一个命题支为
真）
（6）由（1）（5）得C=0 （必要条件假言命题否定前件则否定后件）
（7）由（2）（6）得D=1 （充分条件假言命题肯定前件则肯定后件）
所以D是罪犯
3、某单位有采购员A、B、C、D、E五人.已知：
（1）或者C去上海,或者B去上海.
（2）如果A不去北京,则B去上海.
（3）只有E去广州,D和A才都去北京.
（4）如果C去上海,则D去北京.
（5）B不去上海.
问：E是否去广州？说明在推导过程中地每一步用地是什么推理形式.
答：（1）C∨B
(2) ?A→B
(3) E ←D∧A
(4) C→D
(5) ?B
(6) 由（1）（5）得B=0 C=1 （负命题与原命题真假相反；选言命题为真则至少由一个选言支
为真）
（7）由（2）（6）得A=1 （充分条件假言命题否定后件则否定前件）
（8）由（4）（6）得D=1 (充分条件假言命题肯定前件则肯定后件)
（9）由（3）（7）（8）得E=1 （必要条件假言命题肯定后件则肯定前件）
所以E去广州.
4、下列四句中只有一句真,问：小王、小李、小林是否去值班？说明推导过程.
（1）或者小王不去值班,或者小李不去值班.
（2）如果小王不去值班,那么小李也不去值班.
（3）小林去值班,小李也去值班.
（4）小王不去值班.
答：（1）?W ∨?L
(2) ?W→?L
(3) N∧L
(4) ?W
(5) 因为若（4）为真则（1）为真,所以（4）必假,得W=1 （选言命题只要
有一个选言支为真则为真）（6）因为（4）为假,所以（2）必真,则（1）（3）皆假,得L=1 N=0
（充分条件假言命题地假前提可以包涵所有命题；选言命题为假则选言支都为假；联言命题为假则至少由一个命题支为假）
所以小王和小李去值班,小林不去.
5、在某次税务检查后,四个工商管理人员有如下结论：
甲：所有个体户都没纳税.
乙：服装个体户陈老板没纳税.
丙：并非所有个体户都没纳税.
丁：有地个体户没纳税.
如果四人中只有两人地断定属实,请问服装个体户陈老板有没有纳税？说明推导过程.
答：因为丙命题为甲命题地负命题,所以真假必定相反.
若甲断定为假,则丙断定为真,丁断定和乙断定都真假不定.
若甲断定属实,则乙断定为真,丙断定为假,丁断定为假,符合题目要求,所以个体户陈老板没有
纳税.
6、三位同学从学校毕业后,一个当了律师,一个当了教师,一个当了会计.同学会上,大家作了如下议
论：
A：甲当了律师,乙当了教师.
B：甲当了教师,丙当了律师.
C：甲当了会计,乙当了律师.
但大家地议论都只说对了一半,请问他们各选择了什么职业？说明推导过程.
答：由于大家地议论都只说对了一半,所以：
若A说地甲当了律师是对地,那么B说地都是错地,不合题意
所以,A说法中,甲当了律师是错地,乙当了教师是对地.
则B说法中,甲当了教师是错地,丙当了律师是对地
C说法中,甲当了会计是对地,乙当了律师是错地
所以,甲是会计,乙是教师,丙是律师
命题逻辑和谓词逻辑习题课的题目及参考答案
命题逻辑和谓词逻辑习题课的题目及参考 答案 说明：红色标注题目可以暂且不做 命题逻辑和谓词逻辑习题课的题目 一、填空 1、若P，Q，为二命题，Q P→真值为0 当且仅当。2、命题“对于任意给定的正实数，都存 在比它大的实数”令F(x)：x为实数，:) , (则命题的逻辑谓词公式y L> x x y 为 。
3、谓词合式公式)( xP? ?的前束范式 x → ) (x xQ 为。 4、将量词辖域中出现的 和指导变元交换为另一变元符号，公式 其余的部分不变，这种方法称为换名规 则。 5、设x是谓词合式公式A的一个客体变 元，A的论域为D，A(x)关于y是自由的，则 被称为存在量词消去规则，记为ES。 6．设P，Q 的真值为0，R，S的真值为1，则 → ∨ Q P? ∨ ?的真值 → ∧ ? (S ))) ( R ( ) P R ( = 。 7．公式P ∧) ( ) (的主合取范式为 ∨ R S R P? ∨ ∧
。 8．若解释I的论域D仅包含一个元素，则)( xP? → ?在I下真值为 xP ) (x x 。 9. P：你努力，Q：你失败。“除非你努力，否则你将失败”的翻译为 ；“虽然你努力了，但还是失败了”的翻译为 。 10. 论域D={1，2}，指定谓词P 则公式),(x y ?真值 x? yP 为。 11.P，Q真值为0 ；R，S真值为1。则
∧ wff∧ R ∨ → )) ∧的真值∨ S P )) P ) ( ( (( Q R (S 为 。 12. R ?) ) ((的主合取范式 ∧ R Q ∨ P wff→ 为 。 13.设 P（x）：x是素数， E(x)：x 是偶数，O(x)：x是奇数 N (x,y)：x可以整数y。则谓词))) x y O P y ?的自然语言是 → ? wff∧ x ( ) ( N ( , y ( (x ) 。 14.谓词)),,( x y z P x z ?的前束 ? P ? ∧ → wff? y ) , ( , )) y ( z ( uQ x (u 范式为 。
数理逻辑考试题及答案
“离散数学”数理逻辑部分考核试题答案 ━━━━━━━━━━━━━━━━━━★━━━━━━━━━━━━━━━━━━ 一、命题逻辑基本知识（5分） 1、将下列命题符号化（总共4题，完成的题号为学号尾数取4的余，完成1题。共2分） （0）小刘既不怕吃苦，又爱钻研。 解：p∧q，其中，P：小刘怕吃苦；q：小刘爱钻研。 （1）只有不怕敌人，才能战胜敌人。 解：q→p，其中，P：怕敌人；q：战胜敌人。 （2）只要别人有困难，老张就帮助别人，除非困难已经解决了。 解：r→(p→p)，其中，P：别人有困难；q：老张帮助别人；r：困难解决了。 （3）小王与小张是亲戚。 解：p，其中，P：小王与小张是亲戚。 2、判断下列公式的类型（总共5题，完成的题号为学号尾数取5的余，完成1题。共1分） （0）A：((p q)((p q) (p q))) r （1）B：(p(q p)) (r q) （2）C：(p r) (q r) （3）E：p(p q r) （4）F：(q r) r 解：用真值表判断，A为重言式，B为矛盾式，C为可满足式，E为重言式，F为矛盾式。 3、判断推理是否正确（总共2题，完成的题号为学号尾数取2的余，完成1题。共2分） （0）设y=2|x|，x为实数。推理如下：如y在x=0处可导，则y在x=0处连续。发现y在x=0处连续，所以，y在x=0处可导。 解：设y=2|x|，x为实数。令P：y在x=0处可导，q：y在x=0处连续。由此，p为假，q为真。本题推理符号化为：(p q) q p。由p、q的真值，计算推理公式真值为假，由此，本题推理不正确。 （1）若2和3都是素数，则6是奇数。2是素数，3也是素数。所以，5或6是奇数。 解：令p:2是素数，q:3是素数，r:5是奇数，s:6是奇数。由此，p=1，q=1，r=1，s=0。本题推理符号化为： ((p q) →s) p q) →(r s)。计算推理公式真值为真，由此，本题推理正确。 二、命题逻辑等值演算（5分） 1、用等值演算法求下列公式的主析取范式或主合取范式（总共3题，完成的题号为学号尾数取3的余，完成1题。共2分） （0）求公式p→((q∧r) ∧(p∨(q∧r)))的主析取范式。 解：p→((q∧r) ∧(p∨(q∧r)))p∨(q∧r∧p) ∨(q∧r∧q∧r) p∨(q∧r∧p) ∨0 (p∧q∧r) ∨ (p∧1∧1) ∨(q∧r∧p) (p∧(q∨q)∧(r∨r)) ∨(q∧r∧p) (p∧(q∨q)∧(r∨r)) ∨m7 (p∧q∧r)∨(p∧q∧r)∨(p∧q∧r)∨(p∧q∧r)∨m7 m0∨m1∨m2∨m3∨m7. （1）求公式((p→q)) ∨(q→p)的主合取范式。 解：((p→q)) (q→p) (p→q) (p→q) (p→q) p q M2.
离散数学之集合论
第二篇集合与关系 集合论是现代各科数学的基础，它是德国数学家康托（Geog Cantor, 1845～1918）于1874年创立的，1876～1883年康托一系列有关集合论的文章，对任意元的集合进行了深入的探讨，提出了关于基数、序数和良序集等理论，奠定了集合论深厚的基础，19世纪90年代后逐渐为数学家们采用，成为分析数学、代数和几何的有力工具。 随着集合论的发展，以及它与数学哲学密切联系所作的讨论，在1900年前后出现了各种悖论，使集合的发展一度陷入僵滞的局面。1904～1908年，策墨罗（Zermelo）列出了第一个集合论的公理系统，它的公理，使数学哲学中产生的一些矛盾基本上得到了统一，在此基础上以后就逐渐形成了公理化集合论和抽象集合论，使该学科成为在数学中发展最为迅速的一个分支。 现在，集合论已经成为内容充实、实用广泛的一门学科，在近代数学中占据重要地位，它的观点已渗透到古典分析、泛函、概率、函数论、信息论、排队论等现代数学各个分支，正在影响着整个数学科学。集合论在计算机科学中也具有十分广泛的应用，计算机科学领域中的大多数基本概念和理论几乎均采用集合论的有关术语来描述和论证，成为计算机科学工作者必不可少的基础知识。集合论可作为数学学科的通用语言，一切必要的数据结构都可以利用集合这个原始数据结构而构造出来，计算机科学家或许也可以利用这种方法。 本篇介绍集合论的基础知识，主要内容包括集合及其运算、性质、序偶、关系、映射、函数、基数等。 第2-1章集合及其运算 §2-1-1 集合的概念及其表示 一、集合的概念 “集合”是集合论中的一个原始的概念，因此它不能被精确地定义出来。一般地说，把具有某种共同性质的许多事物，汇集成一个整体，就形成一个集合。构成这个集合的每一个事物称为这个集合的一个成员（或一个元素），构成集合的这些成员可以是具体东西，也可以是抽象东西。例如：教室内的桌椅；图书馆的藏书；全国的高等学校；自然数的全体；程序设计语言C的基本字符的全体等均分别构成一个集合。通常用大写的英文字母表示集合的名称；用小写的英文字母表示元素。若元素a属于集合A记作
从命题逻辑到谓词逻辑
从命题逻辑到谓词逻辑 命题逻辑研究的基本元素是命题。命题是有真假意义的一句话，而对这句话的结构和成分是不考虑的。因此，用这样简单的手段，很多思维过程不能在命题逻辑中表达出来。 例如，逻辑学中著名的三段论： 凡人必死 张三是人 张三必死 在命题逻辑中就无法表示这种推理过程。 因为，如果用P代表“凡人必死”这个命题，Q代表“张三是人”这个命题，R代表“张三必死”这个命题，则按照三段论，R应该是P和Q的逻辑结果。但是，在命题逻辑中，R 却不是P和Q的逻辑结果，因为公式 P∧Q→R 显然不是恒真的，解释{P，Q，?R}就能弄假上面的公式。 发生这种情况的原因是：命题逻辑中描述出来的三段论，即PùQ?R，使R成为一个与P，Q 无关的独立命题。因此，取解释时，可将P，Q取真，R取假，从而弄假公式P∧Q→R。但是，实际上命题R是和命题P，Q有关系的，只是这种关系在命题逻辑中无法表示。因此，对命题的成分、结构和命题间的共同特性等需要做进一步的分析，这正是谓词逻辑所要研究的问题。为了表示出这三个命题的内在关系，我们需要引进谓词的概念。在谓词演算中，可将命题分解为谓词与个体两部分。例如，在前面的例子“张三是人”中的“是人”是谓语，称为谓词，“张三”是主语，称为个体。 定义3.1.1 可以独立存在的物体称为个体。（它可以是抽象的，也可以是具体的。） 如人、学生、桌子、自然数等都可以做个体。在谓词演算中，个体通常在一个命题里表示思维对象。 定义3.1.2 设D是非空个体名称集合，定义在Dn上取值于{1，0}上的n元函数，称为n 元命题函数或n元谓词。其中Dn表示集合D的n次笛卡尔乘积。 一般地，一元谓词描述个体的性质，二元或多元谓词描述两个或多个个体间的关系。0元谓词中无个体，理解为就是命题，这样，谓词逻辑包括命题逻辑。 下面我们举一个谓词的例子：
趣味逻辑推理100题第41-50题及答案
趣味逻辑推理100题 第41－50题答案 某电子商场销售量最高的三款相机分别产自美国、中国和德国。 已知：B相机不是中国生产的；中国生产的相机在销售时赠送了一张大容量存储卡；C相机在销售中没有任何赠品，它与产自德国的那款相机同是金属外壳。请问，这三款相机分别产自哪里？ 解： 已知： 1、B相机不是中国生产的； 2、中国生产的相机在销售时赠送了一张大容量存储卡；
3、C相机在销售中没有任何赠品，它与产自德国的那款相机同是金 属外壳。 推理： 一、根据已知条件1、2、3推出，中国生产的相机不是B和C,只能是A； 二、根据已知条件3知道，C相机不是德国产的，从推理一也知道不是中国产的，推出是美国生产的； 三、综上，余下的B相机是德国生产的。 结论：A相机产自中国 B相机产自德国 C相机产自美国
里奥去旅行，在森林里迷了路。他终于找到一座小木屋，门口有一个孩子在玩耍，“你知道今天是星期几吗？”里奥问孩子。“哎呀，我可不知道，你可以去问问我的爸爸妈妈。不过，我爸爸在星期一、二、三说谎话，妈妈在星期四、五、六说谎话，星期日他们倒都说真话。”小孩回答。 里奥问小孩的父母询问今天是星期几，孩子爸说：“昨天是我说谎的日子。”孩子妈也说：“昨天是我说谎话的日子。”里奥想了一会儿同，终于正确地判断出了这一天是星期几。 解： 已知： 1、孩子爸爸在星期一、二、三说谎话， 2、孩子妈妈在星期四、五、六说谎话， 3、星期日他们倒都说真话。 4、孩子爸说：“昨天是我说谎的日子。” 5、孩子妈也说：“昨天是我说谎话的日子。”
推理 一、根据已知条件1――3，如果这天是星期一，那么昨天是星期日，爸妈都说真话，根据已知条件5，孩子妈妈星期一、二、三说真话，她说昨天说谎，但是星期日她是说真话，与此有矛盾，不成立； 二、如果这天是星期二，那么昨天是星期一，孩子的妈妈星期一、二、三说真话，她说昨天说谎，与此有矛盾，不成立； 三、同理，星期三也不成立； 四、如果这天是星期五，孩子的爸爸星期四、五、六说真话，他说昨天说谎，与此有矛盾，不成立； 五、同理，星期六也不成立； 六、如果这天是星期日，孩子的爸爸星期六和星期日都说真话，他说昨天说谎，与此有矛盾，不成立； 七、只有星期四，孩子的爸爸星期三说谎，星期四说真话，他说昨天说谎是相符的；孩子的妈妈星期三说真话，星期四说谎话，他说昨天说谎，说谎的负判断就是真话，也相符，因此成立。 结论：这天是星期四。
浅谈数理逻辑在计算机科学中的应用
浅谈数理逻辑在计算机科学中的应用 文章整理编辑---论文文库工作室（QQ1548927986） 摘要：数理逻辑是离散数学课程中研究推理的逻辑学科，它为确定一个给出的论证是否有效提供各种法则和技巧，在计算机科学里用来检验程序的正确性，也可以验证定理和推论，同时在计算机模型、计算机程序设计语言、计算机硬件系统等方面有着重要作用。研究数理逻辑在计算机科学领域中的应用，必须从研究数理逻辑的符号化开始讨论、加以分析、验证结论。 关键词：数理逻辑；命题逻辑；一阶逻辑；推理理论 离散数学是现代数学的重要分支，是研究离散量的结构及相互关系的学科，它在计算机理论研究及软、硬件开发的各个领域都有着广泛的应用。其内容大致包含数理逻辑、集合论、代数结构、组合数学、图论和初等数论6部分，这6部分从不同的角度出发，研究各种离散量之间数与形的关系。本文主要研究数理逻辑部分在计算机科学领域中的应用。 1.为计算机的可计算性研究提供依据 数理逻辑分为命题逻辑和一阶逻辑两部分，命题逻辑是一阶逻辑的特例。在研究某些推理问题时，一阶逻辑比命题逻辑更准确。数理逻辑中的可计算谓词和计算模型中的可计算函数是等价的,互相可以转化，计算可以用函数演算来表达，也可以用逻辑系统来表达。 某些自然语言的论证看上去很简单，直接就可以得出结论，但是通过数理逻辑中的两种符号化表达的结果却截然不同，让人们很难理解，这就为计算机的可计算性研究埋下伏笔。下面举一个简单例子加以说明。 例1 凡是偶数都能被2整除。6是偶数，所以6能被2整除。 可见，一个复杂的命题或者公式可以利用符号的形式来说明含义，来判断正确性，这使得计算机科学中的通过复杂文字验证的推理过程变得简单、明了了。 2.为计算机硬件系统的设计提供依据 数理逻辑部分在计算机硬件设计中的应用尤为突出，数字逻辑作为计算机科学的一个重要理论，在很大程度上起源于数理逻辑中的布尔运算。计算机的各种运算是通过数字逻辑技术实现的，而代数和布尔代数是数字逻辑的理论基础，布尔代数在形式演算方面虽然使用了代数的方法，但其内容的实质仍然是逻辑。范式正是基于布尔运算和真值表给出的一个典型公式。 下面以计算机科学中比较典型的开关电路的设计为实例说明数理逻辑中布尔代数和范式的应用。整个开关电路从功能上可以看做是一个开关，把电路接通的状态记为1（即结果为真），把电路断开的状态记为0（即结果为假），开关电路中的开关也要么处于接通状态，要么处于断开状态，这两种状态也可以用二值布尔代数来描述，对应的函数为布尔函数，也叫线路的布尔表达式。接通条件相同的线路称为等效线路，找等效线路的目的是化简线路，使线路中包含的节点尽可能地少。利用布尔代数可设计一些具有指定的节点线路，数学上既是按给定的真值表构造相应的布尔表达式，理论上涉及到的是范式理论，但形式上并不难构造。 例2 关于选派参赛选手，赵，钱，孙三人的意见分别是：赵：如果不选派甲，那么不选派乙。钱：如果不选派乙，那么选派甲；孙：要么选甲，要么选乙。以下诸项中，同时满足赵，钱，孙三人意见的方案是什么？ 解答：把赵，钱，孙三个人的意见看做三条不同的线路，对三条线路化简得到接通状态
经典逻辑推理题附答案
经典逻辑推理题(你能做起几道)(附答案) 2008年12月27日星期六下午 11:32 一、 Q先生和S先生、 P先生在一起做游戏。 Q先生用两张小纸片，各写一个数。这两个数都是正整数，差数是1。他把一张纸片贴在S先生额头上，另一张贴在P先生额头上。于是，两个人只能看见对方额头上的数。 Q先生不断地问：你们谁能猜到自己头上的数吗? S先生说：“我猜不到。” P先生说：“我也猜不到。” S先生又说：“我还是猜不到。” P先生又说：“我也猜不到。” S先生仍然猜不到； P先生也猜不到。 S先生和P先生都已经三次猜不到了。 可是，到了第四次， S先生喊起来：“我知道了!” P先生也喊道：“我也知道了!” 问： S先生和P先生头上各是什么数? 二、 有一个牢房，有3个犯人关在其中。因为玻璃很厚，所以3个人只能互相看见，不能听到对方说话的声音。” 有一天，国王想了一个办法，给他们每个人头上都戴了一顶帽子，只叫他们知道帽 子的颜色不是白的就是黑的，不叫他们知道自己所戴帽子的是什么颜色的。在这种情况下，国王宣布两条如下：
1．谁能看到其他两个犯人戴的都是白帽子，就可以释放谁； 2．谁知道自己戴的是黑帽子，就释放谁。 其实，国王给他们戴的都是黑帽子。他们因为被绑，看不见自己罢了。于是他们3个 人互相盯着不说话。可是不久，心眼灵的A用推理的方法，认定自己戴的是黑帽子。您想，他是怎样推断的? 三、 有一个很古老的村子，这个村子的人分两种，红眼睛和蓝眼睛，这两种人并没有什 么不同，小孩在没生出来之前，没人知道他是什么颜色的眼睛，这个村子中间有一个广场，是村民们聚集的地方，现在这个村子只有三个人，分 住三处。在这个村子，有一个规定，就是如果一个人能知道自己眼睛的颜色并且在晚上自杀的话，他就会升入天堂，这三个人不能够用语言告诉对方眼睛的颜色，也不能用任何方式提示对方的眼睛是什么颜色，而且也不能用镜子， 水等一切有反光的物质来看到自己眼睛的颜色，当然，他们不是瞎子，他们能看到对方的眼睛，但就是不能告诉他！他们只能用思想来思考，于是他们每天就一大早来到广场上，面对面的傻坐着，想自己眼睛的颜色，一天天过去了 ，一点进展也没有，直到有一天，来了一个外地人，他到广场上说了一句话，改变了他们的命运，他说，你们之中至少有一个人的眼睛是红色的。说完就走了。这三个人听了之后，又面对面的坐到晚上才回去睡觉，第二天，他们又 来到广场，又坐了一天。当天晚上，就有两个人成功的自杀了！第三天，当最后一个人来到广场，看到那两个人没来，知道他们成功的自杀了，于是他也回去，当天晚上，也成功的自杀了！ 根据以上，请说出三个人的眼睛的颜色，并能够说出推理过程！
数理逻辑心得
数理逻辑的心得 数理逻辑：是计算机科学的基础，应熟练掌握将现实生活中的条件化成逻辑公式，并能做适当的推理，这对程序设计等课程是极有用处的。是大四接触到的，现简单介绍一下数理逻辑的发展史，算是一点感悟吧 1数理逻辑的发展前期 ·前史时期——古典形式逻辑时期：亚里斯多德的直言三段论理论 ·初创时期——逻辑代数时期（17世纪末） ·资本主义生产力大发展，自然科学取得了长足的进步，数学在认识自然、发展技术方面起到了相当重要的作用。 ·人们希望使用数学的方法来研究思维，把思维过程转换为数学的计算。 ·莱布尼兹(Leibniz, 1646~1716)完善三段论，提出了建立数理逻辑或者说理性演算的思想： ·提出将推理的正确性化归于计算，这种演算能使人们的推理不依赖于对推理过程中的命题的含义内容的思考，将推理的规则变为演算的规则。 ·使用一种符号语言来代替自然语言对演算进行描述，将符号的形式和其含义分开。使得演算从很大程度上取决与符号的组合规律，而与其含义无关。 ·布尔(G. Boole, 1815~1864)代数：将有关数学运算的研究的代数系统推广到逻辑领域，布尔代数既是一种代数系统，也是一种逻辑演算。 数理逻辑的奠基时期 ·弗雷格(G. Frege, 1848~1925)：《概念语言——一种按算术的公式语言构成的纯思维公式语言》(1879)的出版标志着数理逻辑的基础部分——命题演算和谓词演算的正式建立。 ·皮亚诺(Giuseppe Peano, 1858~1932)：《用一种新的方法陈述的算术原理》(1889)提出了自然数算术的一个公理系统。 ·罗素(Bertrand Russell, 1872~1970)：《数学原理》(与怀特黑合著，1910, 1912, 1913)从命题演算和谓词演算开始，然后通过一元和二元命题函项定义了类和关系的概念，建立了抽象的类演算和关系演算。由此出发，在类型论的基础上用连续定义和证明的方式引出了数学（主要是算术）中的主要概念和定理。 ·逻辑演算的发展：甘岑(G. Gentzen)的自然推理系统(Natural Deduction System)，逻辑演算的元理论：公理的独立性、一致性、完全性等。 ·各种各样的非经典逻辑的发展：路易斯(Lewis, 1883~1964)的模态逻辑，实质蕴涵怪论和严格蕴涵、相干逻辑等，卢卡西维茨的多值逻辑等。 集合论的悖论使得人们觉得数学产生了第三次危机，提出了数学的基础到底是什么这样的问题。 ·罗素等的逻辑主义：数学的基础是逻辑，倡导一切数学可从逻辑符号推出，《数学原理》一书是他们这一思想的体现。为解决悖论产生了逻辑类型论。 ·布劳维尔(Brouwer, 1881~1966)的直觉主义：数学是心灵的构造，只承认可构造的数学，强调构造的能行性，与计算机科学有重要的联系。坚持潜无穷，强调排中律不能用于无穷集合。海丁(Heyting)的直觉主义逻辑。 ·希尔伯特(D. Hilbert)的形式主义：公理化方法与形式化方法，元数学和证明论，提倡将逻辑演算和数学证明本身形式化，把用普通的语言传达的内容上的数学科学变为用数学符号和逻辑符号按一定法则排列的一堆公式。为了消除悖论，要数学建立在公理化基础上，将
公务员考试逻辑推理题带答案
公务员考试逻辑推理题带答案 公务员备考考生想要在逻辑推理部分中取得高分，试题练习尤为重要，以下就由本人为你提供公务员考试逻辑推理题帮助你练习提分。 公务员考试逻辑推理题(一) 1、所有河南来京打工人员都办理了暂住证;所有办暂住证的人员都获得了就业许可证;有些河南来京的打工人员当 上了门卫;有些武术学校的学员当上了门卫;所有的武术学校的学员都未获得就业许可证。 如果上述情况是真的，无法断定为真的选项是( )。 A、有些河南来京打工人员是武术学校的学员 B、所有河南来京打工人员都获得了就业许可证 C、有些门卫有就业许可证 D、有些门卫没有就业许可证 2、某公司在选派与外商谈判的人员时，有甲、乙、丙、丁四位候选人。为了组成最佳谈判阵容，公司有如下安排：如果派甲去，而且不派乙去，那么丙和丁中至少要派一人去。 如果公司没有派甲去，最能支持这一结论的是( )。 A、派乙去，不派丙和丁去 B、不派乙去，派丙和丁去 C、乙、丙、丁都没派去 D、乙、丙、丁都派去 3、S市一所小学的学生户籍情况比较复杂，所有三 年级学生的户籍都在本市，有些二年级学生的户籍也在本市，有些一年级学生是农民工子弟，而农民工子弟的户籍都不在本市。
据此，可以推出( )。 A、所有二年级学生都不是农民工子弟 B、有些农民工子弟是三年级学生 C、有些户籍在本市的学生是三年级学生 D、有些一年级学生不是农民工子弟 4、如果天气晴朗，小刘就去郊游，如果老婆不与他同去，小刘就不去郊游;如果单位有急事，小刘就不去郊游;如果今天不是星期六，小刘就不去郊游。 假设以上说法正确，那么，如果小刘去郊游，则不能判定下述哪项正确?( ) A、老婆与小刘同去郊游 B、天气晴朗 C、小刘单位没有急事 D、今天是星期六 5、所有甲公司的员工上班时都穿制服，小李上班时穿制服，所以小李是甲公司的员工。下列选项中所犯逻辑错误与上述推理最为相似的是( )。 A、所有得病的同学都没参加此次运动会，小明没得病，所以小明参加了此次运动会 B、所有发展中国家的经济发展水平都不高，中国的经济发展水平不高，所以中国是发展中国家 C、所有的鸡都不会飞，会飞的动物都是鸟类，所以鸡不属于鸟类 D、所有的酒类喝多了都对身体有害，可乐不属于酒类，所以可乐喝多了对身体无害 公务员考试逻辑推理题答案 1、答案： A
数理逻辑与集合论作业二 - 参考解答
數理邏輯與集合論作業二 1. 解：該題應該理解為此列表中每一句都是形如“i: 在這個列表中，恰有i條語句為假”的形式。 a)思路：考慮這100句裡可能有幾句為真。是否可能沒有一句為真？是否可能 祗有一句為真，是哪一句？是否可能多餘等於兩句為真？ b)思路：“至少i+1句為假”蘊含“至少i句為假”，若第i句為真，則1…… i-1句都為真，所以第 100, 99, 98, ……句都為假，一直到第50句為真 c) 思路同上，但是…… 2. 解答：如果我說右邊的路通往遺跡你將回答“是”，對嗎？ 3.
解答： ))))a q p b p q c q p d q p →∧→?→? 4. 也就是上述描述是否自相矛盾？ 5. 解答： 条件符号化 ::::(1)(2)(C G)(3)(G W)G W (4)G W G W S C G W S C G W S C C G W C C S C S →?∧=?∨???∧?=∨→?????男管家廚師園丁雜役假設為真，則由（2）得：再由（1）得：但無法判定的真假 假設為假，則由（3）得：再由（4）得：由（1）得：綜上所述：和說了假話，，的話真假未知 6. 四个朋友被认定为非法进入某计算机系统的嫌疑人。他们已对调查员作了陈述。
艾丽斯说“卡罗斯干的” 约翰说“我没幹。” 卡罗斯说“戴安娜干的。” 戴安娜说“卡罗斯说是我幹的，他说谎。” a）如果调查员知道四个嫌疑人中恰有一人说真话，那么准幹的？解释你的推理。 b）如果调查员知道恰有一人说谎，谁干的？解释你的推理。 解：前提符號化為 （1）A: C （2）J: ? J （3）C: D （4）D: ? (C: D) a) 祗有一句話為真，而（3）（4）有且僅有一句為真，分別討論（3）（4）為真的情況。 b）分析步驟同上。 7. 用真值表證明德摩根律和吸收律。 解答略 8. 使用等值演算證明下列命題公式為永真式（不得用真值表） 解答： a
小学奥数 逻辑推理 题集含答案
小学奥数逻辑推理题集含答案 一、填空题 1. 甲、乙、丙三人进行跑步比赛.A、B、C三人对比赛结果进行预测.A说:“甲肯定是第一名.”B说:“甲不是最后一名.”C说:“甲肯定不是第一名.”其中只有一人对比赛结果的预测是对的.预测对的是 . 2. A、B、C、D、E和F六人一圆桌坐下. B是坐在A右边的第二人. C是坐在F右边的第二人. D坐在E的正对面,还有F和E不相邻. 那么,坐在A和B之间的是 . 3. 甲、乙、丙、丁与小明五位同学进入象棋决赛.每两人都要比赛一盘,每胜一盘得2分,和一盘得1分,输一盘得0分.到现在为止,甲赛了4盘,共得了2分；乙赛了3盘,得了4分；丙赛了2盘，得了1分；丁赛了1盘，得了2分.那么小明现在已赛了盘，得了分. 4. 曹、钱、刘、洪四个人出差，住在同一个招待所.一天下午,他们分别要找一个单位去办事.甲单位星期一不接待,乙单位星期二不接待,丙单位星期四不接待,丁单位只在星期一、三、五接待，星期日四个单位都不接待. 曹:“两天前,我去误了一次,今天再去一次,还可以与老洪同走一条路.” 钱:“今天我一定得去,要不明天人家就不接待了.” 刘:“这星期的前几天和今天我去都能办事.” 洪:“我今天和明天去,对方都接待.” 那么,这一天是星期 ,刘要去单位,钱要去单位,曹要去单位,洪要去单位. 5. 四位外国朋友住在十八层高的饭店里,他们分别来自埃及、法国、朝鲜和墨西哥. (1)A住的层数比C住的层数高,但比D住的层数低； (2)B住的层数比朝鲜人住的层数低； (3)D住的层数恰好是法国人住的层数的5倍； (4)如果埃及人住的层数增加2层,他与朝鲜人相隔的层数,恰好和他与墨 西哥人相隔的层数一样； (5)埃及人住的层数是法国人和朝鲜人住的层数的和. 根据上述情况,请你确定A是人,住在层；B是人,住在层；C是人,住在层；D是人,住在层. 6. 小赵的电话号码是一个五位数,它由五个不同的数字组成.小张说：“它是84261.”小王说：“它是26048.”小李说：“它是49280.”小赵说：“谁说的某一位上的数字与我的电话号码上的同一位数字相同，就算谁猜对了这个数字.现在你们每人都猜对了位置不相邻的两个数字.”这个电话号码是 . 7. 小赵的电话号码是一个五位数,它由五个不同的数字组成.小王说：“它是93715.”小张说：“它是79538.”小李说：“它是15239.”小赵说：“谁说的某一位上的数字与我的电话号码上的同一位数字相同，就算谁猜对了这个数字.现在你们三人猜对的数字个数都一样,并且电话号码上的每一个数字都有人猜对.而每个人猜对的数字的数位都不相邻”.这个电话号码是 .
数理逻辑与集合论试卷
2006年的考题 一、A={a,b,c},B={X|a∈X且X?A},求B-A, B-{A}, ∪B, ∩B。 二、A={1,2,3,5,9},R是A上的关系且R={
离散数学测试(数理逻辑)
《离散数学》单元测试（数理逻辑部分） 一、填空题 1. 命题公式)(r q p G →?→=，则G 共有 个不同的解释，使公式G 为假的解释是 和 ，把G 在其所有解释下所取真值列成一个表，称为G 的 ，并可以通过它判定该公式的类型是 。 2. 在谓词逻辑中将下面命题符号化： a) 在北京工作的人未必都是北京人。（设F （x ）：x 在北京工作，G （x ）：x 是北京人） 。 b) 没有不犯错的人。（设F （x ）：x 是人，G （x ）：x 犯错误） 。 3. 将公式化成与之等值的前束范式， =→?→???)))()((),((x R z zQ y x yP x 。 4. 设谓词的定义域为},,{c b a ，将表达式))()((y yS x R x ?∧?中的量词消除，写成与之等值的命题公式 是 。 二、单项选择题 1. 一个公式在等值的意义下，下面哪个写法是唯一的（ ）。 A ．析取范式 B ．合取范式 C ．主析取范式 D ．以上答案都不对 2. 设命题公式P Q P G →∧=)(，则G 是（ ）。 A. 永假式 B. 永真式 C. 可满足式 D. 析取范式 3. 设命题公式)(),(P Q P H Q P G ?→→=→?=，则G 与H 的关系是（ ）。 以上都不是。 .;.;.;.D H G C G H B H G A ???
4. 已知命题))((R Q P G ∧→?=，则所有使G 取真值1的解释是（ ）。 A. （0，0，0），（0，0，1），（1，0，0） B. （1，0，0），（1，0，1），（1，1，0） C. （0，1，0），（1，0，1），（0，0，1） D. （0，0，1），（1，0，1），（1，1，1） 5. 设I 是如下一个解释，0 101),(),(),() ,(},,{b b P a b P b a P a a P b a D =， 则在解释I 下取真值为1的公式是（ ）。 ),(.);,(.);,(.);,(.y x yP x D x x xP C y x yP x B y x yP x A ??????? 6. 下面给出的一阶逻辑等值式中，（ ）是错的。 .(()())()(); .(()())()(); .()(()); .()(()). A x A x B x xA x xB x B x A x B x xA x xB x C xA x x A x D A xB x x A B x ?∨??∨??∨??∨??????→???→ 三、判断题 1. 判断下列陈述是否是命题？ a) 3是无理数。 b) 什么时候开会呀？ c) 2310x +≤。 d) 苹果树和梨树都是落叶乔木。 e) 吃一堑，长一智。 f) 李辛与李末是兄弟。 2. 设A 与B 均为含n 个命题变项的公式，判断下列命题的真值。 a) A ?B 当且仅当 A B 是可满足式。 b) 若A 为重言式，则A 的主析取范式中含有2n 个不同的极小项。 c) A 为矛盾式，当且仅当A 的主合取范式中含有2n 个不同的极大项。 d) 任何公式A 都能等值地化为联结词集{∧、∨} 中的公式。 3. 任何一阶逻辑公式都存在唯一与之等值的前束范式。
数理逻辑习题离散数学
第1章 命题逻辑 一、单项选择题 1. 下列命题公式等值的是( ) B B A A Q P Q Q P Q B A A B A A Q P Q P ),()D (),()C () (),()B (,)A (∧∨?∨∨?∨→→→?→→∨?∧? 2. 设命题公式G ：)(R Q P ∧→?,则使公式G 取真值为1的P ， Q ，R 赋值分别是 ( ) 0,0,1)D (0,1,0)C (1,0,0)B (0,0,0)A ( 3. 命题公式Q Q P →∨)(为 ( ) . (A) 矛盾式 (B) 仅可满足式 (C) 重言式 (D) 合取范式 4 命题公式)(Q P →?的主析取范式是( )． (A) Q P ?∧ (B) Q P ∧? (C) Q P ∨? (D) Q P ?∨ 5. 前提条件P Q P ,?→的有效结论是( )． (A) P (B) P (C) Q (D)Q 6. 设P ：我将去市里，Q ：我有时间．命题“我将去市里，仅当我有时间时”符号化为( ) Q P Q P Q P P Q ?∨??→→)D ()C ()B ()A ( 二、填空题 , 1. 设命题公式G ：P ?(Q P )，则使公式G 为假的真值指派是 2. 设P ：我们划船，G ：我们跑步，那么命题“我们不能既划船，又跑步”可符号化为 3. 含有三个命题变项P ，Q ，R 的命题公式P Q 的主析取范式是 4. 若命题变元P ，Q ，R 赋值为(1,0,1)，则命题公式G ＝)())((Q P R Q P ∨??→∧的 真值是 5. 命题公式P ?P Q 的类型是 ． 6. 设A ，B 为任意命题公式，C 为重言式，若C B C A ∧?∧，那么B A ?是 式(重言式、矛盾式或可满足式) 三、解答化简计算题 [ 1. 判别下列语句是否命题如果是命题，指出其真值. (1) 中国是一个人口众多的国家. (2) 存在最大的质数. (3) 这座楼可真高啊！ (4) 请你跟我走! (5) 火星上也有人. 2.作命题公式))(()(P Q P Q P ∨∧→→的真值表，并判断该公式的类型． 3. 试作以下二题：(1) 求命题公式(P Q )(P Q )的成真赋值． (2) 设命题变元P ,Q ,R 的真值指派为(0,1,1),求命题公式 ))()(()(Q R Q P R P →?∨→?∧?的真值． 4. 化简下式命题公式))()((P Q P Q P ∧?∧?∨∧ '
12道逻辑推理题(含答案)
12道逻辑推理题（含答案） 1．世界级的马拉松选手每天跑步不超过6公里。因此，如果一名选手每天跑步超过6公里，它就不是一名世界级马拉松选手。以下哪项与上文推理方法相同？（A）跳远运动员每天早晨跑步。如果早晨有人跑步，则他不是跳远运动员。（B）如果每日只睡4小时，对身体不利。研究表明，最有价值的睡眠都发生在入睡后第5小时。 （C）家长和小孩做游戏时，小孩更高兴。因此，家长应该多做游戏。 （D）如果某汽车早晨能起动，则晚上也可能起动。我们的车早晨通常能启动，同样，它晚上通常也能启动。 （E）油漆三小时之内都不干。如果某涂料在三小时内干了，则不是油漆。2．19世纪有一位英国改革家说，每一个勤劳的农夫，都至少拥有两头牛。那些没有牛的，通常是好吃懒做的人。因此它的改革方式便是国家给每一个没有牛的农夫两头牛，这样整个国家就没有好吃懒做的人了。 这位改革家明显犯了一个逻辑错误。下列选项哪个与该错误相类似？（A）天下雨，地上湿。现在天不下雨，所以地也不湿。（B）这是一本好书，因为它的作者曾获诺贝尔奖。（C）你是一个犯过罪的人，有什么资格说我不懂哲学？（D）因为他躺在床上，所以他病了。 （E）你说谎，所以我不相信你的话；因为我不相信你的话，所以你说谎。
3．有一天，某一珠宝店被盗走了一块贵重的钻石。经侦破，查明作案人肯定在甲、乙、丙、丁之中。于是，对这四个重大嫌疑犯进行审讯。审讯所得到的口供如下：甲：我不是作案的。乙：丁是罪犯。 丙：乙是盗窃这块钻石的罪犯。丁：作案的不是我。 经查实：这四个人的口供中只有一个是假的。那么，以下哪项才是正确的破案结果？（A）甲作案。（B）乙作案。（C）丙作案。（D）丁作案。 （E）甲、乙、丙、丁共同作案。 4．古代一位国王和他的张、王、李、赵、钱五位将军一同出外打猎，各人的箭上都刻有自己的姓氏。打猎中，一只鹿中箭倒下，但不知是何人所射。张说："或者是我射中的，或者是李将军射中的。" 王说："不是钱将军射中的。" 李说："如果不是赵将军射中的，那么一定是王将军射中的。" 赵说："既不是我射中的，也不是王将军射中的。" 钱说："既不是李将军射中的，也不是张将军射中的。" 国王让人把射中鹿的箭拿来，看了看，说："你们五位将军的猜测，只有两个人的话是真的。"请根据国王的话，判定以下哪项是真的？（A）张将军射中此鹿。（B）王将军射中此鹿。（C）李将军射中此鹿。（D）赵将军射中此鹿。（E）钱将军射中此鹿。 5．"赵科长又戒烟了。" 由这句话我们不可能得出的结论是
数理逻辑的发展历史
数理逻辑的发展历史 数理逻辑又称符号逻辑、理论逻辑。是用数学方法研究逻辑或形式逻辑的学科。它既是数学的一个分支，也是逻辑学的一个分支。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。 1.数理逻辑的发展概况 迄今为止，数理逻辑仅仅有三百余年的历史，但他同任何一门科学一样，也经历了一个发生和发展的过程。他最初是作为“运用数学方法的逻辑”产生的，主要是在数学等演绎科学发展的基础上为适应他们的表述和论证的需要而兴起的，随后数学的发展正式提出并要求认真解决数学的逻辑和哲学基础问题，于是数理逻辑又发展成了“关于数学的逻辑”，并且与数学基础理论相结合，形成了一门数学科学。 具体地讲：数理逻辑的产生和发展大致可分为以下所述的三个阶段。 2.数理逻辑的发展三阶段 2.1第一阶段——从17世纪60年代至19世纪80年代 此阶段开始采用用数学方法研究和处理形式逻辑。 当时的古典形式逻辑不足之处已为某些逻辑学者所理解。人们感到演绎推理和数学计算有相似之处，希望能把数学方法推广到思维的领域。数理逻辑的先驱莱布尼茨首先明确地提出了数理逻辑的指导思想。他设想能建立一种“普遍的符号语言”，这种语言包含着“思想的字母”，每一基本概念应由一表意符号来表示。一种完善的符号语言又应该是一个“思维的演算”，他设想，论辩或争论可以用演算来解决。莱布尼茨提出的这种符号语言和思维演算正是现代数理逻辑的主要特证。他成功地将古典逻辑的四个简单命题表达为符号公式。 而19世纪中叶，英国数学家和逻辑学家乔治布尔相当成功的建立了一个逻辑演算系统，被视为数理逻辑的第二个创始人。他所建立的逻辑代数式数理逻辑的早期形式，他主张使用“类”来处理思维形式，判断则表示“类” 与“类”之间的关系，他所创立的逻辑是“类”的逻辑，亦称“类的代数”。 他还创立了“命题代数”，而这两种代数是今天数理逻辑的基本部分，即有名
第一篇 数理逻辑复习题
第一篇 数理逻辑复习题 第1章 命题逻辑 一、单项选择题 1. 下列命题公式等值的是( ) B B A A Q P Q Q P Q B A A B A A Q P Q P ),()D (),() C ()(),()B (,)A (∧∨?∨∨?∨→→→?→→∨?∧? 2. 设命题公式G ：)(R Q P ∧→?,则使公式G 取真值为1的P ，Q ，R 赋值分别是 ( ) 0,0,1)D (0,1,0)C (1,0,0)B (0,0,0)A ( 3. 命题公式Q Q P →∨)(为 ( ) (A) 矛盾式 (B) 仅可满足式 (C) 重言式 (D) 合取范式 4 命题公式)(Q P →?的主析取范式是( )． (A) Q P ?∧ (B) Q P ∧? (C) Q P ∨? (D) Q P ?∨ 5. 前提条件P Q P ,?→的有效结论是( )． (A) P (B) ?P (C) Q (D)?Q 6. 设P ：我将去市里，Q ：我有时间．命题“我将去市里，仅当我有时间时”符号化为 ( ) Q P Q P Q P P Q ?∨??→→)D ()C ()B ()A ( 二、填空题 1. 设命题公式G ：P →?(Q →P )，则使公式G 为假的真值指派是 2. 设P ：我们划船，G ：我们跑步，那么命题“我们不能既划船，又跑步”可符号化为 3. 含有三个命题变项P ，Q ，R 的命题公式P ∧Q 的主析取范式是 4. 若命题变元P ，Q ，R 赋值为(1,0,1)，则命题公式G ＝)())((Q P R Q P ∨??→∧的 真值是 5. 命题公式P →?(P ∧Q )的类型是 ． 6. 设A ，B 为任意命题公式，C 为重言式，若C B C A ∧?∧，那么B A ?是 式(重言式、矛盾式或可满足式) 三、解答化简计算题 1. 判别下列语句是否命题？如果是命题，指出其真值. (1) 中国是一个人口众多的国家. (2) 存在最大的质数. (3) 这座楼可真高啊！ (4) 请你跟我走! (5) 火星上也有人. 2.作命题公式))(()(P Q P Q P ∨∧→→的真值表，并判断该公式的类型． 3. 试作以下二题：(1) 求命题公式(P ∨?Q )→(P ∧Q )的成真赋值． (2) 设命题变元P ,Q ,R 的真值指派为(0,1,1),求命题公式 ))()(()(Q R Q P R P →?∨→?∧?的真值． 4. 化简下式命题公式))()((P Q P Q P ∧?∧?∨∧ 5. 求命题公式))()((Q P P Q P ∧?∧→→的主合取范式. 6. 求命题公式R P R Q P P R Q ∨?∨→?∧→?∧)())((的真值． 7. 求命题公式)()(Q P Q P ?→∧→?的主析取范式，并求该命题公式的成假赋值．