命题逻辑和谓词逻辑习题课的题目及参考答案
命题逻辑习题及其参考答案
1．某地发生一起刑事案件，经过公安人员的努力侦破，作案嫌疑人锁定在Ａ、B、Ｃ三人中，并且摸清了以下情况：①只有０１号案件成功告破，才能确认Ａ、Ｂ、Ｃ三人都是作案人。
②目前，０１号案件还是一起悬案。
③如果Ａ不是作案人，那么Ａ的供词是真的，但Ａ说自己与Ｂ都不是作案人。
④如果Ｂ不是作案人，那么Ｂ的供词也是真的，但Ｂ说自己与Ｃ是好朋友。
⑤现已查明Ｃ根本不认识Ｂ。
根据上述线索，问：Ａ、Ｂ、Ｃ三人中谁是作案人？解：令p：０１号案件成功告破；q、r、s分别表示A、B、C作案；t：B与Ｃ是好朋友。
据题意有：1. {1} ┐p→┐（q∧r∧s）P2. {2} ┐p P3. {3} ┐q→（┐q∧┐r）P4. {4} ┐r→t P5. {5} ┐t P6. {4.5} r T4.5否定后件7. {1.2} ┐（q∧r∧s）T1.2肯定前件8. {1.2} ┐q∨┐r∨┐s T7德摩根9. {1.2.3} q T3.6否定后件10. {1.2.3.4.5} q∧r P6.9组合式答：AB作案，至于C尚待侦查。
2．综合分析题（要求写出推导过程）：某班有学生61人，下面有三句话：①该班有些学生会使用计算机。
②该班有些学生不会使用计算机。
③该班班长不会使用计算机。
已知上述三句话中，只有一句话是真的，试问：哪一句话是真话？该班有多少学生会使用计算机？解：①②分别为I命题和O命题，二者是下反对关系，必有一真，或许都真；但据题设只有一句真话，可知③为假，真实情况是班长会使用计算机。
既然这样第一句话“该班有些学生会使用计算机”就是真的，而第二句话就是假的。
O命题假，根据矛盾关系可知，A命题即“该班所有学生都会使用计算机”就真，所以，全班61个学生都会计算机。
3．下面有三句话：①如果甲是篮球队员，则乙就是足球队员。
②如果乙是足球队员，则甲就是篮球队员。
③甲不是篮球队员。
已知上述三句话中只有一句话是真话，问：甲是不是篮球队员？乙是不是足球队员？哪一句话是真话？（要求写出推导过程）解：令p表示“甲是篮球队员”，q表示“乙是足球队员”，再令③即“┐p”真，据题设有：①{1} ┐（p→q）P②{2} ┐（q→p）P③{3} ┐p P④{1} p∧┐q T①等值关系⑤{1} p T④合取分解⑥{1.3} p∧┐p T③⑤合取组合⑦{1} p T归谬③⑥⑧{2} q∧┐p T②等值关系⑨{2} ┐p T⑧合取分解⑩{1.2} p∧┐p T⑦⑨合取组合⑾{1} （q→p）归谬②⑩可见：第二句话为真，一三两句为假。
谓词逻辑-习题与答案
1、设)()()(),,(323221321x x x x x x x x x E ∧∨∧∨∧=是布尔代数],,},1,0[{-∧∨上的一个布尔表达式，试写出),,(321x x x E 的析取范式和合取范式。
答： 析取范式：)()()()()(),,(321321321321321321x x x x x x x x x x x x x x x x x x E ∧∧∨∧∧∨∧∧∨∧∧∨∧∧= 合取范式：)()()(),,(321321321321x x x x x x x x x x x x E ∨∨∧∨∨∧∨∨∨=2．设P(x)：x 是大象，Q(x)：x 是老鼠，R(x,y)：x 比y 重，则命题“大象比老鼠重”的符号化为答： ∀x ∀y ( (P(x) ∧ Q(x)) → R(x,y))3．设L(x)：x 是演员，J(x)：x 是老师，A(x , y)：x 钦佩y ，命题“所有演员都钦佩某些老师”符号化为（ B ）。
A 、)),()((y x A x L x →∀；B 、))),()(()((y x A y J y x L x ∧∃→∀ ；C 、)),()()((y x A y J x L y x ∧∧∃∀；D 、)),()()((y x A y J x L y x →∧∃∀ 。
4．下列各式中哪个不成立（ A ）。
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 ∧∀⇔∧∀)())((。
5．用推理规则证明)()(a G a P ∧⌝是))()((,)(,))()((,)))()(()((x G x S x a S a R a Q x R x Q x P x ↔∀∧⌝∧→∀的有效结论。
命题逻辑和谓词逻辑习题课的题目与参考答案
命题逻辑和谓词逻辑习题课的题目及参考答案说明：红色标注题目可以暂且不做命题逻辑和谓词逻辑习题课的题目一、填空1、若P，Q，为二命题，QP→真值为0 当且仅当。
2、命题“对于任意给定的正实数，都存在比它大的实数”令F(x)：x为实数，:),(则命题的逻辑谓词公式yL>xxy为。
3、谓词合式公式)(xP∃∀的前束式x→)(xxQ为。
4、将量词辖域中出现的和指导变元交换为另一变元符号，公式其余的部分不变，这种方法称为换名规则。
5、设x是谓词合式公式A的一个客体变元，A的论域为D，A(x)关于y是自由的，则被称为存在量词消去规则，记为ES。
6．设P，Q 的真值为0，R，S的真值为1，则→∨QP⌝∨⌝的真值→∧⌝(S)))(R()PR(= 。
7．公式P∧)()(的主合取式为∨RSRP⌝∨∧。
8．若解释I的论域D仅包含一个元素，则)(xP∀→∃在I下真值为xP)(xx。
9. P：你努力，Q：你失败。
“除非你努力，否则你将失败”的翻译为；“虽然你努力了，但还是失败了”的翻译为。
10. 论域D={1，2}，指定谓词P则公式),(x y∀真值x∃yP为。
11.P，Q真值为0 ；R，S真值为1。
则∧wff∧R∨→))∧的真值∨SP))P)((((QR(S为。
12. R⌝))((的主合取式∧RQ∨Pwff→为。
13.设 P（x）：x是素数， E(x)：x 是偶数，O(x)：x是奇数 N (x,y)：x可以整数y。
则谓词)))xyOPy∀的自然语言是→∃wff∧x()(N(,y((x)。
14.谓词)),,(xyzPxz∀的前束∀P∃∧→wff∃y),(,))y(z(uQx(u式为。
二、选择1、下列语句是命题的有（）。
A、明年中秋节的晚上是晴天；B、0>x；+yC、0>xy当且仅当x和y都大于0；D、我正在说谎。
2、下列各命题中真值为真的命题有（）。
A、2+2=4当且仅当3是奇数；B、2+2=4当且仅当3不是奇数；C、2+2≠4当且仅当3是奇数；D、2+2≠4当且仅当3不是奇数；3、下列符号串是合式公式的有（）A、QP⌝∨Q⌝；P∨∧P⇔；B、Q(QP⇒；C、)P∨)(D、)⌝。
第2章谓词逻辑习题及答案.解析
谓词逻辑习题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. 谓词逻辑中的基本单位是：A. 命题B. 谓词C. 变量D. 连接词2. 在谓词逻辑中，以下哪个是合法的谓词表达式？A. P(x)B. x = yC. ∀x P(x)D. P(x, y)3. 以下哪个是谓词逻辑中的量词？A. ∨B. ∧C. ∀D. →4. 以下哪个命题不是谓词逻辑中的命题？A. ∀x P(x)B. ∃x P(x)C. P(x)D. ¬P(x)5. 谓词逻辑中的“存在量词”用符号表示为：A. ∀B. ∃C. ¬D. →二、简答题6. 解释谓词逻辑中的“全称量词”和“存在量词”的区别。
7. 请用谓词逻辑表达“所有学生都通过了考试”。
8. 给出谓词逻辑中的一个推理例子，并解释其推理过程。
三、证明题9. 证明：如果∀x (P(x) → Q(x)) 且∃x P(x)，则∃x Q(x)。
10. 给出一个谓词逻辑的命题，并构造一个反例来证明它不是普遍有效的。
答案一、选择题1. B. 谓词2. D. P(x, y)3. C. ∀4. C. P(x)5. B. ∃二、简答题6. 在谓词逻辑中，“全称量词”（符号为∀）表示对于所有个体，某个命题都成立；而“存在量词”（符号为∃）表示至少存在一个个体使得某个命题成立。
7. 用谓词逻辑表达“所有学生都通过了考试”可以写作：∀x (Student(x) → Passed(x))，其中 Student(x) 表示 x 是学生，Passed(x) 表示 x 通过了考试。
8. 推理例子：假设有命题∀x (P(x) → Q(x)) 和 P(a)，其中 a 是某个特定的个体。
根据全称量词的定义，对于所有 x，如果 P(x) 成立，则 Q(x) 也成立。
由于 P(a) 成立，根据条件，Q(a) 也必须成立。
这是一个典型的全称量词和存在量词的推理过程。
三、证明题9. 证明：已知∀x (P(x) → Q(x))，即对于所有 x，如果 P(x) 成立，则 Q(x) 也成立。
命题逻辑和谓词逻辑习题课的题目及参考答案
命题逻辑和谓词逻辑习题课的题目及参考答案说明：红色标注题目可以暂且不做命题逻辑和谓词逻辑习题课的题目1、若P, Q,为二命题，P Q真值为0当且仅当 ____________________________ 。
2、命题“对于任意给定的正实数，都存在比它大的实数”令F(x) : x为实数，L(x,y):x y则命题的逻辑谓词公式为_________ 3、谓词合式公式xP(x) xQ(x)的前束式为。
4、将量词辖域中出现的_______________和指导变元交换为另一变元符号，公式其余的部分不变，这种方法称为换名规贝叽5、设x是谓词合式公式A的一个客体变元，A的论域为D, A(x)关于y是自由的，则 ____________________________________被称为存在量词消去规则，记为ESo6 •设P, Q的真值为0，R, S的真值为1, 则(P (Q (R P))) (R S) 的真值________________________________________ O7 •公式(P R)(S R) P的主合取式为&若解释I的论域D仅包含一个元素，则xP(x) xP(x) 在I下真值为9. P :你努力，Q:你失败。
“除非你努力，否则你将失败”的翻译为______________________ ；“虽然你努力了，但还是失败了”的翻译为10. 论域D={1，2}，指定谓词P则公式x yP(y,x)真值为__________________________ 。
11. P，Q真值为0 ; R，S真值为1。
则wff (P (R S)) ((P Q) (R S)) 的真值为___________________________________ 。
12. w ff ((p Q) R) R的主合取式为____________________________________ _ 。
13. 设P (x): x是素数，E(x) : x是偶数，O(x) : x是奇数N (x,y) : x可以整数y。
逻辑学教程第三版课后练习题含答案
逻辑学教程第三版课后练习题含答案逻辑学是一门研究人类思维与推理的学科，广泛应用于人工智能、计算机科学、哲学等领域。
逻辑学教程第三版是一本经典的教材，涵盖了逻辑学的基本概念、命题逻辑、谓词逻辑等内容。
在学习逻辑学时，练习题是非常重要的一环，本文将提供逻辑学教程第三版的部分课后练习题及答案，供读者参考。
命题逻辑练习题1下列命题中，哪些是真命题？1.草拟籍不屑文凭。
2.所有的本科生都会考研。
3.学习专业课程是为了获取知识，而不是为了考试。
4.饮用开水会引起肾脏疾病。
答案2.所有的本科生都会考研。
练习题2以下命题是否等价？1.如果明天下雨，我就带伞。
2.我一定会带伞或者明天不下雨。
答案是等价命题。
以下命题是否矛盾？1.所有的犬都会飞。
2.没有犬可以飞。
答案是矛盾命题。
练习题4以下命题是否充分？如果人喜欢运动，就会有一个健康的身体。
答案不充分。
虽然大多数运动员都非常健康，并且人们运动可以帮助保持健康的身体，但运动不是保持健康的唯一途径，也有一些人喜欢运动，但并不拥有健康的身体。
谓词逻辑练习题1表示下列命题的符号化语言：“每个猫都喜欢鱼。
”答案$\\forall x(Cat(x)\\rightarrow Likes(x, Fish))$以下两个量词能否交换位置？$\\forall x\\exists y L(x, y)$答案不能。
意为：“对于所有的x，都存在一个y，使得x和y有关联。
”无法交换位置。
练习题3以下两个量词能否交换位置？$\\exists y\\forall x L(x, y)$答案可以。
意为：“存在一个y，使得对于所有的x，x和y有关联。
”可以交换位置为$\\forall x\\exists y L(x, y)$。
练习题4以下两个命题是否等价？1.$\\forall x(Canine(x)\\rightarrow LivesIndoors(x))$2.$\\forall x(Canine(x)\\wedge LivesIndoors(x))$答案不等价。
命题逻辑和谓词逻辑习题课的题目及参考答案上课讲义
命题逻辑和谓词逻辑习题课的题目及参考答案说明：红色标注题目可以暂且不做命题逻辑和谓词逻辑习题课的题目一、填空1、若P，Q，为二命题，QP→真值为0 当且仅当。
2、命题“对于任意给定的正实数，都存在比它大的实数”令F(x)：x为实数，:),(则命题的逻辑谓词公式yL>xxy为。
3、谓词合式公式)(xP∃∀的前束范式x→)(xxQ为。
4、将量词辖域中出现的和指导变元交换为另一变元符号，公式其余的部分不变，这种方法称为换名规则。
5、设x是谓词合式公式A的一个客体变元，A的论域为D，A(x)关于y是自由的，则被称为存在量词消去规则，记为ES。
6．设P，Q 的真值为0，R，S的真值为1，则→∨QP⌝∨⌝的真值→∧⌝(S)))(R()PR(= 。
7．公式P∧)()(的主合取范式为∨RSRP⌝∨∧。
8．若解释I的论域D仅包含一个元素，则)(xP∀→∃在I下真值为xP)(xx。
9. P：你努力，Q：你失败。
“除非你努力，否则你将失败”的翻译为；“虽然你努力了，但还是失败了”的翻译为。
10. 论域D={1，2}，指定谓词P则公式),(x y∀真值x∃yP为。
11.P，Q真值为0 ；R，S真值为1。
则∧wff∧R∨→))∧的真值∨SP))P)((((QR(S为。
12. R⌝))((的主合取范式∧RQ∨Pwff→为。
13.设 P（x）：x是素数， E(x)：x 是偶数，O(x)：x是奇数 N (x,y)：x可以整数y。
则谓词)))xyOPy∀的自然语言是→∃wff∧x()(N(,y((x)。
14.谓词)),,(xyzPxz∀的前束∀P∃∧→wff∃y),(,))y(z(uQx(u范式为。
二、选择1、下列语句是命题的有（）。
A、明年中秋节的晚上是晴天；B、0>x；+yC、0>xy当且仅当x和y都大于0；D、我正在说谎。
2、下列各命题中真值为真的命题有（）。
A、2+2=4当且仅当3是奇数；B、2+2=4当且仅当3不是奇数；C、2+2≠4当且仅当3是奇数；D、2+2≠4当且仅当3不是奇数；3、下列符号串是合式公式的有（）A、QP⌝∨Q⌝；P∨∧P⇔；B、Q(QP⇒；C、)P∨)(D、)⌝。
离散数学 第2章习题答案
第2章习题答案1. 解 (1)设F(x)表示“x犯错误”，N(x)表示“x为人”，则此语句符号化为：⌝∃x(N(x)∧⌝F(x))。
(2)设F(x)表示“x是推理”，M(x)表示“x是计算机”，H(x，y)表示“x能由y完成”，则此语句符号化为：⌝∀x(F(x)→∃ y M(y)∧H(x，y))。
(3)设C(x)表示“x是计算机系的学生”，D(x)表示“x学习离散数学”，则此语句符号化为：∀x(C(x)→D(x))。
(4)因原语句与“一切自然数x，都有一个自然数y，使得y是x的后继数；并且对任意自然数x，当y 和z都是x的后继时，则有y＝z”的意思相同，所以原语句可符号化为：∀x(N(x)→∃ y(N(y)∧M(x，y)))∧∀x∀y∀z(N(x)∧N(y)∧N(z)→(M(x，y)∧M(x，z)→( y＝z))) 其中N(x)表示x是自然数，M(x，y)表示y是x的后继数。
(5)设S(x，y，z)表示“x＋y＝z”，则此语句符号化为：∀x∀y∃z S(x，y，z)。
(6)设Z(x)表示“x是整数”，S(x，y)表示“xy＝0”，T(x，y)表示“x＝y”，则此语句符号化为：∀x∀y(Z(x)∧Z(y)→(S(x，y)→ T(x，0)∨T(y，0)))。
(7)设E(x)表示“x是偶数”，P(x)表示“x是素数”，S(x，y)表示“x＝y”，则此语句符号化为：∀x(E(x)∧P(x)→∀y(E(y)∧P(y)→ S(x，y)))。
(8)设E(x)表示“x是偶数”，O(x)表示“x是奇数”，N(x)表示“x是自然数”，则此语句符号化为：⌝∃x(E(x)∧O(x)∧N(x))。
(9)设R(x)表示“x是实数”，Q(x)表示“x是有理数”，Z(x)表示“x是整数”，则此语句符号化为：∃x(R(x)∧Q(x)∧⌝Z(x))。
(10)设R(x)表示“x是实数”，Q(x，y)表示“y大于x”，则此语句符号化为：∀x(R(x)→∃⌝y(R(y)∧Q(x，y)))。
离散数学第1-2章参考答案-命题逻辑谓词逻辑
Page 49 第17题解：（1）令①P：李明学习努力；②Q：李明成绩好；③R：李明不热衷于玩扑克；（2）已知条件符号化，即①P→Q：如果李明学习努力，那么他成绩好；②R→P：如果李明不热衷于玩扑克，那么他就努力学习；（3）所求结论符号化，即①¬Q→¬R：李明成绩不好，所以李明热衷于玩扑克；（4）证明：原命题符号化为P→Q，R→P ¬Q→¬R；①P→Q P规则；②R→P P规则；③R→Q T规则①②；④Q∨¬R T规则③；⑤¬Q→¬R T规则④；（5）得证。
Page 50 第32题（2）解： P∨(¬P→(Q∨(¬Q→R)))；⇔ P∨(P∨(Q∨(Q∨R)))；⇔P∨Q∨R；①主合取范式为：P∨Q∨R；因为 P∨Q∨R ⇔∏M0 ⇔∑m1,2,3,4,5,6,7；②主析取范式为：∨(¬P∧¬Q∧R)∨(¬P∧Q∧¬R)∨(¬P∧Q∧R)∨(P∧¬Q∧¬R)∨(P∧¬Q∧R)∨(P∧Q∧¬R)∨(P∧Q∧R)；Page 50 第32题（4）解： (P∧¬Q∧R)∨(¬P∧Q∧¬S)；⇔ ((P∧¬Q∧R)∧(S∨¬S))∨((¬P∧Q∧¬S)∧(R∨¬R))；⇔(P∧¬Q∧R∧S)∨(P∧¬Q∧R∧¬S)∨(¬P∧Q∧R∧¬S)∨(¬P∧Q∧¬R∧¬S)；①主析取范式为：(¬P∧Q∧¬R∧¬S)∨(¬P∧Q∧R∧¬S)∨(P∧¬Q∧R∧¬S)∨(P∧¬Q∧R∧S) ⇔∑m4,6,10,11⇔∏M0,1,2,3,5,7,8,9,12,13,14,15；②主合取范式为：(¬P∨¬Q∨¬R∨¬S)∧(¬P∨¬Q∨¬R∨S)∧(¬P∨¬Q∨R∨¬S) ∧(¬P∨¬Q∨R∨S)∧(¬P∨Q∨¬R∨S)∧(¬P∨Q∨R∨S)∧(P∨¬Q∨¬R∨¬S) ∧(P∨¬Q∨¬R∨S)∧(P∨Q∨¬R∨¬S)∧(P∨Q∨¬R∨S)∧(P∨Q∨R∨¬S)∧(P∨Q∨R∨S)；Page 50 第32题（6）解： (P→Q)→(P∨R)；⇔¬(¬P∨Q)∨(P∨R)；⇔(P∧¬Q)∨(P∨R)；⇔(P∨R)∧(P∨¬Q∨R)；⇔ ((P∨R)∨(¬Q∧Q))∧(P∨¬Q∨R)；⇔(P∨¬Q∨R)∧(P∨Q∨R)∧(P∨¬Q∨R)；⇔(P∨¬Q∨R)∧(P∨Q∨R)；①主合取范式为：(P∨¬Q∨R)∧(P∨Q∨R)；⇔∏M0,2；⇔∑m1,3,4,5,6,7；①主合取范式为：(¬P∨¬Q∨R)∧(¬P∨Q∨R)∧(P∨¬Q∨¬R)∧(P∨¬Q∨R)∧(P∨Q∨¬R)∧(P∨Q∨R)；Page 51 第37题（2）解： P→Q P→(P∧Q)①P P规则（附加前提）；②P→Q P规则；③Q T规则①，②，I；④P∧Q T规则①，③，I；⑤P→(P∧Q) CP规则；Page 51 第37题（4）解： (P∨Q)→R ⇒ (P∧Q)→R①P∧Q P规则（附加前提）；②P T规则①，I；③P∨Q T规则②，I；④(P∨Q)→R P规则；⑤R T规则③，④，I；⑥(P∧Q)→R CP规则；Page 51 第38题（3）解：﹁(P→Q)→﹁(R∨S),((Q→P)∨﹁R),R ⇒ P↔Q①﹁(P↔Q) P规则（假设前提）；②﹁((P→Q)∧(Q→P)) T规则①，I；③R P规则；④((Q→P)∨﹁R) P规则；⑤R→(Q→P) T规则④，I；⑥(Q→P) T规则③⑤，I；⑦R∨S T规则③，I；⑧﹁(P→Q)→﹁(R∨S) P规则；⑨(R∨S)→(P→Q) T规则⑧，I；⑩(P→Q) T规则⑦⑨，I；⑪(P→Q)∧(Q→P) T规则⑥⑩，I；⑫得证间接证明法②⑪；Page 51 第39题（1）解：（1）符号化已知命题①P：明天是晴天；②Q：明天下雨；③R：我去看电影；④S：我不看书；条件符号化：P∨Q，P→R，R→S；结论符号化：①﹁S→Q（2）证明：P∨Q，P→R，R→S ⇒﹁S→Q①P→R P规则；②R→S P规则；③P→S T规则①②；④﹁S→﹁P T规则③，I；⑤P∨Q P规则；⑥﹁P→Q T规则⑤，I；⑦﹁S→Q T规则④⑥，I；Page 51 第39题（2）解：（1）符号化已知命题①P：明天不下雨；②Q：能够买到车票；③R：我去参观计算机展览会；条件符号化：P∧Q→R；结论符号化：①﹁R→﹁P（2）证明：P∨Q，P→R，R→S ⇒﹁S→Q①P∧Q→R P规则；②﹁R P规则（附加前提）；③﹁(P∧Q) T规则①②；④﹁P∨﹁Q T规则③，I；⑤也就是说或者明天下雨或者买不到票，所以原命题说不能参加计算机展览的原因只是明天下雨是不完全的，故原命题无效。
离散数学第1-2章参考答案-命题逻辑谓词逻辑
Page 49 第17题解：〔1〕令①P：李明学习努力；②Q：李明成绩好；③R：李明不热衷于玩扑克；〔2〕条件符号化，即①P→Q：假如李明学习努力，那么他成绩好；②R→P：假如李明不热衷于玩扑克，那么他就努力学习；〔3〕所求结论符号化，即①¬Q→¬R：李明成绩不好，所以李明热衷于玩扑克；〔4〕证明：原命题符号化为P→Q，R→P ¬Q→¬R；①P→Q P规那么；②R→P P规那么；③R→Q T规那么①②；④Q∨¬R T规那么③；⑤¬Q→¬R T规那么④；〔5〕得证。
Page 50 第32题〔2〕解： P∨(¬P→(Q∨(¬Q→R)))；⇔ P∨(P∨(Q∨(Q∨R)))；⇔P∨Q∨R；①主合取范式为：P∨Q∨R；因为 P∨Q∨R ⇔∏M0 ⇔∑m1,2,3,4,5,6,7；②主析取范式为：∨(¬P∧¬Q∧R)∨(¬P∧Q∧¬R)∨(¬P∧Q∧R)∨(P∧¬Q∧¬R)∨(P∧¬Q∧R)∨(P∧Q∧¬R)∨(P∧Q∧R)；Page 50 第32题〔4〕解： (P∧¬Q∧R)∨(¬P∧Q∧¬S)；⇔ ((P∧¬Q∧R)∧(S∨¬S))∨((¬P∧Q∧¬S)∧(R∨¬R))；⇔(P∧¬Q∧R∧S)∨(P∧¬Q∧R∧¬S)∨(¬P∧Q∧R∧¬S)∨(¬P∧Q∧¬R∧¬S)；①主析取范式为：(¬P∧Q∧¬R∧¬S)∨(¬P∧Q∧R∧¬S)∨(P∧¬Q∧R∧¬S)∨(P∧¬Q∧R∧S) ⇔∑m4,6,10,11⇔∏M0,1,2,3,5,7,8,9,12,13,14,15；②主合取范式为：(¬P∨¬Q∨¬R∨¬S)∧(¬P∨¬Q∨¬R∨S)∧(¬P∨¬Q∨R∨¬S) ∧(¬P∨¬Q∨R∨S)∧(¬P∨Q∨¬R∨S)∧(¬P∨Q∨R∨S)∧(P∨¬Q∨¬R∨¬S) ∧(P∨¬Q∨¬R∨S)∧(P∨Q∨¬R∨¬S)∧(P∨Q∨¬R∨S)∧(P∨Q∨R∨¬S)∧(P∨Q∨R∨S)；Page 50 第32题〔6〕解： (P→Q)→(P∨R)；⇔¬(¬P∨Q)∨(P∨R)；⇔(P∧¬Q)∨(P∨R)；⇔(P∨R)∧(P∨¬Q∨R)；⇔ ((P∨R)∨(¬Q∧Q))∧(P∨¬Q∨R)；⇔(P∨¬Q∨R)∧(P∨Q∨R)∧(P∨¬Q∨R)；⇔(P∨¬Q∨R)∧(P∨Q∨R)；①主合取范式为：(P∨¬Q∨R)∧(P∨Q∨R)；⇔∏M0,2；⇔∑m1,3,4,5,6,7；①主合取范式为：(¬P∨¬Q∨R)∧(¬P∨Q∨R)∧(P∨¬Q∨¬R)∧(P∨¬Q∨R)∧(P∨Q∨¬R)∧(P∨Q∨R)；Page 51 第37题〔2〕解： P→Q P→(P∧Q)①P P规那么〔附加前提〕；②P→Q P规那么；③Q T规那么①，②，I；④P∧Q T规那么①，③，I；⑤P→(P∧Q) CP规那么；Page 51 第37题〔4〕解： (P∨Q)→R ⇒ (P∧Q)→R①P∧Q P规那么〔附加前提〕；②P T规那么①，I；③P∨Q T规那么②，I；④(P∨Q)→R P规那么；⑤R T规那么③，④，I；⑥(P∧Q)→R CP规那么；Page 51 第38题〔3〕解：﹁(P→Q)→﹁(R∨S),((Q→P)∨﹁R),R ⇒ P↔Q①﹁(P↔Q) P规那么〔假设前提〕；②﹁((P→Q)∧(Q→P)) T规那么①，I；③R P规那么；④((Q→P)∨﹁R) P规那么；⑤R→(Q→P) T规那么④，I；⑥(Q→P) T规那么③⑤，I；⑦R∨S T规那么③，I；⑧﹁(P→Q)→﹁(R∨S) P规那么；⑨(R∨S)→(P→Q) T规那么⑧，I；⑩(P→Q) T规那么⑦⑨，I；⑪(P→Q)∧(Q→P) T规那么⑥⑩，I；⑫得证间接证明法②⑪；Page 51 第39题〔1〕解：〔1〕符号化命题①P：明天是晴天；②Q：明天下雨；③R：我去看电影；④S：我不看书；条件符号化：P∨Q，P→R，R→S；结论符号化：①﹁S→Q〔2〕证明：P∨Q，P→R，R→S ⇒﹁S→Q①P→R P规那么；②R→S P规那么；③P→S T规那么①②；④﹁S→﹁P T规那么③，I；⑤P∨Q P规那么；⑥﹁P→Q T规那么⑤，I；⑦﹁S→Q T规那么④⑥，I；Page 51 第39题〔2〕解：〔1〕符号化命题①P：明天不下雨；②Q：可以买到车票；③R：我去参观计算机展览会；条件符号化：P∧Q→R；结论符号化：①﹁R→﹁P〔2〕证明：P∨Q，P→R，R→S ⇒﹁S→Q①P∧Q→R P规那么；②﹁R P规那么〔附加前提〕；③﹁(P∧Q) T规那么①②；④﹁P∨﹁Q T规那么③，I；⑤也就是说或者明天下雨或者买不到票，所以原命题说不能参加计算机展览的原因只是明天下雨是不完全的，故原命题无效。
大学形式逻辑题库及答案
大学形式逻辑题库及答案形式逻辑是研究推理形式有效性的学科，它不关心推理内容的真实性，只关注推理结构的正确性。
以下是一些大学形式逻辑的题目及答案，供学习和参考。
# 题目1：命题逻辑题目：分析下列命题的真值表，并判断其是否为重言式。
- P：今天是晴天。
- Q：我带了伞。
命题形式：(P ∨ ¬P) ∧ (Q ∨ ¬Q)答案：该命题是一个重言式。
无论P和Q的真值如何，(P ∨ ¬P) 和(Q ∨ ¬Q) 总是为真，因此整个命题总是为真。
# 题目2：谓词逻辑题目：使用谓词逻辑表达以下语句：“所有的学生都是勤奋的。
”答案：∀x(Student(x) → Diligent(x))# 题目3：推理规则题目：使用以下前提进行演绎推理，并得出结论。
- 所有猫都怕水。
- 汤姆是一只猫。
答案：根据前提，可以推导出结论：汤姆怕水。
# 题目4：逻辑等价题目：判断以下两个命题是否等价。
- A：如果今天下雨，那么我会带伞。
- B：如果我不带伞，那么今天没有下雨。
答案：这两个命题不是等价的。
A命题是条件命题，而B命题是其逆否命题。
它们在逻辑上不完全相同。
# 题目5：逻辑谬误题目：识别以下论证中的逻辑谬误。
- 论证：因为所有的鸟都会飞，企鹅是鸟，所以企鹅会飞。
答案：这个论证犯了“过于概括”的谬误。
虽然所有的鸟都属于鸟类，但并非所有鸟类都会飞，企鹅就是一个例外。
# 题目6：三段论题目：使用以下大前提和小前提，构造一个有效的三段论。
- 大前提：所有人都是凡人。
- 小前提：苏格拉底是人。
答案：根据三段论的规则，可以得出结论：苏格拉底是凡人。
# 题目7：逻辑连接词题目：将以下命题转换为使用逻辑连接词的形式。
- 命题：只有当我学习时，我才能通过考试。
答案：转换后的命题为：PassExam ⇔ Study# 题目8：模态逻辑题目：解释“必然”和“可能”在模态逻辑中的含义。
答案：在模态逻辑中，“必然”表示某个命题在所有可能的情况下都为真，而“可能”表示某个命题在至少一个可能的情况下为真。
逻辑学教程课后习题答案
逻辑学教程课后习题答案习题一：命题逻辑1. 判断下列命题的真假：- 命题A: “所有的猫都是哺乳动物。
”（真）- 命题B: “有些猫不是哺乳动物。
”（假）2. 将下列命题转化为逻辑表达式：- 命题C: “如果今天是星期一，那么明天是星期二。
” 可表示为：(M → T)，其中M代表“今天是星期一”，T代表“明天是星期二”。
习题二：演绎推理1. 根据以下前提，推导出结论：- 前提1: 所有学生都需要学习逻辑。
- 前提2: 小明是一名学生。
- 结论：小明需要学习逻辑。
2. 判断下列推理是否有效：- 推理：如果下雨，地面就会湿。
今天地面湿了，所以今天下雨了。
- 这是一个无效推理，因为地面湿了可能有其他原因，不一定是因为下雨。
习题三：归纳推理1. 观察以下事实，归纳出一个一般性结论：- 事实1: 苹果落地。
- 事实2: 橙子落地。
- 事实3: 梨落地。
- 结论：所有水果都会落地。
2. 分析下列归纳推理是否合理：- 推理：我们观察到的天鹅都是白色的，因此所有天鹅都是白色的。
- 这是一个不完全归纳推理，因为存在黑天鹅，所以这个推理是不合理的。
习题四：逻辑谬误1. 识别下列论证中的逻辑谬误：- 论证：没有人是完美的，所以没有人应该追求完美。
- 谬误：滑坡谬误，错误地假设因为没有人是完美的，追求完美就是不可能的或不合理的。
2. 指出下列论证中的非形式谬误：- 论证：因为许多成功的企业家都穿西装，所以穿西装是成功的关键。
- 谬误：因果谬误，错误地将相关性当作因果关系。
习题五：条件命题1. 判断下列条件命题的真假：- 命题D: “如果考试及格，那么就能毕业。
”（真或假，取决于具体情况）- 命题E: “只有考试及格，才能毕业。
”（假，因为可能还有其他毕业条件）2. 转换条件命题为逆命题、否命题和逆否命题，并判断它们的真假：- 逆命题：如果毕业，那么考试及格。
- 否命题：如果考试不及格，那么不能毕业。
- 逆否命题：如果不能毕业，那么考试不及格。
谓词逻辑习题及答案
习题21．将下列命题符号化。
(1) 某些实数是有理数。
(2) 每一个有理数都是实数。
(3) 不是每一个实数都是有理数。
(4) 并非所有的素数都不是偶数。
(5) 没有不犯错误的人。
(6) 所有人都会犯错误。
(7) 火车比轮船快。
(8) 有些液体能溶解任何金属。
(9) 金子都会闪光，但闪光的未必是金子。
(10) 存在一些人是大学生。
解答：(1) 设H (x )：x 是实数；P (x )：x 是有理数。
则命题可符号化为：()x ∃(H (x )∧P (x ))。
(2) 设H (x )：x 是有理数；P (x )：x 是实数。
则命题可符号化为：()x ∀(H (x )→P (x ))。
(3) 设H (x )：x 是实数；P (x )：x 是有理数。
则命题可符号化为：⌝()x ∀(H (x )→P (x ))。
(4) 设H (x )：x 是素数；P (x )：x 是偶数。
则命题可符号化为：⌝()x ∀(H (x )→⌝P (x ))。
(5) 设H (x )：x 是人；P (x )：x 会犯错误。
则命题可符号化为：⌝()x ∃(H (x )∧⌝P (x ))。
(6) 设H (x )：x 是人；P (x )：x 会犯错误。
则命题可符号化为：()x ∀(H (x )→P (x ))。
(7) 设H (x )：x 是火车；L (x )：x 是轮船；P (x ,y )：x 比y 快。
则命题可符号化为：()x ∀()y ∀(H (x )∧L (y )→P (x ,y ))。
(8) 设H (x )：x 是液体；L (x )：x 是金属；P (x ,y )：x 能溶解y 。
则命题可符号化为：()x ∃(H (x )∧()y ∀(L (y )→P (x ,y )))。
(9) 设H (x )：x 是金子；P (x )：x 会闪光。
则命题可符号化为：()x ∀(H (x )→P (x ))∧()x ∃(H (x )∧⌝P (x ))。
谓词逻辑-习题参考解答(2)
谓词逻辑习题参考答案与提示1.（1）设W(x)：x是工人；c：小张。
原命题可符号化为：⌝W(c)。
（2）设S(x)：x是田径运动员；B(x)：x是球类运动员；h：他。
原命题可符号化为：S(h)∨B(h)。
（3）设C(x)：x是聪明的；B(x)：x是美丽的；l：小莉。
原命题可符号化为：C(l)∧B(l)。
（4）设O(x)：x是奇数。
原命题可符号化为：O(m)→⌝O(2m)（5）设P(x，y)：直线x平行于直线y；G(x，y)：直线x相交于直线y。
原命题可符号化为：P(x，y)→⌝G(x，y)。
（6）设O(x)：x是老的；V(x)：x是健壮的；j：王教练。
原命题可符号化为：⌝O(j)∧⌝V(j)。
（7）设L(x, y)：x大于y。
原命题可符号化为：L(5,4)→L(4,6)。
2.（1）存在自然数x，对任意自然数y满足xy=1；a)0 b)0 c)0 d)0（2）对每个自然数x，存在自然数y满足xy=1；a)0 b)0 c)0 d)1（3）对每个自然数x，存在自然数y满足xy=0；a)1 b)1 c)0 d)0（4）存在自然数x，对任意自然数y满足xy=1；a)1 b)1 c)0 d)0（5）对每个自然数x，存在自然数y满足xy=x；a)1 b)1 c)1 d)1（6）存在自然数x，对任意自然数y满足xy=x；a)1 b)1 c)0 d)0（7）对任意自然数x,y，存在自然数z满足x-y=z。
a)1 b)1 c)0 d)03.（1）⌝∃xL(x,0)（2）∀x∀y∀z((L(x,y)∧L(y,z))→L(x,z))（3）∀x∀y((L(x,y)→∃z(L(z,0)∧G(xz,yz)))（4）∃x∀yM(x,y,y)（5）∀x∃yA(x,y,x)4. ∃!xP(x)可用以下具有相同的意义的谓词公式表示∃x(P(x)∧∀y(P(y)→E(y,x)))E(y,x)表示y等于x5. 设R(x)：x是兔子；T(x)：x是乌龟。
谓词逻辑复习题及答案
谓词逻辑复习题及答案1. 请解释谓词逻辑中的量词“∀”和“∃”分别代表什么含义？答案：在谓词逻辑中，“∀”代表全称量词，意为“对于所有的”；“∃”代表存在量词，意为“存在”。
2. 描述谓词逻辑中命题逻辑与谓词逻辑的主要区别。
答案：命题逻辑主要处理简单命题及其逻辑关系，而谓词逻辑则引入了量词和谓词，能够处理更为复杂的结构，如个体之间的关系和属性。
3. 如何用谓词逻辑表达“所有的人都是会死的”？答案：可以用谓词逻辑表达为：∀x(P(x) → Q(x))，其中P(x)表示“x是人”，Q(x)表示“x会死”。
4. 请解释谓词逻辑中的逻辑等价和逻辑蕴涵。
答案：逻辑等价指的是两个公式在所有可能的解释下都具有相同的真值，而逻辑蕴涵指的是一个公式的真值能够保证另一个公式的真值。
5. 给定以下谓词逻辑表达式：∀x(P(x) → Q(x))，如果P(a)为真，那么Q(a)的真值如何？答案：如果P(a)为真，根据全称量词的定义，Q(a)也必须为真，否则表达式∀x(P(x) → Q(x))将不成立。
6. 请解释谓词逻辑中的析取和合取。
答案：析取（∨）表示逻辑或，即至少有一个命题为真时整个表达式为真；合取（∧）表示逻辑与，即所有命题都为真时整个表达式才为真。
7. 用谓词逻辑表达“存在一个学生，他既聪明又勤奋”。
答案：∃x(S(x) ∧ W(x) ∧ D(x))，其中S(x)表示“x是学生”，W(x)表示“x聪明”，D(x)表示“x勤奋”。
8. 描述谓词逻辑中的否定和双重否定。
答案：否定（¬）表示对一个命题的真值取反，即如果P为真，则¬P 为假；双重否定（¬¬P）则表示对否定的否定，逻辑上等同于原命题P。
9. 请解释谓词逻辑中的蕴含和逆蕴含。
答案：蕴含（→）表示如果前件为真，则后件也为真；逆蕴含（←）则表示如果后件为真，则前件也为真。
10. 用谓词逻辑表达“所有人都是动物，但并非所有动物都是人”。
谓词逻辑复习题及答案
谓词逻辑复习题及答案谓词逻辑是数理逻辑中的一个重要分支，它用于表达和推理关于对象和它们之间关系的命题。
以下是一些谓词逻辑的复习题及答案：题目一：定义谓词1. 定义谓词“L(x, y)”表示“x 爱y”。
2. 定义谓词“S(x, y)”表示“x 是 y 的学生”。
答案一：1. 谓词“L(x, y)”是一个二元谓词，它描述了两个对象x和y之间的关系，即x对y有爱的情感。
2. 谓词“S(x, y)”也是一个二元谓词，它描述了x和y之间的师生关系，即x是y的学生。
题目二：写出以下命题的谓词逻辑表达式1. 张三爱李四。
2. 每个学生都是老师的学生。
答案二：1. 命题“张三爱李四”的谓词逻辑表达式为：L(张三, 李四)。
2. 命题“每个学生都是老师的学生”的谓词逻辑表达式为：∀x∃y(S(x, y) ∧ T(y))，其中T(y)表示y是老师。
题目三：转换命题为谓词逻辑表达式1. 如果张三爱李四，那么李四也爱张三。
2. 没有学生是他自己的学生。
答案三：1. 命题“如果张三爱李四，那么李四也爱张三”的谓词逻辑表达式为：(L(张三, 李四) → L(李四, 张三))。
2. 命题“没有学生是他自己的学生”的谓词逻辑表达式为：∀x¬(S(x, x))。
题目四：谓词逻辑中的量词1. 写出“所有”的逻辑表达式。
2. 写出“存在”的逻辑表达式。
答案四：1. “所有”的逻辑表达式使用全称量词，表示为：∀x。
2. “存在”的逻辑表达式使用存在量词，表示为：∃x。
题目五：谓词逻辑中的逻辑连接词1. 写出“并且”的逻辑表达式。
2. 写出“或者”的逻辑表达式。
3. 写出“非”的逻辑表达式。
答案五：1. “并且”的逻辑表达式使用逻辑与，表示为：A ∧ B。
2. “或者”的逻辑表达式使用逻辑或，表示为：A ∨ B。
3. “非”的逻辑表达式使用否定，表示为：¬A。
题目六：谓词逻辑推理给定以下命题：1. ∀x (L(x, y) → L(y, x))。
逻辑学导论课后练习题
逻辑学导论课后练习题一、命题逻辑a. 如果今天下雨，那么我不去游泳。
b. 只有努力学习，才能取得好成绩。
c. 虽然他很聪明，但是并不勤奋。
a. P ∧ Qb. P ∨ Qc. ¬Pd. P → Qe. P ↔ Qa. P ∧ ¬Pb. P ∨ ¬Pc. (P → Q) ∧ (Q → P)二、谓词逻辑a. 所有学生都爱学习。
b. 有些猫是黑色的。
c. 没有人能两次踏入同一条河流。
a. ∃x (P(x))b. ∀x (Q(x) → R(x))c. ∃x ∀y (S(x, y))三、推理规则a. 前提：所有人都会死，苏格拉底是人。
结论：苏格拉底会死。
b. 前提：如果今天下雨，那么我不去游泳；今天下雨。
结论：我不去游泳。
a. 如果P，则Q；非Q，因此非P。
b. P ∨ Q；P，因此Q。
四、逻辑谬误a. 人是动物，因此人是植物。
b. 要么是A，要么是B，因此不是A。
c. 因为我喜欢苹果，所以所有人都喜欢苹果。
a. 某人因为相信星座，所以他的观点一定是正确的。
b. 这部电影不好看，因为它的评分很低。
五、集合论a. A = {1, 2, 3, 4, 5}，B = {3, 4, 5, 6, 7}，求 A ∩ B。
b. A = {x | x是正整数，x < 5}，B = {x | x是偶数，x ≤ 6}，求A ∪ B。
a. A ⊆ B，B ⊆ C，因此A ⊆ C。
b. A ∩ B = ∅，因此A ⊆ B。
六、数理逻辑a. (P ∧ Q) ↔ (¬(¬P ∨ ¬Q))b. (P ∨ Q) ↔ (¬P → Q)a. 1 + 2 + 3 + … + n = n(n + 1)/2七、演绎推理a. 所有的植物都需要水分；玫瑰是植物，因此______。
b. 没有学生会不喜欢考试；小明是学生，因此______。
a. 如果今天是星期五，那么我会去电影院。
逻辑用语考试题及答案大全
逻辑用语考试题及答案大全1. 命题逻辑中，复合命题“若p则q”的逆命题是：A. 若q则pB. 若非p则非qC. 若p则非qD. 若非q则非p答案：A2. 以下哪个命题是永真命题？A. p∧非pB. p∨非pC. p⇒非pD. p⇔非p答案：B3. 在谓词逻辑中，全称量词“∀”表示：A. 存在B. 对于所有C. 至少有一个D. 没有答案：B4. 如果命题p和命题q互为逆否命题，那么它们具有相同的：A. 真值B. 否定C. 蕴含D. 析取答案：A5. 逻辑运算符“∧”表示：A. 与B. 或C. 非D. 蕴含答案：A6. 命题“所有学生都是勤奋的”的否定是：A. 所有学生都不是勤奋的B. 存在一个学生不是勤奋的C. 存在一个学生是勤奋的D. 所有学生都是懒惰的答案：B7. 若p∧q为真命题，则p和q：A. 至少有一个为真B. 至少有一个为假C. 都为真D. 都为假答案：C8. 以下哪个命题逻辑表达式表示“p或q至少有一个为真”？A. p∧qB. p∨qC. p⇒qD. p⇔q答案：B9. 命题“如果今天是周一，那么明天是周二”的逆命题是：A. 如果明天是周二，那么今天是周一B. 如果今天不是周一，那么明天不是周二C. 如果明天是周一，那么今天是周二D. 如果明天不是周二，那么今天不是周一答案：A10. 在逻辑推理中，如果p⇒q为真，且p为假，则q的真值可以是：A. 真B. 假C. 既真又假D. 不确定答案：D11. 以下哪个选项是命题“存在一个x，使得x是偶数”的否定？A. 所有x都是偶数B. 所有x都不是偶数C. 存在一个x，使得x不是偶数D. 存在一个x，使得x是奇数答案：B12. 逻辑运算符“∨”表示：A. 与B. 或C. 非D. 蕴含答案：B13. 命题“若p则q”和命题“若q则p”之间的关系是：A. 互为逆命题B. 互为逆否命题C. 互为对偶命题D. 互为逆命题和逆否命题答案：A14. 在逻辑推理中，如果p∧q为假，那么p和q：A. 至少有一个为真B. 至少有一个为假C. 都为真D. 都为假答案：B15. 命题“所有人都是平等的”的否定是：A. 所有人都是不平等的B. 至少有一个人是不平等的C. 至少有一个人是平等的D. 没有人是平等的答案：B。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
说明：红色标注题目可以暂且不做
命题逻辑和谓词逻辑习题课的题目
一、填空
1、若P，Q，为二命题，真值为0 当且仅
当。
2、命题“对于任意给定的正实数，都存
在比它大的实数”令F(x)：x为实数，则命题的逻辑谓词公式为。
3、谓词合式公式的前束范式
为。
4、将量词辖域中出现的
和指导变元交换为另一变元符号，公式
其余的部分不变，这种方法称为换名规
则。
5、设x是谓词合式公式A的一个客体变
元，A的论域为D，A(x)关于y是自由的，则
被称为存在量词消去规则，记为ES。
6．设P，Q 的真值为0，R，S的真值为1，则
的真值= 。
7．公式的主合取范式为。
8．若解释I的论域D仅包含一个元素，则在I下真值为。
9. P：你努力，Q：你失败。
“除非你努力，否则你将失败”的翻译为
；“虽然你努力了，但还是失败了”的翻译为。
10. 论域D={1，2}，指定谓词P
则公式真值为。
11.P，Q真值为0 ；R，S真值为1。
则的
真值为。
12. 的主合取范式
为。
13.设 P（x）：x是素数， E(x)：x 是偶数，O(x)：x是奇数 N (x,y)：x可以整数y。
则谓词的自然语言是。
14.谓词的前束范式为。
二、选择
1、下列语句是命题的有（）。
A、明年中秋节的晚上是晴天；
B、；
C、当且仅当x和y都大于0；
D、我
正在说谎。
2、下列各命题中真值为真的命题有
（）。
A、2+2=4当且仅当3是奇数；
B、
2+2=4当且仅当3不是奇数；
C、2+2≠4当且仅当3是奇数；
D、
2+2≠4当且仅当3不是奇数；
3、下列符号串是合式公式的有（）
A、；
B、；
C、；
D、。
4、下列等价式成立的有（）。
A、；
B、；
C、；
D、。
5、若和B为wff，且则（）。
A、称为B的前件；
B、称B为的有效结论
C、当且仅当；
D、当且仅当。
6、A，B为二合式公式，且，则
（）。
A、为重言式；
B、；
C、；
D、；
E、为重言式。
7、“人总是要死的”谓词公式表示为
（）。
（论域为全总个体域）M(x)：x是人；Mortal(x)：x是要死的。
A、；
B、
C、；
D、
8、公式的解释I为：个体域D={2}，P(x)：
x>3, Q(x)：x=4则A的真值为（）。
A、1；
B、0；
C、可满足式；
D、无法判定。
9、下列等价关系正确的是（）。
A、；
B、；
C、；
D、。
10、下列推理步骤错在（）。
①P
②US①
③P
④ES③
⑤T②④I
⑥EG⑤
A、②；
B、④；
C、⑤；
D、⑥
11、在下述公式中是重言式为（）
A．；B．；
C．； D．。
12、命题公式中极小项的个数为
（），成真赋值的个数为（）。
A．0； B．1； C．2； D．3 。
三、逻辑判断
1、用等值演算法和真值表法判断公式的
类型。
（10分）
2、下列问题，若成立请证明，若不成立
请举出反例：（10分）
（1）已知，问成立吗？
（2）已知，问成立吗？
3、如果厂方拒绝增加工资，那么罢工就
不会停止，除非罢工超过一年并且工厂
撤换了厂长。
问：若厂方拒绝增加工资，而罢工刚开始，罢工是否能够停止。
（10
分）
四、计算
1、设命题A1，A2的真值为1，A3，A4真值
为0，求命题
的真值。
（5分）
2、利用主析取范式，求公式的类型。
（5
分）
五、谓词逻辑推理 15%
1、用CP规则证明下题（每小题 8分）
2、用逻辑推理证明：
所有的舞蹈者都很有风度，王华是个学生且是个舞蹈者。
因此有些学生很有风度。
六、证明：（10%）
设论域D={a , b , c}，求证：。
参考答案：
一、填空
1、P真值为1，Q的真值为0；
2、；
3、；
4、约束变元；
5、，y为D的某些元素。
6. 1；
7．
8. 1；
9.；
10. T
11. 1；
12. ；
13. 任意x，如果x是素数则存在一个y，
y是奇数且y整除x ；
14. 。
二、选择
11. B、D
12. D；D
三、逻辑判断
1、（1）等值演算法
（2）真值表法
所以A为重言式。
2、（1）不成立。
若取
但A与B不一定等价，可为任意不等价的公式。
（2）成立。
证明：
即：
所以故。
3、解：设P：厂方拒绝增加工资；Q：罢工停止；R:罢工超过一年；S：撤换厂长前提：结论：
①P
②P
③T①②I
④P
⑤T④I
⑥T⑤E
⑦T③⑥I
罢工不会停止是有效结论。
四、计算
（1）解：
（2）
它无成真赋值，所以为矛盾式。
五、谓词逻辑推理
1、证明：
① P（附加前提）
②T①I
③P
④T②③I
⑤T④I
⑥T⑤I
⑦P
⑧T⑥⑦I
⑨CP
2、设P(x)：x 是个舞蹈者； Q(x) ：x 很有风度； S(x)：x是个学生； a：王华上述句子符号化为：
前提：、结论：……3分
① P
②P
③US②
④T①I
⑤T③④I
⑥T①I
⑦T⑤⑥I
⑧ EG⑦六、证明10%。