下载文档原格式
第二章谓词逻辑2—1基本概念例题１. 所有的自然数都是整数。
设N(x)：x是自然数。
I(x)：x是整数。
此命题可以写成∀x(N(x)→I(x))例题２. 有些自然数是偶数。
设E(x)：x是偶数。
此命题可以写成∃x(N(x)∧E(x))例题3. 每个人都有一个生母。
设P(x):x是个人。
M(x,y):y是x的生母。
此命题可以写成：∀x(P(x)→∃y(P(y)∧M(x,y))) 2-2 谓词公式及命题符号化例题1. 如果x是奇数，则2x是偶数。
其中客体x与客体2x之间就有函数关系，可以设客体函数g(x)=2x，谓词O(x)：x是奇数，E(x)：x是偶数，则此命题可以表示为：∀x(O(x)→E(g(x)))例题2 小王的父亲是个医生。
设函数f(x)=x的父亲，谓词D(x):x是个医生，a:小王，此命题可以表示为D(f(a))。
例题3 如果x和y都是奇数，则x+y是偶数。
设h(x,y)=x+y ，此命题可以表示为:∀x∀y((O(x)∧O(y))→E(h(x,y))命题的符号表达式与论域有关系两个公式：一般地，设论域为{a1,a2,....,an}，则有(1). ∀xA(x)⇔A(a1)∧A(a2)∧......∧A(an)(2). ∃xB(x)⇔B(a1)∨B(a2)∨......∨B(an)1.每个自然数都是整数。
该命题的真值是真的。
表达式∀x(N(x)→I(x))在全总个体域的真值是真的,因∀x(N(x)→I(x))⇔(N(a1)→I(a1))∧(N(a2)→I(a2))∧…∧(N(an)→I(an))式中的x不论用自然数客体代入，还是用非自然数客体代入均为真。
例如(N(0.1)→I(0.1))也为真。
而∀x(N(x)∧I(x))在全总个体域却不是永真式。
∀x(N(x)∧I(x))⇔(N(a1)∧I(a1))∧(N(a2)∧I(a2)) ∧…∧(N(an)∧I(an))比如x用0.2代入(N(0.2)∧I(0.2))就为假。
离散数学谓词离散数学是一门研究离散对象和离散结构的数学分支，是计算机科学中的基础课程之一。
谓词是离散数学中的一个重要概念，本文将介绍谓词的概念、性质、表示方法、逻辑联结词和量化符号。
一、谓词的概念谓词是用来描述某些对象的性质的一种符号。
常用的谓词有“是”、“属于”、“含有”等等。
例如，对于集合A={1,2,3}，可以定义一个谓词P(x)，表示x是A中的元素。
则P(1)、P(2)、P(3)为真，而P(4)为假。
谓词可以有多个自变量，例如，对于两个正整数x和y，可以定义一个谓词R(x,y)，表示x是y的因子。
则R(1,5)、R(2,10)、R(5,25)为真，而R(3,5)、R(4,10)、R(6,25)为假。
二、谓词的性质1. 谓词的真值只能是真或假，不能是其他值。
2. 谓词的真值取决于自变量的取值。
3. 谓词可以用逆否命题、否命题、等价命题、充分条件等概念进行推理。
三、谓词的表示方法1. 用符号表示，谓词一般用大写字母表示，例如，P(x)、Q(x,y)。
2. 用语言表示，例如，对于集合A={1,2,3}，可以用语言表示为“x是A中的元素”。
3. 用图形表示，例如，对于一个人集合P，可以用图形表示为：四、逻辑联结词逻辑联结词是用来连接两个或多个命题的词语，例如，“与”、“或”、“非”等。
在离散数学中，逻辑联结词常用于对谓词进行逻辑推理。
1. 与（$\land$）：表示“且”，两个命题都为真时，结果为真，否则结果为假。
五、量化符号量化符号是用来表达命题中“每个”或“存在”的词语，是谓词逻辑中的一个重要概念。
常用的量化符号有全称量词和存在量词。
1. 全称量词（ $\forall$）：表示“对于任意”，例如，$\forall x\in A, P(x)$表示对于集合A中的任意元素x，都有P(x)为真。
六、总结离散数学中的谓词是一个非常重要的概念，它可以用来描述对象的性质，同时也是谓词逻辑的基础。
要想深入理解离散数学，就必须对谓词有深入的认识和理解。
离散数学谓词逻辑python离散数学是计算机科学中的一门重要学科，它研究离散对象及其相互关系的数学理论和方法。
谓词逻辑是离散数学中的一个重要概念，它用于描述和推理关于对象之间的关系和性质。
在本文中，我们将介绍谓词逻辑在Python编程语言中的应用。
谓词逻辑是一种用于描述和推理关于对象之间关系的形式系统。
它由一组谓词、变量和逻辑连接词组成。
在谓词逻辑中，谓词用于描述对象的性质或关系，变量用于表示未知对象，逻辑连接词用于构建复杂的命题。
在Python中，我们可以使用谓词逻辑来表示和处理关于对象之间的关系和性质。
Python的谓词逻辑库提供了一些函数和方法，可以实现谓词逻辑的基本操作，如命题的合取、析取、否定、存在量化和全称量化等。
在Python中，我们可以使用符号或者关键字来表示谓词逻辑中的各种操作。
例如，我们可以使用符号"∧"表示合取操作，使用符号"∨"表示析取操作，使用关键字"not"表示否定操作，使用关键字"exists"表示存在量化，使用关键字"forall"表示全称量化等。
下面是一个简单的例子，演示了如何使用Python的谓词逻辑库来表示和处理关于人和年龄的关系：```pythonfrom sympy import symbols, Predicate, And, Or, Not, Exists, ForAll# 定义谓词和变量Person = symbols('Person')Age = symbols('Age')Young = Predicate('Young', Age)Old = Predicate('Old', Age)# 定义谓词逻辑公式formula = And(Exists(Person, Young), ForAll(Person, Old))# 打印谓词逻辑公式print(formula)```上述代码中，我们首先引入了Python的谓词逻辑库，并定义了谓词"Young"和"Old"以及变量"Person"和"Age"。
离散数学谓词逻辑以《离散数学谓词逻辑》为标题，写一篇3000字的中文文章离散数学谓词逻辑（Discrete Mathematics Predicate Logic）是一种非常灵活的数学抽象思维方式，它是用来描述关系的基本逻辑形式。
例如，假设我们有三个人，分别叫做张三、李四和王五，我们可以用离散数学谓词逻辑来描述他们之间的关系。
假设张三、李四和王五是同学，则可以用这样一个谓词逻辑来表示：S(x,y)：表示x和y是同学，x代表一个人，y代表另一个人。
根据谓词逻辑S(x,y)，可以得出如下结论：1、张三和李四是同学，即S(张三,李四)；2、李四和王五是同学，即S(李四,王五)；3、王五和张三不是同学，即~S(王五,张三)，其中“~”表示“取反”，即不成立。
离散数学谓词逻辑的基本概念是由著名数学家许渊冲和英国数学家华罗庚于二十世纪六十年代提出的，它可以用来描述各种复杂系统中的关系和行为规律。
这种数学谓词逻辑是数学逻辑学的一个分支，它将用谓词表达式描述各种复杂的逻辑关系，给出关系的结论。
离散数学谓词逻辑的有点在于，它可以用很详细的方式来描述事实，而且它也可以很容易地描述复杂的系统中的关系和行为规律。
另外，它也是一种很有效的推理工具，可以用来检验某种行为是否符合逻辑规则，从而推断结论。
例如，假设我们有一个机器人A，它可以根据程序执行以下动作：当检测到红色条件时，机器人A会移动到目标地点。
为了模拟这种情况，我们可以定义一组谓词来表示：R(x,y)：表示x处有红色条件，y代表一个位置；M(x,y)：表示x可以移动到y，x代表一个对象，y代表一个位置。
根据上面的谓词表达式，如果给定以下情况：当机器人A检测到位置a处有红色条件时，它应该移动到第b位置，那么我们可以用谓词逻辑来表示：R(a,b)∧M(a,b)，其中“∧”表示“与”，即同时符合R(a,b)与M(a,b)的条件才行。
离散数学谓词逻辑不仅可以用于描述系统中的关系和行为规律，而且还可以用于复杂系统的建模与推理，它在计算机科学中尤为重要。
第2章谓词逻辑一、教学要求1. 理解谓词、量词、个体词、个体域、原子公式、谓词公式和变元等概念。
会将不太复杂的命题符号化。
2. 掌握在有限个体域下求公式的真值和某些公式在给定解释下真值的方法，判别公式类型(永真式、永假式和可满足式)的方法。
3. 掌握谓词演算的等值式和重言蕴含式(六种情况：(1)命题公式的推广；(2)量词否定式的等值式；(3)量词辖域扩张和收缩的等值式；(4)量词与联结词∨，∧，→的等值式；(5)量词与联结词的重言蕴含式；(6)两个量词公式间的等值式与重言蕴含式)。
会进行谓词公式的等值演算。
4. 了解前束范式的概念，会求公式的前束范式。
5. 了解谓词逻辑推理的规则：全量词消去规则(US规则)；全量词附加规则(UG规则)；存在量词消去规则(ES规则)；存在量词附加规则(EG规则)本章重点：谓词与量词，公式与解释，前束范式，谓词逻辑推理证明。
二、学习辅导在命题逻辑中，我们把原子命题作为基本研究单位，对原子命题不再进行分解，只有复合命题才可以分解，揭示了一些有效的推理过程. 但是进一步研究发现，仅有命题逻辑是无法把一些常见的推理形式包括进去. 例如“凡人要死，张三是人，张三要死”显然是正确推理. 用命题逻辑解释三段式. 设P：人要死；Q张三是人；R：张三要死。
表示成复合命题有P∧Q→R这不是重言式，即R不是前提P，Q的有效结论. 这反映了命题逻辑的局限性，其原因是把本来有内在联系的命题P，Q，R，视为独立的命题。
要反映这种内在联系，就要对命题逻辑进行分析，分析出其中的个体词、谓词和量词，再研究它们之间的逻辑关系，总结出正确的推理形式和规则，这就是谓词逻辑的研究内容。
1. 谓词与量词学习这一部分要反复理解谓词和量词引入的意义，概念的含义。
在谓词逻辑中，原子命题分解成个体词和谓词。
个体词是可以独立存在的客体，它可以是具体事物或抽象的概念，如小张，房子，南京，大米，思想，实数2等等。
谓词是用来刻划个体词的性质或事物之间的关系的词。
例如(1)(1)ln5是无理数；(2)(2)高可比李木相高4cm；(3) 郑州位于北京和广州之间。
这时三个简单命题，其中ln5，高可，李木相，郑州，北京，广州等都是个体词，而“是无理数”，“……比……高4cm”，“……位于……和……之间”等都是谓词。
个体词分个体常项(用a,b,c,d,…表示)和个体变项(用x,y,z,…表示)；谓词分谓词常项(表示具体性质和关系的词)和谓词变项(表示抽象的或泛指的谓词)，用F,G,P,…表示。
个体常项a和个体变项都具有性质F，记作F(a)或F(x);个体常项a,与b或个体变项x 与y具有关系L,记作L(a,b)或L(x,y)。
一般地，用F(a)表示a是无理数，其中a表示ln5，F 表示的是“…是无理数”。
当F的含义不变时，则F(x)表示x是无理数，x是个体变项，F 谓词常项，F(x)不是命题，而是命题变项，F(a)是命题。
用M(x,y,z)表示“z=x×y”，M(x,y,z)不是命题。
a表示3，b表示5，c表示15，M(a,b,c)表示“15＝3×5”。
M(a,b,c)是命题，真值为1，若c=12，那么M(a,b,c)是命题，真值为0。
注意，单独的个体词和谓词不能构成命题，将个体词和谓词分开不是命题。
例2.1将下列命题符号化：(1) 丘华和李兵都是学生；(2) 2既是偶数又是素数；(3) 如果张华比黎明高，黎明比王宏高，则张华比王宏高。
解(1) 设个体域是人的集合。
P(x)：:x是学生。
a：丘华b：黎兵该命题符号化为P(a)∧P(b)(2) 设个体域为正整数集合N＋。
F(x)：x是偶数，Q(x)：x是素数a：2该命题符号化为F(a)∧Q(a)(3)(3)设个体域是人的集合。
G(x,y)：x比y高。
a：张华b：黎明c：王宏该命题符号化为G(a,b)∧G(b,c)→G(a,c)量词是在命题中表示数量的词，量词有两类：全称量词∀，表示“所有的”或“每一个”；存在量词∃，表示“存在某个”或“至少有一个”。
例2.2将下列命题符号化(1)(1)每个母亲都爱自己的孩子；(2) 所有的人都呼吸；(3) 有某些实数是有理数。
解(1) 设个体域是所有母亲的集合。
M(x)：x表示爱自己的孩子；该命题符号化为∀xM(x)。
(2) 设个体域为人的集合。
H(x)：x表示要呼吸。
该命题符号化为∀xH(x)或设个体域为生物集合，M(x)：x是人。
H(x)：x 表示要呼吸。
该命题符号化为∀x(M(x)→H(x))(3) 设个体域为数的集合。
R(x)：x 表示实数Q(x)：x 表示有理数。
该命题符号化∃x(R(x)∧Q(x))。
在谓词逻辑，使用量词应注意以下几点：(1) (1) 在不同个体域中，命题符号化的形式可能不同，命题的真值也可能会改变。
(2) (2) 在考虑命题符号化时，如果对个体域未作说明，一律使用全个体域。
(3) (3) 多个量词出现时，不能随意颠倒它们的顺序，否则可能会改变命题的涵义。
2. 公式与解释学习这一部分内容要侧重于能将谓词逻辑公式表达式中，量词消除写成与之等值的公式，然后将解释中的数值代入，求出真值，并着重理解在谓词和量词的作用下变元的自由性、约束性和更名规则、代入规则等。
我们将命题常数0，1，一个命题和命题变元以及一个命题函数P (x 1,x 2,…,x n )，统称原子公式，由原子公式、联结词和量词可构成谓词公式(严格定义见教材)。
命题的符号化结果都是谓词公式，例如∀x(F(x)→G(x))，∃x(F(x)∧G(x))，∀x ∀y(F(x)∧F(y)∧L(x,y)→H(x,y))等都是谓词公式，当然∃x(F(x)∧G(x,y)),∀x(F(x)→G(x,y))等也是谓词公式。
在谓词公式∀xA 和∃xA 中，x 是指导变元，A 是相应量词的辖域。
在∀x 和∃x 的辖域A 中，x 的所有出现都是约束出现，即x 是约束变元，不是约束出现的变元，就是自由变元。
也就是说，量词后面的式子是辖域。
量词只对辖域内的同一变元有效。
例2.3 指出下列公式中量词的每次出现的辖域，并指出变元的每次出现是约束出现，还是自由出现，以及公式的约束变元，自由变元。
(1) ),()),(),((y x xH z y L y x R y x ∃∧∨∀∀(2) )()())()((x Q x xP x Q x P x ∧∀→∧∀解 (1) 在公式),()),(),((y x xH z y L y x R y x ∃∧∨∀∀中，∀x 只有一次出现，辖域是)),(),((z y L y x R y ∨∀；∀y 只有一次出现，辖域是),(),(z y L y x R ∨；∃x 只有一次出现，辖域是H (x ,y )。
变元x 在公式),()),(),((y x xH z y L y x R y x ∃∧∨∀∀中有四次出现，其中第一次出现是在∀x 中的出现，是约束出现；第二次出现是在∀x 的辖域中的出现，也是约束出现；第三次出现是在∃x 中的出现，也是约束出现；第四次出现是在∃x 的辖域中的出现，也是约束出现。
这四次出现都是约束出现，所以x 是该公式的约束变元。
不是它的自由变元。
变元y 在公式),()),(),((y x xH z y L y x R y x ∃∧∨∀∀中有四次出现。
其中第一次是在∀y 中的出现，是约束出现；第二次出现和第三次出现是在∀y 的辖域中的出现，也是约束出现；第四次出现是自由出现。
Y 在该公式中有三次约束出现，一次自由出现，因此变元y 既是该公式的约束变元，也是自由变元。
变元z 在该公式),()),(),((y x xH z y L y x R y x ∃∧∨∀∀中只有一次自由出现，所以z 是该公式的自由变元，约束也是变元。
(2) 在公式)()())()((x Q x xP x Q x P x ∧∀→∧∀中，∀x 有二次出现，其第一次出现的辖域是)()(x Q x P ∧；其第二次出现的辖域是)(x P 。
变元x 在公式)()())()((x Q x xP x Q x P x ∧∀→∧∀中有六次出现，其中第一次出现和第四次出现是在∀x 中的出现，是约束出现；第二次出现和第三次出现是在∀x 的第一次出现的辖域中的出现，是约束出现，第五次出现是在∀x 的第二次出现的辖域中的出现，也是约束出现；x 的第六次出现是自由出现。
变元x 在该公式中五次约束出现，一次自由出现。
因此变元x 既是该公式的约束变元，也是自由变元。
从例3看到，同一个个体变项，在同一个公式中，既可以是约束出现，也可以是自由出现，这种情况有时会造成一些混淆，带来不变。
要改变这种情况，使一个个体变项在同一个公式中不同时既是约束出现，又是自由出现，采取换名规则或代入规则。
换名规则，就是把公式中量词的指导变元及其该量词的辖域中的该变元换成该公式中没有出现的个体变元，公式的其余部分不变。
代入规则，就是把公式中的某一自由变元，用该公式中没有出现的个体变元符号替代，且要把该公式中所有的该自由变元都换成新引入的该符号。
如例3(1)中，变元y 既是约束出现，又是自由出现，把约束变元y 换名为u.。
于是原公式换为),()),(),((y x xH z u L u x R u x ∃∧∨∀∀也可以将自由变元y 代换为t ，原公式变为),()),(),((t x xH z y L y x R y x ∃∧∨∀∀都是与原公式等值的。
例3(2)中，原公式换为 )()())()((t Q u uP x Q x P x ∧∀→∧∀是与原公式等值的，且个体变元符号不再相同。
谓词公式只是一个符号串，没有什么意义，但我们给这个符号串一个解释，使它具有真值，就变成一个命题。
所谓解释就是使公式中的每一个变项都有个体域中的元素相对应。
解释有四部分组成：(1) 非空个体域D ；(2) D 中有一部分特定元素，用来解释个体常项；(3) D 上一些特定函数，用来解释出现的函数变项；(4) D 上一些特定谓词，用来解释谓词变项。
例2.4 给定解释I ： ① D ＝{2,3};② D 中特定元素a=2；③ 函数为2)3(,3)2(==f f④ 谓词F(x)为F(2)=0,F(3)=1G(x,y)为G(2,2)=G(2,3)=G(3,2)=0,G(3,3)=1L(x,y)为L(2,2)=L(3,3)=1,L(2,3)=L(3,2)=0求在解释I 下各公式的真值。
(1) ),()(a x G x xF ∧∀;(2) )))(,())(((x f x G x f F x ∧∃；(3) ),(y x yL x ∃∀；(4) ),(y x xL y ∀∃。
解 设所求四个公式分别记作A ，B ，C ，D 。
