离散数学：第二章 第四节 永真式 [兼容模式].pdfVIP

谓词公式的换名 换名规则 ∀x (Q(x ,y) →∀y (P(x, y) →R(y ))) 此公式中y 既有约 1.约束变元可以换名，但是自由变元不能够换名， 束出现又有自由出现。为了避免变元的约束和自 换名时应对量词辖域内所出现的该约束变元都进 由的同时出现，引起概念上的混乱，可以对约束 行换名。 变元变元进行改名进行改名，使得同使得同一个变元要么自由出现个变元要么自由出现， 2.换名后用的符号换名后用的符号一定是该辖域内没有的变元名称定是该辖域内没有的变元名称。 要么约束出现，之所以可以这么做，是因为一个 例如：∀x (Q(x ,y) →∀y (P(x, y) →R(y ))) ∧∀x D(x) 公式的约束变元所用的符号跟公式的真假是无关 可以换名为： 的。比如公式∀yP (y ) 和∀x(P(x) 具有同样的意义。 ∀x (Q(x ,y) →∀z(P(x, z) →R(z))) ∧∀u D(u) 但是不能够换为：∀x (Q(x ,y) →∀x(P(x,x) →R(x))) ∧∀u D(u)，因为此时改变了变元的约束关系 第二章谓词逻辑 §2.4 永真式 §2.1 谓词和量词 定义2.16 设A 是公式。 §2.2 项和公式 1. 如果A 在每个解释中为真，则称A 为永真式， §2.3 解释和赋值 也称A 为逻辑有效的公式。 §2.4 永真式 2. 如果A 在每个解释中为假，则称A 为永假式， §2.5 等值演算 也称A 为矛盾式，不可满足式。 §2.6 逻辑推论 3. 如果有解释I 和I 中赋值v 使得I(A)(v) = 1 ， 作业 则称A 为可满足式，并称解释I 和赋值v 满 足A 。 定义2.17 用谓词逻辑公式B ,…, B 分别同时替换 显然,A 是永真式当且仅当¬A 是永假式，A 是永假 1 n 式当且仅当¬A 是永真式，永真式一定是可满 命题逻辑公式A 中不同命题变元p 1,…,p n 得到的谓 词逻辑公式记为Ap 1 ,L,p n，并称其为A 的替换实例。 B ,L,B 足式，可满足式未必是永真式。A 是永假式 1 n 当且仅当A 不是可满足式 命题逻辑永真式的替换实例称为重言式。 ∀xP(x ，y ) →∀xP(x ，y ) 是永真式，因为不管 重言式的永真性是由联结词的意义决定的，而与对 怎样指定解释和赋值，这个蕴含式得前件 量词符号、谓词符号、函数符号、常元等的解释无 和后件总有相同得真值和后件总有相同得真值，由连接词由连接词→得真得真 关。∀xP(x) →∀xP(x) 是重言言式，无论如何解释全 值表知道该公式总为真。该公式得永真性 称量词符号∀和谓词符号P 的意义，蕴涵式 是由连接词得性质决定得，与谓