习题课-谓词逻辑
谓词逻辑-习题与答案
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. 将下列命题用谓词符号化。
（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 。
离散数学习题课-谓词逻辑
求下述在I下的解释及其真值 求下述在 下的解释及其真值: 下的解释及其真值 ∀x∃y(F(f(x))∧G(y,f(a))) ∃ ∧ ⇔∀xF(f(x))∧∃ ∧∃yG(y,f(a)) 解 ⇔∀ ∧∃ ⇔F(f(2))∧F(f(3))∧(G(2,f(2))∨G(3,f(2))) ∧ ∧ ∨ ⇔1∧0∧(1∨0)⇔0 ∧ ∧ ∨ ⇔
7
练习3 练习
(1)∀xF(g(x,a),x) ∀ ∀x(2x=x) (2) ∀x∀y(F(f(x,a),y)→F(f(y,a),x)) ∀ → ∀x∀y(x+2=y→y+2=x) ∀ → (3) ∀x∀y∃zF(f(x,y),z) ∀ ∃ ∀x∀y∃z(x+y=z) ∀ ∃ (4) ∃x∀y∀zF(f(y,z),x) ∀ ∀ ∃x∀y∀z(y+z=x) ∀ ∀ (5) ∃xF(f(x,x),g(x,x)) ∃x(x+x=x⋅x) ⋅ 假 假 真 假 真
习题课-谓词逻辑 习题课 谓词逻辑(1) 谓词逻辑
主要内容 个体词、谓词、 个体词、谓词、量词 一阶逻辑命题符号化 一阶语言L： 原子公式、 一阶语言 ：项、原子公式、合式公式 公式的解释
量词的辖域、指导变元、 量词的辖域、指导变元、个体变项的自由出现与约 束出现、闭式、 束出现、闭式、解释
公式的类型
19
练习4（ 练习 （续）
证明： 证明：用归谬法 (1) ¬∃ ¬∃x(F(x)∧G(x)∧¬ ∧¬H(x)) ∧ ∧¬ (2) ∀x¬(F(x)∧G(x)∧¬ ∧¬H(x)) ¬ ∧ ∧¬ (3) ¬(F(y)∧G(y)∧¬ ∧ ∧¬H(y)) ∧¬ (4) G(y)→ ¬F(y)∨H(y) → ∨ (5) ∀x(F(x)→G(x)) → (6) F(y)→G(y) → (7) F(y) → ¬F(y)∨H(y) ∨ 论 结论否定引入 (1)置换 置换 (2)∀− ∀− (3)置换 置换 前提引入 (5)∀− ∀− (4)(6)假言三段 假言三段
命题逻辑和谓词逻辑习题课的题目与参考答案
命题逻辑和谓词逻辑习题课的题目及参考答案说明：红色标注题目可以暂且不做命题逻辑和谓词逻辑习题课的题目一、填空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、)⌝。
命题逻辑和谓词逻辑习题课的题目及参考答案
命题逻辑和谓词逻辑习题课的题目及参考答案说明：红色标注题目可以暂且不做命题逻辑和谓词逻辑习题课的题目一、填空1、若P，Q，为二命题，QP→真值为0 当且仅当。
2、命题“对于任意给定的正实数，都存在比它大的实数”令F(x)：x为实数，y,(x:)L>yx 则命题的逻辑谓词公式为。
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下真值为(x)xPx。
9. P：你努力，Q：你失败。
“除非你努力，否则你将失败”的翻译为；“虽然你努力了，但还是失败了”的翻译为。
10. 论域D={1，2}，指定谓词P则公式),(x y∀真值yPx∃为。
11.P，Q真值为0 ；R，S真值为1。
则PSwff∧R∨∧的真值∨→∧P)())Q((R))(S(为。
12. R⌝))((的主合取范式R∧Q∨Pwff→为。
13.设P（x）：x是素数，E(x)：x 是偶数，O(x)：x是奇数N (x,y)：x可以整数y。
则谓词)))xPyOywff∧∀的自然语言是→∃x))(N(,y((x(。
14.谓词)),,(yxzPxz∀的前束∀P∃∧→wff∃(u),(,))y(zuQx(y范式为。
二、选择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 、Q P ⇔；B 、Q P P ∨⇒；C 、)()(Q P Q P ⌝∨∧∨⌝；D 、)(Q P ↔⌝。
谓词逻辑测试题及答案
谓词逻辑测试题及答案一、选择题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) 也成立。
离散数学-第2章 习题课
A(a) B(a) C(a) D(b) E(b) F (a, b)
24
谓词公式与翻译
例12 从数学分析中极限定义为：任给小正数s，则 存在一个正数z，使得当0<|x-a|<z时有|f(x)-b|<s。 此时称 lim f ( x ) b
x
解： P(x,y)表示“x大于y”，Q(x,y)表示“x小于y”， 故 lim f ( x ) b 可以表示为：
16
谓词公式与翻译
例7 用谓词公式写出下式。 若x<y和z>0,则xz>yz
解：设G(x,y):x大于y。则有
(x)(y)(z)(G( y, x)G(0, z) G( xz, yz))
17
谓词公式与翻译
例8 自然数共有三个公理： a)每个数都有唯一的一个数是它的后继数。 b)没有一个数，使数1是它的后继。 c)每个不等于1的数，都有唯一的一个数是它的直接 先行者。 用两个谓词表达上述三条公理
27
变元的约束
例14 对 (x)( P( x) R( x, y)) Q( x, y) 换名
( 解：可以换名为： z)( P( z) R( z, y)) Q( x, y) ， 但可以改名为： (y)( P( y) R( y, y)) Q( x, y)以 及 (z)( P( z) R( y, y)) Q( x, y)。因为后两种更改 都将使公式中量词的约束范围有所变动。
( P(a) Q(a)) ( P(b) Q(b)) ( P(c) Q(c)) d) (x)P( x) (x) P( x)
(P(a) P(a) P(a)) ( P(a) P(a) P(a))
29
谓词逻辑——精选推荐
习题二(参考答案)2.1 在谓词逻辑中将下面命题符号化，）高斯是数学家，但不是文学家。
（1）高斯是数学家，但不是文学家。
P(x):x是数学家. s(x):x是文学家. a:高斯高斯P(a) ÙØs(a) ）如果小张比小李高，小李比小赵高，则小张比小赵高。
（2）如果小张比小李高，小李比小赵高，则小张比小赵高。
P(x,y):x比y高. a:小张. b:小李. c:小赵小赵(p(a,b) Ùp(b,c)) ®p(a,c) ）鱼都会在水里游。
（3）鱼都会在水里游。
P(x)::x是鱼是鱼 R(x)x都会在水里游. "x (P(x) ® R(x)) ）情商比智商更重要。
（4）情商比智商更重要。
P(x,y):x比y更重要. a:情商. b:智商智商P(a,b) ）并不是所有的人都爱看电影。
（5）并不是所有的人都爱看电影。
P(x):x是人. G(x):爱看电影. Ø"x(p(x) ® G(x)) 或$x(p(x) ÙØ G(x)) ）有的人爱吃醋，并且没有不爱美的人。
（6）有的人爱吃醋，并且没有不爱美的人。
P(x):x是人. G(x):x爱吃醋. R(x):x爱美. $x(P(x) ÙG(x)) Ù"x (P(x) ® R(x)) 2.2 利用二元谓词将下面命题符号化。
利用二元谓词将下面命题符号化。
）每列火车都比某些汽车快。
（1）每列火车都比某些汽车快。
P(x,y):x比y快. M(x):x是火车. G(y):y是汽车是汽车"x(M(x) ®$y(G(y) ÙP(x,y)) ）某些汽车比所有火车慢。
（2）某些汽车比所有火车慢。
P(x,y):x比y慢. M(x):x是汽车. G(y):y是火车是火车$x(M(x) Ù"y(G(y) ®P(x,y))) 2.3 在谓词逻辑中将下面命题符号化，要求使用全称量词与存在量词两种方法。
谓词逻辑复习题答案
证明：⑴
⑵
⑴（）
⑶
⑷
⑵，⑶（拒取式）
⑸
⑹
⑸（）
⑺
⑻
⑹，⑺（假言推理）
⑼
⑷，⑻（合取式）．
4、用逻辑推理规则证明：．
证明：⑴
⑵ ⑴（）
⑶
⑷ ⑶（）
⑸ ⑷（逆反律）
⑹ ⑵，⑸（假言三段论）
⑺ ⑹（）．
5、用逻辑推理规则证明：．
证明：⑴
⑵ ⑴（）
⑶
⑷ ⑶（）
⑸ ⑵，⑷（拒取式）
⑹
⑺ ⑹（）
⑻ ⑸，⑺（析取三段论）
8、用逻辑推理规则证明：． 证明：⑴
⑵ ⑴（） ⑶ ⑷ ⑴，⑶（假言推理） ⑸ ⑷（） ⑹ ⑵（加法式） ⑺ ⑸，⑹（假言推理） ⑻ ⑺（）． 9、用逻辑推理规则证明： . 证明：⑴ （附加前提） ⑵ ⑴（） ⑶ ⑷ ⑶（） ⑸ ⑵，⑷（假言推理）
⑹ ⑸（）
⑺．
10、用逻辑推理规则证明：
.
证明：⑴ （附加前提）
. 4、若个体域，：，：,：，:， 则谓词公式为真吗？为什么？ 答：为真；
. 5、谓词公式为真吗？为什么？ 答：不为真；设个体域：实数域，：， 则. 6、谓词公式为真吗？为什么？ 答：为真； . .
四、证明题（每题10分）
1、求证：．
证明：左
右．
2、设个体域，求证：．
证明：左
右．
3、用逻辑推理规则证明：
⑼ ⑻（）．
6、用逻辑推理规则证明：
．
证明：⑴
⑵ ⑴(德.摩根律) ⑶ ⑵(蕴含表达式) ⑷ ⑶(量词否定) ⑸ ⑹ ⑷，⑸（拒取式） ⑺ ⑹(量词否定) ⑻ ⑺(德.摩根律) ⑼ ⑻(蕴含表达式) ． 7、用逻辑推理规则证明： ． 证明：⑴ ⑵ ⑶ ⑴，⑵（假言推理） ⑷ ⑴（） ⑸ ⑹ ⑸（） ⑺ ⑶（） ⑻ ⑹（加法式） ⑼ ⑺，⑻（假言推理） ⑽ ⑷，⑼（合取式） ⑾ ⑽（） ⑿ ⑾（）．
离散数学 第二章 谓词逻辑 习题课
⑴ (x)(A(x)∧D(x)) P ⑵ A(a)∧D(a)) ES ⑴ ⑶ A(a) T⑵I ⑷ D(a)) T⑵I ⑸ (x)(A(x)→(B(x)→C(x))) P ⑹ A(a)→(B(a)→C(a)) US ⑸ ⑺ B(a)→C(a)) T ⑶⑹ I ⑻ (x)(A(x)→(C(x)∨D(x))) P ⑼ A(a)→(C(a)∨D(a))) US⑻ ⑽ C(a)∨D(a) T ⑶⑼ I ⑾ C(a) T ⑷⑽ I ⑿ B(a) T ⑺⑾ I ⒀ A(a)∧B(a) T ⑶⑿ I ⒁ (x)(A(x)∧B(x)) EG ⒀
习题课
b)任何人如果他喜欢步行，他就不喜欢乘汽车；每 个人或者喜欢乘汽车或者喜欢骑自行车。有的人不 爱骑自行车，因此有的人不爱步行。 设 A(x):x是人, B(x):x是喜欢步行,
C(x):x喜欢乘汽车，D(x):x喜欢骑自行车 (x)(A(x)→(B(x)→C(x))), (x)(A(x)→(C(x)∨D(x))), (x)(A(x)∧D(x)) (x)(A(x)∧B(x))
习题课
72页(2)d)论域为{1,2} P(1) P(2) Q(1,1) Q(1,2) Q(2,1) Q(2,2) F T T T F F
(x)y(P(x)∧Q(x,y)) y(P(1)∧Q(1,y))∧y(P(2)∧Q(2,y)) ((P(1)∧Q(1,1))∨(P(1)∧Q(1,2)))∧ ((P(2)∧Q(2,1))∨(P(2)∧Q(2,2))) ((F∧T)∨(F∧T))∧((T∧F)∨(T∧F)) (F∨F)∧(F∨F)F
习题课
3)a)所有有理数是实数，某些有理数是整数，因此某些实 数是整数。 设Q(x):x是有理数 R(x):x是实数 I(x):x是整数 (x)(Q(x)→R(x)), (x)(Q(x)∧I(x)) (x)(R(x)∧I(x)) ⑴ (x)(Q(x)∧I(x)) ⑵ Q(a)∧I(a) ⑶ Q(a) ⑷ I(a) ⑸ (x)(Q(x)→R(x)) ⑹ Q(a)→R(a) ⑺ R(a) ⑻ R(a)∧I(a) ⑼ (x)(R(x)∧I(x)) P ES⑴ T⑵I T⑵I P US ⑸ T ⑶⑹ I T ⑷⑺ I EG⑻
谓词逻辑复习题及答案
谓词逻辑复习题及答案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))。
集合谓词逻辑习题课
一、选择题
1.谓词公式x(P(x)yR(y))Q(x)中量词x的辖域是（ ）C A. x(P(x)yR(y)) B.P(x) C.(P(x)yR(y)) D.P(x),Q(x)
2.谓词公式x(P(x)yR(y))Q(x)中变元x是（ A.自由变量 B.约束变量 C.既不是自由变量也不是约束变量 D.既是自由变量也是约束变量
23
谓词逻辑习题课 5). (1)x(F(x)G(x)) (2)y(H(y)R(y)) (3)F(c)G(c) (4)F(c) (5)H(c)R(c) (6)H(c) (7)F(c)H(c) (8)x(F(x)H(x))
5
谓词逻辑习题课 11.公式xP(x)xQ(x) 的前束范式为（ C ）。 A. xy(P(x)Q(y)) B. xy(P(x)Q(y)) C. xy(P(x)Q(y)) D. xy(P(x)Q(y)) 12.在谓词演算中，P(a)是xP(x)的有效结论，其理论根据 是（ A ） A. 全称指定规则（US） B.全称推广规则（UG） C. 存在指定规则（ES） D.存在推广规则（EG）
B
)．
15．若集合A＝{ a，{a}，{1，2}}，则下列表述正确的是( ． A．{a，{a}}A B．{2}A C．设集合A = {1, a }，则P(A) = ( C )． A．{{1}, {a}} B．{ ,{1}, {a}} C．{,{1}, {a}, {1, a }} D．{{1}, {a}, {1, a }} 17．若集合A的元素个数为10，则其幂集的元素个数为 （ A ）． A．1024 B．10 C．100 D．1
7.下列谓词公式中，（ (1),(3) ）是等价的。
(1) (xA(x))与xA(x) (2) x(A(x)B(x))与 xA(x)xB(x) (3) x(A(x)B(x))与 xA(x)xB(x) (4) xyD(x,y) 与yxD(x,y)
谓词逻辑表示法例题
选择题：在谓词逻辑中，如果P表示“x是人”，Q表示“x会走路”，那么“所有人都会走路”可以表示为：A. ∀x(P(x) → Q(x))（正确答案）B. ∀x(P(x) → Q(x))C. ∀x(P(x) ∀ Q(x))D. ∀x(P(x) ∀ Q(x))如果R表示“x是红色的”，S表示“x是苹果”，那么“存在一些红色的苹果”可以表示为：A. ∀x(R(x) ∀ S(x))B. ∀x(R(x) → S(x))C. ∀x(R(x) ∀ S(x))（正确答案）D. ∀x(R(x) → S(x))在谓词逻辑中，“没有学生会飞”可以表示为，其中F表示“x会飞”，S表示“x是学生”：A. ∀x(S(x) → ¬F(x))（正确答案）B. ∀x(S(x) → F(x))C. ∀x(S(x) ∀ ¬F(x))D. ∀x(S(x) ∀ F(x))如果T表示“x是老师”，U表示“x是大学教授”，那么“所有老师都是大学教授”可以表示为：A. ∀x(T(x) → U(x))（正确答案）B. ∀x(T(x) → U(x))C. ∀x(T(x) ∀ U(x))D. ∀x(T(x) ∀ U(x))在谓词逻辑中，“有些猫不是黑色的”可以表示为，其中C表示“x是猫”，B表示“x是黑色的”：A. ∀x(C(x) → B(x))B. ∀x(C(x) ∀ ¬B(x))（正确答案）C. ∀x(C(x) ∀ ¬B(x))D. ∀x(C(x) → ¬B(x))如果V表示“x是蔬菜”，W表示“x是绿色的”，那么“所有绿色的都是蔬菜”可以表示为：A. ∀x(W(x) → V(x))（正确答案）B. ∀x(W(x) → V(x))C. ∀x(W(x) ∀ V(x))D. ∀x(W(x) ∀ V(x))在谓词逻辑中，“没有一个数是负的且大于10”可以表示为，其中N表示“x是数”，M表示“x 是负的”，L表示“x大于10”：A. ∀x(N(x) → ¬(M(x) ∀ L(x)))（正确答案）B. ∀x(N(x) ∀ M(x) ∀ L(x))C. ∀x(N(x) ∀ ¬M(x) ∀ ¬L(x))D. ∀x(N(x) → ¬(M(x) ∀ L(x)))如果H表示“x是人类”，I表示“x是智能的”，那么“存在一些人类不是智能的”可以表示为：A. ∀x(H(x) → I(x))B. ∀x(H(x) ∀ ¬I(x))（正确答案）C. ∀x(H(x) ∀ ¬I(x))D. ∀x(H(x) → ¬I(x))。
离散数学习题课-谓词逻辑23页PPT
26、机遇对于有准备的头脑有特别的 亲和力 。 27、自信是人格的核心。
28、目标的坚定是性格中最必要的力 量泉源 之一， 也是成 功的利 器之一 。没有 它，天 才也会 在矛盾 无定的 迷径中 ，徒劳 无功。- -查士 德斐尔 爵士。 29、困难就是机遇。--温斯顿．丘吉 尔。 30、我奋斗，所以我快乐。--格林斯 潘。
45、自己的饭量自己知道。——苏联
Hale Waihona Puke 41、学问是异常珍贵的东西，从任何源泉吸 收都不可耻。——阿卜·日·法拉兹
42、只有在人群中间，才能认识自 己。——德国
43、重复别人所说的话，只需要教育； 而要挑战别人所说的话，则需要头脑。—— 玛丽·佩蒂博恩·普尔
44、卓越的人一大优点是：在不利与艰 难的遭遇里百折不饶。——贝多芬
谓词逻辑——精选推荐
第二章 谓词逻辑习题2.11 指出下列命题的个体、谓词或量词：⑪离散数学是一门计算机基础课程。
⑫田亮是一名优秀的跳水运动员。
⑬所有大学生都要好好学习计算机课程。
⑭并非一切推理都能够由计算机来完成的。
解 ⑪个体：离散数学；谓词：…是一门计算机基础课程。
⑫个体：田亮；谓词：…是一名优秀的跳水运动员。
⑬个体：大学生；谓词：…要好好学习计算机课程；量词：所有。
⑭个体：推理；谓词：…是能够由计算机来完成的；量词：一切。
2 用谓词符号化下列命题：⑪小芳是舞蹈演员。
⑫苏格拉底是一位有名的哲学家。
⑬张三作完了他的作业。
⑭我身体很好。
解 ⑪设)(x F ：x 是舞蹈演员；a ：小芳。
命题符号化：)(a F 。
⑫设)(x F ：x 是一位有名的哲学家；a ：苏格拉底。
命题符号化：)(a F 。
⑬设)(x F ：x 作完了他的作业家；a ：张三。
命题符号化：)(a F 。
⑭设)(x F ：x 身体很好；a ：我。
命题符号化：)(a F 。
3 选择合适的个体域符号化下列命题。
⑪如果一个整数的平方是奇数，那么这个整数是奇数。
⑫有些国家在南半球，而有些国家在北半球。
⑬并非所有不在中国居住的人都不是中国人。
⑭有些艺术家既是导演又是演员。
⑮有的猫不捉耗子，会捉耗子的猫才是好猫。
解 ⑪选取个体域为整数集合。
设)(x F ：x 的平方是奇数；)(x G ：x 是奇数。
命题符号化：)()(x G x F 。
⑫选取个体域为所有国家的集合。
设)(x F ：x 在南半球；)(x G ：x 在北半球。
命题符号化：)()(x xG x xF ∃∧∃。
⑬选取个体域为所有人的集合。
设)(x F ：x 在中国居住；)(x G ：x 是中国人。
命题符号化：))()((x G x F x ⌝→⌝⌝∀⑭选取个体域为所有人的集合。
设)(x M ：x 是艺术家；)(x F ：x 是导演；)(x G ：x 是演员。
命题符号化：∃x (M (x )∧F (x )∧G (x ))。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
21
2
练习1
在分别取个体域为 (a) D1=N (b) D2=R (c) D3为全总个体域 的条件下, 将下面命题符号化，并讨论真值 (1) 对于任意的数x，均有(x2-4)=(x-2)(x+2) (2) 存在数x，使得 x+7=5 解：(1) 设G(x): (x2-4)=(x-2)(x+2) 假 (a) xG(x) 真 (b) xG(x) (c) 又设F(x):x是实数 真 x(F(x)G(x))
6
练习3
3. 给定解释 I 如下: (a) 个体域D=N (b) a=2 (c) f(x,y)=x+y, g(x,y)=xy (d) F(x,y):x=y 说明下列公式在 I 下的涵义,并讨论真值 (1) xF(g(x,a),x) (2) xy(F(f(x,a),y)F(f(y,a),x)) (3) xyzF(f(x,y),z) (4) xyzF(f(y,z),x) (5) xF(f(x,x),g(x,x))
7
练习3
(1)xF(g(x,a),x) x(2x=x) (2) xy(F(f(x,a),y)F(f(y,a),x)) xy(x+2=yy+2=x) (3) xyzF(f(x,y),z) xyz(x+y=z) (4) xyzF(f(y,z),x) xyz(y+z=x) (5) xF(f(x,x),g(x,x)) x(x+x=xx) 假 假 真 假 真
17
练习3（续）
(3)前提：x(F(x)G(x)), x(G(x)H(x)) 结论：xF(x)xH(x) 证明: 用附加前提法 ① xF(x) 附加前提引入 ② F(x) ① ③ x(F(x)G(x)) 前提引入 ④ F(x)G(x) ③ ⑤ x(G(x)H(x)) 前提引入 ⑥ G(x)H(x) ⑤ ⑦ F(x)H(x) ④⑥假言三段论 ⑧ H(x) ②⑦假言推理 ⑨ xH(x) ⑧ +
求下述在I下的解释及其真值: xy(F(f(x))G(y,f(a))) 解 xF(f(x))yG(y,f(a)) F(f(2))F(f(3))(G(2,f(2))G(3,f(2))) 10(10)0
13
练习2
2.求下述公式的前束范式: xF(x)y(G(x,y)H(x,y)) 解 使用换名规则, xF(x)y(G(x,y)H(x,y)) zF(z)y(G(x,y)H(x,y)) z(F(z)y(G(x,y)H(x,y)) zy(F(z)(G(x,y)H(x,y)))
14
练习2
使用代替规则 xF(x)y(G(x,y)H(x,y)) xF(x)y(G(z,y)H(z,y)) x(F(x)y(G(z,y)H(z,y)) xy(F(x)(G(z,y)H(z,y)))
15
习3
3.构造下面推理的证明: (1) 前提：x(F(x)G(x)), xF(x) 结论：xG(x) 证明： ① x(F(x)G(x)) 前提引入 ② F(y)G(y) ① ③ xF(x) 前提引入 ④ F(y) ③ ⑤ G(y) ②④假言推理 ⑥ yG(y) ⑤ + ⑦ xG(x) ⑥置换
9
练习5
5. 证明下列公式为永真式: (1) (xF(x)yG(y))xF(x)yG(y) (AB)AB的代换实例 (2) x(F(x)(F(x)G(x))) 设I是任意的一个解释, 对每一个xDI, F(x)(F(x)G(x))恒为真
10
习题课-谓词逻辑(2)
19
练习4（续）
证明：用归谬法 (1) x(F(x)G(x)H(x)) (2) x(F(x)G(x)H(x)) (3) (F(y)G(y)H(y)) (4) G(y) F(y)H(y) (5) x(F(x)G(x)) (6) F(y)G(y) (7) F(y) F(y)H(y) 论
习题课-谓词逻辑(1)
主要内容 个体词、谓词、量词 一阶逻辑命题符号化 一阶语言L：项、原子公式、合式公式 公式的解释
量词的辖域、指导变元、个体变项的自由出现与约 束出现、闭式、解释
公式的类型
永真式(逻辑有效式)、矛盾式(永假式)、可满足式
1
习题课-谓词逻辑(1)
基本要求 准确地将给定命题符号化 理解一阶语言的概念 理解一阶语言的解释 熟练地给出公式的解释 记住闭式的性质并能应用它 深刻理解永真式、矛盾式、可满足式的概 念, 会判断简单公式的类型
12
练习1
1. 给定解释I如下: (1) 个体域D={2,3} (2) a 2 (3) f ( x ) : f ( 2) 3, f ( 3) 2 (4) F ( x ) : F ( 2) 0, F ( 3) 1
G ( x , y ) : G ( 2,2) G ( 2,3) G ( 3,2) 1, G ( 3,3) 0
主要内容 一阶逻辑等值式
基本等值式，置换规则、换名规则、代替规则
前束范式 推理的形式结构 自然推理系统NL
推理定律、推理规则
11
习题课-谓词逻辑(2)
基本要求 深刻理解并牢记一阶逻辑中的重要等值式, 并能准确而熟练地应用它们． 熟练正确地使用置换规则、换名规则、代 替规则． 能够理解公式的前束范式． 深刻理解自然推理系统NL 的定义，牢记NL 中的各条推理规则，特别是注意使用、 +、+、 4条推理规则的条件． 能正确地给出有效推理的证明．
5
练习2
(4) 没有不爱吃糖的人。 设F(x): x是人，G(x): x爱吃糖 x(F(x)G(x)) 或 x(F(x)G(x)) (5) 任何两个不同的人都不一样高。 设F(x):x是人, H(x,y), x与y相同, L(x,y): x与y一样高 x(F(x)y(F(y)H(x,y)L(x,y))) 或 xy(F(x)F(y)H(x,y)L(x,y)) (6) 不是所有的汽车都比所有的火车快。 设F(x):x是汽车, G(y):y是火车, H(x,y):x比y快 xy(F(x)G(y)H(x,y)) 或 xy(F(x)G(y)H(x,y))
结论否定引入 (1)置换 (2) (3)置换 前提引入 (5) (4)(6)假言三段
20
练习4(续)
(8) F(y) H(y) (9) y(F(y) H(y)) (10) x(F(x) H(x)) (11) x(F(x) H(x)) (12) 0 (7)置换 (8)+ (9)置换 前提引入 (10)(11)合取
18
练习4
4. 在自然推理系统NL 中，构造推理的证 明． 人都喜欢吃蔬菜．但不是所有的人都喜欢吃 鱼．所以, 存在喜欢吃蔬菜而不喜欢吃鱼的 人． 解 令F(x): x为人，G(x): x喜欢吃蔬菜，H(x): x喜欢吃鱼． 前提：x(F(x)G(x)), x(F(x)H(x)) 结论：x(F(x)G(x)H(x))
3
练习1(续)
(2) 存在数x，使得 x+7=5 解 设H(x)：x+7=5 (a) xH(x) (b) xH(x) (c) 又设F(x)：x为实数 x(F(x)H(x))
假
真 真
本例说明：不同个体域内，命题符号化形式可 能不同（也可能相同），真值可能不同（也可 能相同）.
4
练习2
2. 在一阶逻辑中将下列命题符号化 (1) 大熊猫都可爱。 设F(x): x为大熊猫，G(x): x可爱 x(F(x)G(x)) (2) 有人爱发脾气。 设F(x): x是人，G(x): x爱发脾气 x(F(x)G(x)) (3) 说所有人都爱吃面包是不对的。 设F(x): x是人，G(x): x爱吃面包 x(F(x)G(x)) 或 x(F(x)G(x))
8
练习4
4. 证明下面公式既不是永真式也不是矛盾式: (1) x(F(x)G(x)) (2) xy(F(x)G(y)H(x,y)) 解： 1)解释1: D1=N, F(x):x是偶数, G(x): x是奇数 真 解释2: D2=N, F(x):x是负数, G(x): x是无理数 假 2)解释1: D1=Z, F(x):x是正数, G(x): x是负数, H(x,y):x>y 真 解释2: D2=Z, F(x):x是偶数, G(x): x是奇数, H(x,y):x>y 假
16
练习3（续）
(2) 前提：x(F(x)G(x)), xG(x) 结论：xF(x) 证明：用归谬法 ① xF(x) 结论否定引入 ② xF(x) ①置换 ③ xG(x) 前提引入 ④ xG(x) ③置换 ⑤ x(F(x)G(x)), 前提引入 ⑥ F(c) ② ⑦ G(c) ④ ⑧ F(c)G(c) ⑤ ⑨ G(c) ⑥⑧析取三段论 ⑩ G(c)G(c) ⑦⑨合取引入