分别用MONKEY、BOX、BANANA表示猴子、箱子和香蕉。
定义谓词：
OVER（x）：x被挂在天花板上；
FAR-AWAY(x,y):x离y较远(y不在x可触及的范围内）；
BELOW(x,y):x在y的正下方；
ON(x,y):x在y的上面；
AT(x,y):x处于y处或x在y边上；
GET(x,y):x取得y;
GOTO(x,y):x走到y处;
GO-UP(x,y):x爬或跳到y上面；
REMOVE(x,y,z):x 把y搬到z处；
初始状态：
OVER(BANANA) ∧FAR-AWAY(MONKEY,BOX) ∧FAR-AWAY(MONKEY,BANANA) ∧FAR-AWAY(b,BOX) ∧BELOW(b,BANANA)
目标状态：
AT(BOX,b) ∧ON(MONKEY,BOX) ∧GET(MONKEY,BANANA)
中间过程表述：
猴子走到箱子边上：
FAR-AWAY(MONKEY,BOX) ∧GOTO(MONKEY,BOX) →AT(MONKEY,BOX)
猴子把箱子搬到b处：
AT(MONKEY,BOX) ∧REMOVE(MONKEY,BOX,b) →AT(BOX,b) ∧AT(MONKEY,BOX)
猴子爬或到跳到箱子上：
AT(BOX,b) ∧AT(MONKEY,BOX) ∧GO-UP(MONKEY,BOX) →AT(BOX,b) ∧ON(MONKEY,BOX) ∧GET(MONKEY,BANANA)
谓词逻辑习题 1. 将下列命题用谓词符号化。 （1）小王学过英语和法语。 （2）2大于3仅当2大于4。 （3）3不是偶数。 （4）2或3是质数。 （5）除非李键是东北人，否则他一定怕冷。 解： (1) 令)(x P ：x 学过英语，Q(x)：x 学过法语，c ：小王，命题符号化为)()(c Q c P ∧ (2) 令),(y x P ：x 大于y, 命题符号化为)3,2()4,2(P P → (3) 令)(x P ：x 是偶数，命题符号化为)3(P ? (4) 令)(x P ：x 是质数，命题符号化为)3()2(P P ∨ (5) 令)(x P ：x 是北方人；)(x Q ：x 怕冷；c ：李键；命题符号化为)()(x P c Q ?→ 2. 设个体域}{c b a D ，， =，消去下列各式的量词。 （1）))()((y Q x P y x ∧?? （2）))()((y Q x P y x ∨?? （3）)()(y yQ x xP ?→? （4）))()((y yQ y x P x ?→?， 解： (1) 中))()(()(y Q x P y x A ∧?=，显然)(x A 对y 是自由的，故可使用UE 规则，得到 ))()(()(y Q y P y y A ∧?=，因此))()(())()((y Q y P y y Q x P y x ∧?∧?? ，再用ES 规则， )()())()((z Q z P y Q y P y ∧∧? ，D z ∈，所以)()())()((z Q z P y Q x P y x ∧∧?? （2）中))()(()(y Q x P y x A ∨?=，它对y 不是自由的，故不能用UI 规则，然而，对 )(x A 中约束变元y 改名z ，得到))()((z Q x P z ∨?，这时用UI 规则，可得： ))()((y Q x P y x ∨?? ))()((z Q x P z x ∨??? ))()((z Q x P z ∨? （3）略 （4）略 3. 设谓词)(y x P ，表示“x 等于y ”，个体变元x 和y 的个体域都是}321 {，，=D 。求下列各式的真值。 （1）)3(，x xP ? （2）)1(y yP ，? （3）)(y x yP x ，?? （4）)(y x yP x ，?? （5）)(y x yP x ， ?? （6）)(y x xP y ， ?? 解：
《逻辑学基础教程》练习题参考答案 第一章绪论 一、填空题 1．逻辑学研究思维是暂时撇开（具体容），专门研究（形式）。 2．任一种逻辑形式都是由两部分构成的，即（逻辑常项）和（变项）。 3．逻辑常项是指逻辑形式中（不变）的部分，变项是指逻辑形式中（可变）的部分。 判别逻辑形式的类型的唯一依据是（逻辑常项）。 4．形式逻辑研究的对象及其特点决定形式逻辑是一门（工具）性学科，它是没有（民族、阶级）性的。 二、单项选择题 1．思维的逻辑形式之间的区别，取决于（B） A．思维的容B．逻辑常项 C．逻辑变项D．语言表达形式
2．“所有S是P”与“有的S不是P”，（B） A．逻辑常项相同但变项不同B．逻辑常项不同但变项相同 C．逻辑常项与变项均相同D．逻辑常项与变项均不同3．“任改革者不是思想僵化的，有些干部是改革者，所以有些干部不是思想僵化的”。 此推理的逻辑形式是（B） A．所有M不是P，S是M，所以S不是P B．所有M不是P，有些S是M，所以有些S不是P C．有些M不是P，有些S是M，所以S不是P D．M是P，S不是M，所以S不是P 三、指出下列各段文字中个“逻辑”一词的含义 1．“虽说马克思没有留下‘逻辑’（大写字母的），但他遗留下《资本论》的‘逻辑’……” 答：前一个“逻辑”是指逻辑学，即研究思维形式及其规律的科学。后一个“逻辑” 是指某种理论观点。 2．写文章要讲逻辑。 答：思维的规律和规则。 3．跨过战争的艰难路程之后，胜利的坦途就到来了，这是战争的自然逻辑。 答：客观事物发展的规律。 4．艾奇逊当面撒谎，将侵略写成了“友谊”……美国老爷的逻辑，就是这样。 答：表示某种特殊的立场观点或论证法 四、下列各组命题是否具有相同的命题形式？为什么？
命题逻辑和谓词逻辑习题课的题目及参考 答案 说明：红色标注题目可以暂且不做 命题逻辑和谓词逻辑习题课的题目 一、填空 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 范式为 。
1、形式逻辑是研究思维的形式及其规律的科学。 2、概念的内涵越多，则外延越小；内涵越少，则外延越大；这种关系叫反变关系。 3、概念的矛盾关系是指a、b两概念的外延没有任何部分重合，其外延之和等于其属概念的外延。如金属和非金属。 4、定义是揭示概念内涵的逻辑方法，划分是揭示概念外延的逻辑方法。 5、当O判断为真时，同素材的判断A 假；E真假不定；I 真假不定。 6、当O判断为假时，同素材的判断A真；E 假；I 真。 7、当A判断为真时，同素材的判断E 假；O为假；I 真。 8、当A判断为假时，同素材的判断E 真假不定；O为假；I 真假不定。 9、关系判断由关系者项、关系项和量项三部分组成。 10、在模态判断中，必然p和可能p之间是差等关系；必然非p与可能p之间是矛盾关系。 11、在“有S不是P”中，逻辑变项是S,P；逻辑常项是有……不是。 12、一个判断的主项周延，则这个判断是全称判断；一个判断的谓项周延，则这个判断是否定判断。 13、若p∨q为真，p为真，则q取值为真假不定；若q为真，则p的取值为真。 14、若一有效三段论的结论为全称肯定判断，则其大前提应为全称肯定判断，小前提应为全称肯定判断。 25、矛盾律的要求是：在同一思维过程中，对于具有上反对和矛盾关系的判断，不应该承认它们都是真的。 26、排中律的要求是：在同一思维过程中，对于具有下反对和矛盾关系的判断，不应该承认它们都是假的。 27、若一有效三段论，其小前提为特称否定判断，则其大前提应为全称肯定判断，结论应为特称否定判断。 28、若一有效三段论，其大前提为MIP，则其小前提应为MAS，结论应为SIP。 28、思维的逻辑规律包括同一律、矛盾律、排中律和充足理由律。 29若p→q为真，则当p为真时，q的取值为真；当p为假时，q的取值为可真可假。 30、三段论第一格的特殊规则是：（1）小前提必须是肯定判断、大前提必须是全称判断。 31、复合判断包括联言判断、选言判断、假言判断和负判断等形式。 32、“只有请外国人当教练，中国足球才能走向世界。”这一判断的负判断的等值判断为就算沒有请外国人当教练，中国足球也能走向世界。用符号表示为p∧ q。 33、“我班同学都是南方来的。因此，南方来的都是我班同学。”上述推理违背了换位法推理中前提中不周延的项，结论里也不得周延的规则。正确的推理应为我班同学都是南方来的。因此，有些南方来的是我班同学。 34、在充分条件的假言判断中，前件真则后件真，前件假则后件假。 35、“只有多喝水，才能减肥”。上述假言判断的负判断是并非只有多喝水，才能减肥，用符号表示为 p←q 。 36、根据概念外延之间重合情况，可以将概念间的关系分为全同关系、真包含关系、真包含于关系、交叉关系和全异关系。 37、“苹果就是长在树上的水果”，这一定义犯了定义过宽的规则，“文学可分为戏剧、散文和诗歌”，这一划分违反了划分不全的规则。 38、从关系判断的性质来看，“父母关心子女”属于非对称关系；“李白和杜甫是同时代人”属于对称关系。 三、图表题： 1、用欧拉图表示下列概念间的关系： A学生、B党员、C浙江籍学生、D大学生、E女学生、F三好学生。
离散数学作业 作业11——第3章谓词逻辑 1. 符号化下列命题并推证其结论。 每个大学生不是文科学生就是理工科学生，小张不是理工科学生，因此如果小张是大学生，则他就是文科生。 解：a：小张；M(x):x是大学生；F(x): x是文科生；G(x): x是理工科学生，则符号化为 (x)(M(x)F(x)∨G(x))，┐G(a)M(a) F(a) (1) M(a) P（附加前提） (2) (x)(M(x)F(x)∨G(x)) P (3) M(a)F(a)∨G(a) (2),US (4) ┐M(a)∨F(a)∨G(a) (3),等值演算 (5) F(a)∨G(a) (1),(4),析取三段论 (6) ┐G(a) P (7) F(a) (5),(6),析取三段论 (8) M(a) F(a) (1),(7),CP规则 注：也可采用直接证法。 2. 符号化下列命题并推证其结论。 所有的主持人都是有风度的，黎明既是学生又是主持人，所以有一些学生是有风度的。 解：S(x): x是学生；Z(x): x是主持人；F（x）：x是有风度的；a：黎明。
(x)(Z(x)F(x))，S(a)Z(a)(x) (S(x)F(x)) (1) (x)(Z(x)F(x)) P (2) Z(a)F(a) (1),US (3) S(a)Z(a) P (4) S(a) (3),化简 (5) Z(a) (3),化简 (6) F(a) (2),(5),假言推理 (7) S(a)F(a) (4),(6),合取引入 (8) (x) (S(x)F(x)) （7），EG 3．在一阶谓词逻辑中构造下面推理的证明。 前提：(x)(F(x)∨G(x))，(x)(F(x)→H(x))， 结论：(x)(H(x)→G(x))。 证明：反证法 (1)(x)(H(x)→G(x)) 附加前提 (2)(x)(H(x)→G(x)) (1),量词否定等值式 (3)(H(c)→G(c)) (2), ES (4)(H(c) ∨G(c)) (3), 等值演算 (5)H(c)G(c) (4), 等值演算 (6)H(c) （5），化简 (7)G(c) （5），化简 (8)(x)(F(x)∨G(x)) P (9)F(c)∨G(c) （8），US
《逻辑学〉教材练习题参考答案（仅供参考） 2011/11/25 第二章 一、 1、违反同一律，“讲究语言形式”和“形式主义”是不同的语词。 2、答非所问，问“产值”问题，回答的是和产值不相干的问题，也是违反同一律。 3、没有违反同一律。 二、 1、违反矛盾律，差不多一百万是不够一百万，一百万以上是超出一百万，语词自相矛盾。 2、没有违反逻辑规律。 3、违反排中律，两种意见都不赞成，但只有这两种意见，所以他是否定两个互相矛盾的命题，暗含着还有第三种可能，但实际上没有第三种。 三、 1、违反矛盾律，既是永恒的，就不能是历史的，永恒和历史是相矛盾的。 2、没有违反逻辑规律。 3、违反矛盾律，从来没有人上去过，和有人上去过是两个互相矛盾的命题。 4、没有违反逻辑规律。 5、违反矛盾律，既说他完成了作业，也说他没有完成作业。 6、没有违反逻辑规律。 7、违反矛盾律，不孕症是没有后代，问能否传给后代，又表明他有后代，自相矛盾。 8、违反排中律，否定两个互相矛盾的命题：机器是进口的，机器不是进口的。 四、 1、思路：先找出两个互相矛盾的命题，然后根据已知条件推理。 甲乙两个命题互相矛盾：甲没拿，甲拿了。 假定甲为真，依据只有一真，其余皆假，则乙丙丁为假； 由丙是假的，依据排中律可知，丙的矛盾命题不能为假，所以丙的矛盾命题为真。 即并非“甲没拿”不能为假，这等于“甲拿了”。 由假定“甲没拿”推出了与之矛盾的命题“甲拿了”。 推出了矛盾，依据矛盾律，表示假定不成立。 再依据排中律，假定的反面成立，所以是“甲拿了”。 乙的判断是真的，其他都是假的。 2、给出一个能够产生悖论的话语，国王就无法执行他的规定。 如果囚犯对国王说：请处我以砍头。国王就有点难办了。 因为： 如果他把囚犯处以了砍头，囚犯就说了真话，他就不能处他砍头； 如果他把囚犯处以了绞刑，囚犯就说了假话，他就不能处他绞刑。 3、违反矛盾律，如果有万能溶液，那就没有装它的容器；如果有装它的容器，就没有万能溶液。这句话包含着两个互相矛盾的命题：有万能的溶液并且没有万能的溶液。
数理逻辑部分 第2章一阶逻辑 2.1 一阶逻辑基本概念 个体词（个体）: 所研究对象中可以独立存在的具体或抽象的客体个体常项：具体的事物，用a, b, c表示 个体变项：抽象的事物，用x, y, z表示 个体域: 个体变项的取值范围 有限个体域，如{a, b, c}, {1, 2} 无限个体域，如N, Z, R, … 全总个体域: 宇宙间一切事物组成 谓词: 表示个体词性质或相互之间关系的词 谓词常项：F(a)：a是人 谓词变项：F(x)：x具有性质F 一元谓词: 表示事物的性质 多元谓词(n元谓词, n2): 表示事物之间的关系 如L(x,y)：x与y有关系L，L(x,y)：x y，… 0元谓词: 不含个体变项的谓词, 即命题常项或命题变项 量词: 表示数量的词 全称量词: 表示任意的, 所有的, 一切的等 如x 表示对个体域中所有的x 存在量词: 表示存在, 有的, 至少有一个等 如x表示在个体域中存在x 一阶逻辑中命题符号化 例1 用0元谓词将命题符号化 要求：先将它们在命题逻辑中符号化，再在一阶逻辑中符号化 (1) 墨西哥位于南美洲 在命题逻辑中, 设p:墨西哥位于南美洲 符号化为p, 这是真命题 在一阶逻辑中, 设a：墨西哥，F(x)：x位于南美洲 符号化为F(a)
例2 在一阶逻辑中将下面命题符号化 (1) 人都爱美; (2) 有人用左手写字 分别取(a) D为人类集合, (b) D为全总个体域. 解：(a) (1) 设G(x)：x爱美, 符号化为x G(x) (2) 设G(x)：x用左手写字, 符号化为x G(x) (b) 设F(x)：x为人，G(x)：同(a)中 (1) x (F(x)G(x)) (2) x (F(x)G(x)) 这是两个基本公式, 注意这两个基本公式的使用. 例3 在一阶逻辑中将下面命题符号化 (1) 正数都大于负数 (2) 有的无理数大于有的有理数 解注意: 题目中没给个体域, 一律用全总个体域 (1) 令F(x): x为正数, G(y): y为负数, L(x,y): x>y x(F(x)y(G(y)L(x,y))) 或 x y(F(x)G(y)L(x,y)) 两者等值 (2) 令F(x): x是无理数, G(y): y是有理数, L(x,y)：x>y x(F(x)y(G(y)L(x,y))) 或x y(F(x)G(y)L(x,y)) 两者等值 几点注意： 1元谓词与多元谓词的区分 无特别要求，用全总个体域 量词顺序一般不能随便颠倒 否定式的使用 思考： ①没有不呼吸的人 ②不是所有的人都喜欢吃糖 ③不是所有的火车都比所有的汽车快 以上命题应如何符号化？ 2.2 一阶逻辑合式公式及解释字母表 定义字母表包含下述符号： (1) 个体常项：a, b, c, …, a i, b i, c i, …, i1 (2) 个体变项：x, y, z, …, x i, y i, z i, …, i 1 (3) 函数符号：f, g, h, …, f i, g i, h i, …, i1 (4) 谓词符号：F, G, H, …, F i, G i, H i, …, i1 (5) 量词符号：, (6) 联结词符号：, , , , (7) 括号与逗号：(, ), ， 定义项的定义如下： (1) 个体常项和个体变项是项. (2) 若(x1, x2, …, x n)是任意的n元函数，t1,t2,…,t n
2014冬逻辑学作业( 一 ) （请注意：这是例题，只可参考巩固逻辑知识。-----袁乐） 分校专业姓名学号 一、填空题(每空1分，共10分) 1．在“p并且q”中，逻辑变项是( p,q )，逻辑常项是( 并且 )。 2．任何逻辑形式都是由逻辑( 常项 )和逻辑( 变项 )两个部分组成的。 3．概念的两个逻辑特征是（内涵）和（外延）。 4．在“人是从猿演变来的的”中，“人”从集合概念与非集合概念的角度看，是( 集合 )概念。从普遍概念与单独概念的角度看，是( 普遍 )概念， 5．定义是揭示概念( 内涵 )的逻辑方法，划分是揭示概念( 外延 )的逻辑方法。 二、单项选择题(每题4分，共40分) ( B )1．“如果p那么q”与“只有p才q”这两个判断形式，它们含有( )。 A.相同的逻辑常项，相同的逻辑变项 B.相同的逻辑常项，不同的逻辑变项 C.不同的逻辑常项，相同的逻辑变项 D.不同的逻辑常项，不同的逻辑变项( C )2．“群众是真正的英雄”这一语句的“群众”属于( ) A. 负概念 B. 空概念 C．集合概念 D.非集合概念 ( C )3．“共青团员”这个概念可以概括为( ) A.工人 B. 劳动者 C.青年 D.共产党员 ( C )4．“连队”和“战士”两个概念外延之间的关系是( ) A.全同关系 B. 交叉关系 C.全异关系 D. 属种关系 ( D )5“所有的金属是导电体”这一判断中主项“金属”和谓项“导电体”两概念外延之间具有( )关系。 A.全同关系 B. 真包含于关系 C. 真包含关系 D.交叉关系( D )6．“大学生”这个概念可以概括为( ) A.共青团员 B. 北京大学的学生 C.女大学生 D.学生( D )7.下列属于正确划分的是( ) A.三段论分为大前提，小前提，结论 B. 关系判断分为关系项，关系者项，量项 C. 定义分为被定义项，定义项，定义联项 D.思维形式分为概念，判断，推理( D )8．“概念”可以概括为( ) A.判断 B. 语言 C.推理 D.思维形式 ( D )9.下列对概念的限制中正确的是( ) A.把“北京市”限制为“西城区” B.把“书籍”限制为“《普通逻辑学》 C.把“黄山”限制为“风景秀丽的黄山” D.把“数学家”限制为“陈景润” ( D )10．“郭沫若是著名的学者和作家”中”郭沫若”是( ) A.普遍概念 B.可以进行限制 C.与“作家”之间为真包含关系 D.可以进行概括 三、多项选择题(包括两个及两个以上的答案，每题4分，共20分) ( A、D )1．下列各组概念中具有交叉关系的是( ) A.“出口商品”和“自行车” B. “青年”和“共青团员” C. “超过18岁的人”和“不超过50岁的人”
逻辑学各章练习题及答案 绪论 【堂上操练】 一、填空： 1．普通形式逻辑研究的对象是：________________________________________。 2．在抽象思维、形象思维和灵感思维三者中，普通形式逻辑研究的思维属于_____________。 3．思维的逻辑形式又叫____________，指具有不同思维内容的思维形式所共同具有的__________。 4．思维的形式结构是________________________的符号系统。 5．思维形式结构中固定不变的部分叫___________，可以变化的部分叫__________。 二、指出下列命题的形式结构： 1．这个学生是三好学生。2．马克思主义不是教条，而是行动的指南。 3．这节课或者你来讲，或者我来讲。4．如果不努力学习，就很难取得好成绩。三、指出下列形式结构中的逻辑常项和逻辑变项： 1．所有S是P 2．p← q3．有S不是P 4．（p∧q）→r 【课后作业】 一、查阅词典，指出下列各句"逻辑"一词的含义： 1．正义终究战胜邪恶，这是社会发展的逻辑。 2．"贫穷才是社会主义"，这是什么逻辑？ 3．普及逻辑是提高中华民族文化素质的一个重要方面。 4．我们要善于逻辑地思维和明确地表达思想。 5．虽说马克思没有留下"逻辑"（大写字母的），但他遗留下"资本论"的逻辑，应当充分地利用这种逻辑来解决当前的问题。① 6．任何脱离现实生活逻辑的文学作品都是没有生命力的。 7．"社会主义不能搞市场经济"，这一逻辑不能成立。 8．这几句话不合逻辑。 二、请用公式表示下列命题或推理，并指出哪些具有共同的逻辑形式？ 1．只有坚持改革开放，中国才有出路。 2．白求恩同志是一个高尚的人。 3．所有科学理论都具有客观性，形式逻辑是科学理论，所以，形式逻辑具有客观性。4．除非你去请他，他才来。 5．某案犯逃跑要么从水路。要么从陆路，据查不是从水路，所以，某案犯是从陆路逃跑。 6．只有社会主义才能救中国。 7．凡优秀的电影都具有感人的力量，《刘三姐》是优秀的电影，所以，《刘三姐》具有感人的力量。 8．搞社会主义市场经济或者半途而废，或者坚持下去，不能半途而废，所以，只能坚持下去。 4．除非你去请他，他才来。 5．某案犯逃跑要么从水路。要么从陆路，据查不是从水路，所以，某案犯是从陆路逃跑。
形式逻辑学练习（堂上训练部分） 第一章绪论 一、填空： 1．普通形式逻辑研究的对象是：思维形式思维基本规律简单逻辑方法_。 2．在抽象思维、形象思维和灵感思维三者中，普通形式逻辑研究的思维属于_抽象思维__。 3．思维的逻辑形式又叫_ _思维的形式结构_____，指具有不同思维内容的思维形式所共同具有的__共同联系方式___。 4．思维的形式结构是__由逻辑常项和逻辑变项结合而成__的符号系统。 5．思维形式结构中固定不变的部分叫__逻辑常项_，可以变化的部分叫__逻辑变项__。 二、指出下列命题的形式结构： 1．这个学生是三好学生。（这个S是P ） 2．马克思主义不是教条，而是行动的指南。?（非p，但q） 3．这节课或者你来讲，或者我来讲。或p，或q 4．如果不努力学习，就很难取得好成绩。如果非p，那么，非q
三、指出下列形式结构中的逻辑常项和逻辑变项： 1．所有S是P逻辑常项：所有，是。逻辑变项：S，P 2．p←q逻辑常项：←， 。逻辑变项：p，q 3．有S不是P逻辑常项：有，不是。逻辑变项：S，P 4．（p∧q）→r逻辑常项：∧，→ 逻辑变项：p，q，r 第二章概念
一、填空： 不能任意改变。 二、指出下列概念是单独概念还是普遍概念： 1．我国人口最多的城市（单独概念）2．《鲁迅全集》（单独概念）3．比尔·盖茨（单独概念）4．《普通形式逻辑》课本（普遍概念） 5．电脑（普遍概念）6．那张纸（单独概念）7．共产党（普遍概念）8．中国共产党（单独概念） 9．国庆节（普遍概念） 10．中国人（普遍概念）
三、指出下列加横线概念是集合概念还是非集合概念： （非集合概念） 合概念） 四、指出下列概念是正概念还是负概念： 1．无济于事（正概念）2．败诉（正概念）3．不料（正概念）4．不作为（负概念） 五、指出下列各题加横线概念之间具有什么关系并用图形表示出来： 句子（a），短语（b），词（c），单句（d），复句（e） d e b c a 他（a），教师（b），文学（c），小说（d），作家（e）
谓词逻辑习题 1. 将下列命题用谓词符号化。 （1）小王学过英语和法语。 （2）2大于3仅当2大于4。 （3）3不是偶数。 （4）2或3是质数。 （5）除非李键是东北人，否则他一定怕冷。 解： (1) 令)(x P ：x 学过英语，Q(x)：x 学过法语，c ：小王，命题符号化为)()(c Q c P ∧ (2) 令),(y x P ：x 大于y, 命题符号化为)3,2()4,2(P P → (3) 令)(x P ：x 是偶数，命题符号化为)3(P ? (4) 令)(x P ：x 是质数，命题符号化为)3()2(P P ∨ (5) 令)(x P ：x 是北方人；)(x Q ：x 怕冷；c ：李键；命题符号化为)()(x P c Q ?→ 2. 设个体域}{c b a D ，，=，消去下列各式的量词。 （1）))()((y Q x P y x ∧?? （2）))()((y Q x P y x ∨?? （3）)()(y yQ x xP ?→? （4）))()((y yQ y x P x ?→?， 解： (1) 中))()(()(y Q x P y x A ∧?=，显然)(x A 对y 是自由的，故可使用UE 规则，得到 ))()(()(y Q y P y y A ∧?=，因此))()(())()((y Q y P y y Q x P y x ∧?∧?? ，再用ES 规则， )()())()((z Q z P y Q y P y ∧∧? ，D z ∈，所以)()())()((z Q z P y Q x P y x ∧∧?? （2）中))()(()(y Q x P y x A ∨?=，它对y 不是自由的，故不能用UI 规则，然而，对 )(x A 中约束变元y 改名z ，得到))()((z Q x P z ∨?，这时用UI 规则，可得： ))()((y Q x P y x ∨?? ))()((z Q x P z x ∨??? ))()((z Q x P z ∨? （3）略 （4）略 3. 设谓词)(y x P ，表示“x 等于y ”，个体变元x 和y 的个体域都是}321 {，，=D 。求下列各式的真值。 （1）)3(，x xP ? （2）)1(y yP ，? （3）)(y x yP x ， ?? （4）)(y x yP x ，??
逻辑学练习题及参考答案 第一部分、练习题 一、单项选择题 1、思维的逻辑形式之间的区别，取决于( )。a．思维的内容 b．逻辑常项 c．变项 d．语言表达形式 2、“所有S是P”与“有的S不是P”( )。 a．逻辑常项相同变项不同b．逻辑常项不同变项相同c．逻辑常项与变项均相同 d．逻辑常项与变项均不同 3、“中国人是不怕死的，奈何以死惧之”中的“中国人”概念属于( )。 a．集合概念 b．非集合概念 c．普遍概念 d．负概念、。4、如果( )，那么有的a是b，并且有的a不是b。 a．a与b全异 b．a与b同一 c．a与b交叉 d．a真包含于b 5、“学生考试成绩分为优、良、中、及格、不及格，”和“学生补考成绩分为及格和不及格”这两个判断中，“及格”和“不及格”两个概念之间( )。 a．都是矛盾关系b．都是反对关系c．前者是矛盾关系，后者是反对关系d．前者是反对关系，后者是矛盾关系 6、将“母项”概括为“划分”，限制为“子项”，则( )。 a．概括和限制都对 b．概括和限制都错 c．概括对，限制错 d．概括错，限制对 7、如A为“《孔乙己》”，B为“《鲁迅全集》”，则A与B的外延关系为( )。 a．A真包含于B b．A与B相容 c．A与B全异 d．A与B交叉8、若用“Ds就是Dp”表示定义公式，则犯“定义过窄”的错误是指在外延上( )。a．Ds等于Dp b．Ds真包含于Dp c．Dp真包含Ds d．Ds真包含Dp 9、若A是划分的母项，则根据划分规则，A不可以是( )。 a．单独概念 b．普遍概念 c．正概念 d．负概念 10、在①“中国人是勤劳的”和②“小王是中国人”中，“中国人”( )。a．都是集合概念 b．都是非集合概念 c．在①中是集合概念，在②中是非集合概念 d．在①中是非集合概念，在②中是集合概念 11、“形式逻辑是研究思维的科学”把这句话作为定义，所犯的逻辑错误是( )。a．同语反复 b．循环定义 c．定义过宽 d．定义过窄12、在性质命题中，决定命题形式的是( )。 a．主项和谓项b．主项和量项c．联项和量项 d．谓项和量项 13、下列命题形式真假情况为三真二假的是( )。a．S A P b．S E P c．S I P d．S O P 14、当具有SIP形式的性质命题为真时，概念S与P之间一定是( )。 a．全同关系 b．属种关系 c．交叉关系 d．相容关系15、“没有S不是P与“S不都是P”这两个命题形式之间的关系是( )。 a．反对关系 b．矛盾关系 c．下反对关系 d．差等关系16、若两个性质命题变项都相同，而常项都不同，则这两个性质命题( )。 a．可同真，可同假 b．可同真，不同假 c．不同真，可同假 d．不同真，不同假
《逻辑学》模拟试题及参考答案(A ) 2分，共20分） 、思维的形式结构由 逻辑常量 和 逻辑变量 构成。 2、表示对象不具有某种本质属性的概念，称为 负概念 。 3、由“q p ?→”为假，可知p 为 真 ，q 为 真 。 4、对一真值形式的判定，就是确定它属于 重言式 、 矛盾式 还是 非 重言的可真式 。 5、直言命题的 主项 和 谓项 通称为词项。 6 、一个直言命题的谓项周延，其质是 否定式 。 7、如果把“新闻系毕业的学生不都当记者”整理成I 命题，则其谓项是 不当 记者的 。 8、如果SOP 为假，则S 与P 的外延间具有 全同 关系和 真包含于 关系。 9、“地球磁场发生磁暴的周期性经常与太阳黑子的周期性一致。随着太阳上黑子数目 的增加，磁暴的强烈程度也增高。当太阳黑子数目减少时，磁暴的强烈程度也随 之降低。所以，太阳黑子的出现可能是磁暴的原因。”这是运用了求因果联系的 逻辑方法中的 共变法 。 、证明是根据已知为真 的命题，来确定某一命题 真实性 的思维形式。 二、单项选择题（在每小题的四个备选答案中选出一个正确的 答案，并将正确答案的序号填在题后的括号内。错选、不选均无 分。每小题2分，共20分） 1、“”与“s r ∨”这两个命题形式含有 （b ） A 、相同的逻辑常项，相同的变项 B 、不同的逻辑常项，不同的变项 C 、不同的逻辑常项，相同的变项 D 、相同的逻辑常项，不同的变项 2、在下列语句中，在集合意义下使用语词“人”的是 （ d ） A 、人是有思维能力的 B 、人非圣贤，孰能无过 C 、人贵有自知之明 D 、人是世间万物中第一个可宝贵的 3、下列语句作为划分，正确的是 （ c ） A 、战争分为常规战争和世界大战 B 、一年可以分为春、夏、秋、冬四季 C 、这个班的学生，除了七名女学生外，其余都是男生
●镇江的夏天既炎热又潮湿 解：定义谓词 hot(X,Summer)：X地的夏天很炎热 wet(X,summer)：X地的夏天很潮湿 该知识可以表示为 hot(Zhenjiang,summer)∧wet(Zhenjiang,summer) ●有人每天下午都去打篮球。 解：定义谓词 P(x)：x是人 B(x)：x打篮球 ? A(y)：y是下午 将知识用谓词表示为： (?x)(?y) (A(y)→B(x)∧P(x)) ●新型计算机速度又快，存储容量又大 解：定义谓词 NC(x)：x是新型计算机 F(x)：x速度快 B(x)：x容量大 将知识用谓词表示为： (?x) (NC(x)→F(x)∧B(x)) ●不是每个信息系的学生都喜欢在计算机上编程序。解：定义谓词 S(x)：x是信息系学生 L(x, pragramming)：x喜欢编程序 U(x,computer)：x使用计算机 将知识用谓词表示为： ?(?x) (S(x)→L(x, pragramming)∧U(x,computer)) ●所有的消防车都是红色的 解: 定义谓词 Fireengine(x) : x是消防车 Color(x, y) : x的颜色是y red:表示红色 该知识可以表示为： (?x)( Fireengine(x))→Color(x, red) 对于所有的x, 如果x是消防车，那么x的颜色是红色的●所有的自然数，不是奇数就是偶数 解：定义谓词 N(x) : 表示x是自然数 O(x) : 表示x是奇数
E(x) : 表示x是偶数 该知识可表示为： (?x)( N(x))→(O(x) ∨E(x)) ●305房间有个物体 解：定义谓词 In（x，y）：x在y里面 Room（x）：x是房间 r305：305房间 （?x）In（x，Room（r305）） ●每个车间都有一个人负责 有一个人是所有车间的负责人 解：定义谓词： Workshop（x）：x是个车间 Head（y,x）: y是x的负责人 以上知识可表示为： (?x)(?y)( Workshop（x）→Head（y,x）) (?y)(?x)( Workshop（x）→Head（y,x）)
谓词逻辑表示法是把一些知识表示为经典逻辑中的谓词表示式。它只能表示出精确的知识，而对不确定的知识无法有效表示，同时这种表示方式也不能很好地体现知识的内在联系。在进行教学时，首先需要通过实例让学生了解什么是命题和命题公式，什么是谓词和谓词公式，然后用实例来分析讲解将知识表示为谓词公式的过程： 1）定义谓词和个体 例：王先生是李文的老师。首先定义谓词：TEACHER(X,Y):X 是Y 的老师，而后定义个体：王先生(Wang)，李文（LiWen ）； 2）为每个谓词中的变元赋以特定的值：TEACHER(Wang,LiWen)； 3）根据所要表达的知识语义，以适当的连接词和量词符号将各个谓词连接起来，得到知识的谓词公式：TEACHER(Wang,LiWen)。 在理解连接词∧(逻辑与)、∨（逻辑或）、┐（逻辑非）时可以参考我们平时的语言 中的“并且”、“或者”、“不”，对P →Q 的理解可以参考┐P ∨Q 。在此节只要求学生对谓词表示法有了解，命题的证明等内容不做要求，可以将相关内容放在辅助教学网站的拓展篇，以满足不同学生的需求。 在教学中除了书本中介绍的例子之外，还可以使用以下例子。 例1：用谓词逻辑和公式表达意境。 分析如下命题和谓词逻辑，并尽可能正确表达它的含义： （1） 蓝的（天）∧飘（白云）∧奔跑（马儿）∧飞翔歌唱（鸟儿）； 答：这是一个由“与”关系连接起来的谓词逻辑公式，它表达了一种大自然的景观：蓝色的天上白云飘飘，马儿在奔跑，鸟儿在飞翔歌唱。 （2） )(x {好姑娘（x ）∧居住的地方(z,x) ∧遥远的(z) ∧(y)[人(y) ∧行走 经过(y,z) →回头留恋地张望(y)]} 答：这是一个既有谓词表示，又有命题逻辑表达，既有连接词，又有全称量词和存在量词的较复杂的谓词公式，它表达的意思是：在那遥远的地方，有位好姑娘，人们经过她的身旁，都要回头留恋地张望。这就是青海民歌《在那遥远的地方》（王洛宾词曲）中的意境。 例2:用谓词逻辑表示知识单元。 设有下述记录：①小李给小王送礼物；②小李是工程师；③小王是程序员；④小李的地址是南京路115号；⑤小王的地址是黄山路458号。 请用谓词逻辑（中或英文）表示上述记录，并分成必要的知识单元。 答：1）定义谓词，GIVE(x,y,p),x 给Y 送礼物p ； OCCUPATION(x,y)，X 是Y 职业； ADDRESS （x,y ）,x 的地址是Y ； 2）定义个体 小李(xiaoli)，小王(xiaowang)，工程师（engineer ），程序员(programmer)、 南京路115号（115-nianjing-road ），黄山路458号（458-huangshan-road)。 3）知识谓词公式： ① GIVE(xiaoli,xiaowang,presents)； ② OCCUPATION(xiaoli,engineer)； ③ OCCUPATION （xiaowang,programmer ）； ④ ADDRESS （xiaoli,115-nianjing-road ）； ⑤ ADDRESS(xiaowang,458-huangshan-road)；
《逻辑学》模拟试题及参考答案(A) 一、填空题（请在每小题的空格中填上正确答案。错填、不填均无分。每小题2分，共20分） 、思维的形式结构由 和 构成。 2、表示对象不具有某种本质属性的概念，称为 。 3、由“q p ?→”为假，可知p 为 ，q 为 。 4、对一真值形式的判定，就是确定它属于 、 还是 。 5、直言命题的 和 通称为词项。 6、一个直言命题的谓项周延，其质是 。 7、如果把“新闻系毕业的学生不都当记者”整理成I 命题，则其谓项是 。 8、如果SOP 为假，则S 与P 的外延间具有 关系和 关系。 9、“地球磁场发生磁暴的周期性经常与太阳黑子的周期性一致。随着太阳上黑子数目的 增加，磁暴的强烈程度也增高。当太阳黑子数目减少时，磁暴的强烈程度也随之降 低。所以，太阳黑子的出现可能是磁暴的原因。”这是运用了求因果联系的逻辑方 法中的 。 、证明是根据已知为 的命题，来确定某一命题 的思维形式。 二、单项选择题（在每小题的四个备选答案中选出一个正确的答案，并 将正确答案的序号填在题后的括号内。错选、不选均无分。每小题2分， 共20分） 1、“”与“”这两个命题形式含有 （ ） A 、相同的逻辑常项，相同的变项 B 、不同的逻辑常项，不同的变项 C 、不同的逻辑常项，相同的变项 D 、相同的逻辑常项，不同的变项 2、在下列语句中，在集合意义下使用语词“人”的是 （ ） A 、人是有思维能力的 B 、人非圣贤，孰能无过 C 、人贵有自知之明 D 、人是世间万物中第一个可宝贵的 3、下列语句作为划分，正确的是 （ ） A 、战争分为常规战争和世界大战 B 、一年可以分为春、夏、秋、冬四季 C 、这个班的学生，除了七名女学生外，其余都是男生 D 、概念分为普遍概念、单独概念和正概念 4、正确表示 “中国”、“亚洲国家”、“发展中国家”三个概念外延间关系的图形是 （ ）
1. 将下列命题用谓词符号化。 4) 2 或 3 是质数。 5)除非李键是东北人，否则他一定怕冷。 解： (1) 令 P( x) ：x 学过英语， Q(x) ：x 学过法语， c ：小王，命题符号化为 P(c) Q(c) (2) 令P(x,y)：x 大于 y, 命题符号化为 P(2,4) P(2,3) (3) 令 P(x)：x 是偶数，命题符号化为 P(3) (4) 令 P(x)：x 是质数，命题符号化为 P(2) P(3) (5) 令 P(x)：x 是北方人； Q(x)：x 怕冷； c ：李键；命题符号化为 Q(c) P(x) 2. 设个体域 D {a ，b ，c} ，消去下列各式的量词。 (1) x y(P(x) Q(y)) (2) x y(P(x) Q(y)) (3) xP(x) yQ(y) (4) x(P(x ，y) yQ(y)) 解： (1) 中 A(x) y(P(x) Q( y)) ，显然 A(x)对y 是自由的，故可使用 UE 规则，得到 A(y) y(P(y) Q(y)) ， 因此 x y(P(x) Q(y)) y(P(y) Q( y)) ，再用 ES 规则， y( P( y) Q(y)) P(z) Q(z)，z D ，所以 x y(P(x) Q(y)) P(z) Q(z) (2)中 A(x) y(P(x) Q( y)) ，它对 y 不是自由的，故不能用 UI 规则，然而，对 A( x)中约束变元 y 改名z ，得到 z(P(x) Q( z)) ，这时用 UI 规则，可得： x y(P(x) Q(y)) x z(P(x) Q(z)) z(P(x) Q(z)) 3) 略 4) 略 3. 设谓词 P(x ，y)表示“x 等于 y ”，个体变元 x 和y 的个体域都是 D {1，2，3} 。求下列各式 的真值。 (1) xP( x ，3) (2) yP(1，y) (3) x yP(x ，y) (4) x yP( x ，y) (5) x yP(x ，y) (6) y xP(x ，y) 解： (2) 当 x 3时可使式子成立，所以为 Ture 。 (3) 当 y 1 时就不成立，所以为 False 。 谓词逻辑习题 1) 小王学过英语和法语。 2) 2大于3仅当 2大于 4。 3) 3 不是偶数。
一、填空： 1、形式逻辑是研究思维的形式及其规律的科学。 2、概念的内涵越多，则外延越小；内涵越少，则外延越大；这种关系叫反变关系。 3、概念的矛盾关系是指a、b两概念的外延没有任何部分重合，其外延之和等于其属概念的外延。如金属和非金属。 4、定义是揭示概念内涵的逻辑方法，划分是揭示概念外延的逻辑方法。 5、当O判断为真时，同素材的判断A 假；E真假不定；I 真假不定。 6、当O判断为假时，同素材的判断A真；E 假；I 真。 7、当A判断为真时，同素材的判断E 假；O为假；I 真。 8、当A判断为假时，同素材的判断E 真假不定；O为假；I 真假不定。 9、关系判断由关系者项、关系项和量项三部分组成。 10、在模态判断中，必然p和可能p之间是差等关系；必然非p与可能p之间是矛盾关系。 11、在“有S不是P”中，逻辑变项是S,P；逻辑常项是有……不是。 12、一个判断的主项周延，则这个判断是全称判断；一个判断的谓项周延，则这个判断是否定判断。 13、若p∨q为真，p为真，则q取值为真假不定；若q为真，则p的取值为真。 14、若一有效三段论的结论为全称肯定判断，则其大前提应为全称肯定判断，小前提应为全称肯定判断。 25、矛盾律的要求是：在同一思维过程中，对于具有上反对和矛盾关系的判断，不应该承认它们都是真的。 26、排中律的要求是：在同一思维过程中，对于具有下反对和矛盾关系的判断，不应该承认它们都是假的。 27、若一有效三段论，其小前提为特称否定判断，则其大前提应为全称肯定判断，结论应为特称否定判断。 28、若一有效三段论，其大前提为MIP，则其小前提应为MAS，结论应为SIP。 28、思维的逻辑规律包括同一律、矛盾律、排中律和充足理由律。 29若p→q为真，则当p为真时，q的取值为真；当p为假时，q的取值为可真可假。 30、三段论第一格的特殊规则是：（1）小前提必须是肯定判断、大前提必须是全称判断。 31、复合判断包括联言判断、选言判断、假言判断和负判断等形式。 32、“只有请外国人当教练，中国足球才能走向世界。”这一判断的负判断的等值判断为就 算沒有请外国人当教练，中国足球也能走向世界。用符号表示为p∧ q。 33、“我班同学都是南方来的。因此，南方来的都是我班同学。”上述推理违背了换位法推理中前提中不周延的项，结论里也不得周延的规则。正确的推理应为我班同学都是南方来的。因此，有些南方来的是我班同学。 34、在充分条件的假言判断中，前件真则后件真，前件假则后件假。 35、“只有多喝水，才能减肥”。上述假言判断的负判断是并非只有多喝水，才能减肥，用符号表示为 p←q 。 36、根据概念外延之间重合情况，可以将概念间的关系分为全同关系、真包含关系、真包含于关系、交叉关系和全异关系。 37、“苹果就是长在树上的水果”，这一定义犯了定义过宽的规则，“文学可分为戏剧、散文和诗歌”，这一划分违反了划分不全的规则。 38、从关系判断的性质来看，“父母关心子女”属于非对称关系；“李白和杜甫是同时代人”