数理逻辑 2.pptVIP

3.3 命题公式、解释与真值表 定义（1）一个特定的命题是一个常值命题，其真值已经确定； (2)一个任意的没有赋予具体内容的原子命题是一个变量命题，常称它为命题变量(或命题变元)，该命题变量无具体的真值，它的变域是集合{T，F}(或{0，1}) 3.3.1 命题公式 定义3.3.2 (命题公式) 命题变元本身是一个公式； 如G是公式，则(┐G)也是公式； 如G，H是公式，则(G∧H)、(G∨H)、(G→H)、(G?H)也是公式； 命题公式是仅由有限步使用规则1-3后产生的结果。该公式常用符号G、H、…等表示。 例 例3.3.1 符号串： ((P∧(Q∨R))→(Q∧(┐S∨R)))； (┐P∧Q)； (P→(┐(P∧Q)))； (((P→Q)∧(R→Q))?(P→R))。 等都是命题公式。 例3.3.2 符号串： (P→Q)∧┐Q)； (P→Q； (┐P∨Q∨(R； P∨Q∨。 等都不是合法的命题公式。 例3.3.3 试用符号形式写出下列命题： 虽然今天天气晴朗，老陈还是不来； 除非你陪伴我或代我叫车子，否则我将不出去； 停机的原因在于语法错误或者程序错误； 若a和b是偶数，则a+b是偶数； 我们要做到身体好、学习好、工作好，为祖国四化建设而奋斗。 例3.3.4 公式(P∧(Q∨R))→(Q∧(┐S∨R))可表示如下： 3.3.2 公式的解释与真值表 定义3.3.3 设P1、P2、…、Pn是出现在公式G中的所有命题变元，指定P1、P2、…、Pn一组真值，则这组真值称为G的一个解释,常记为Ｉ。 一般来说，若有ｎ个命题变元，则应有2n个不同的解释。 如果公式G在解释Ｉ下是真的，则称Ｉ满足G；如果G在解释Ｉ下是假的，则称Ｉ弄假G。 定义3.3.4 将公式G在其所有可能解释下的真值情况列成的表，称为G的真值表。 例3.3.5 求下面公式的真值表： Ｇ＝(P→((?P?Q)∧R))∨Q 其中，Ｐ、Ｑ、Ｒ是Ｇ的所有命题变元。 例3.3.5（续） 定义3.3.5 公式G称为永真公式(重言式)，如果在它的所有解释之下都为“真”。 公式G称为永假公式(矛盾式),如果在它的所有解释之下都为“假”。 公式G称为可满足的，如果它不是永假的。 例3.3.7 写出下列公式的真值表，并验证其公式是重言式、矛盾式、可满足公式。 （1）G1 = (Ｐ→Ｑ)?(?Ｐ∨Ｑ)； （2）G2 = (Ｐ?Q)?(?(Ｐ→Q)∨?(Q→Ｐ))； （3）G3 = (P→? Q)∨?Q。 解： 基本等价公式 说明：G?H的结果仍是一个命题公式。G＝H表示“命题公式G等价于命题公式H。 证明:“?”假定G，H等价，则G，H在其任意解释Ｉ下或同为真或同为假，于是由“?”的意义知，G?H在其任何的解释Ｉ下，其真值为“真”，即G?H为永真公式。 “?”假定公式G?H是永真公式，Ｉ是它的任意解释，在Ｉ下，G?H为真，因此，G、H或同为真，或同为假，由于Ｉ的任意性，故有G＝H。 例3.3.5 证明公式G1＝(Ｐ?Ｑ)与公式G2＝(P→Q)∧(Q→P)之间是逻辑等价的。 解：根据定理3.3.1，只需判定公式G3＝(Ｐ?Ｑ) ?((P→Q)∧(Q→P))为永真公式。 基本等价公式 设G，H，S是任何的公式，则： 基本等价公式（续） Ｅ9：G∨(H∧S)＝(G∨H)∧(G∨S) (分配律） Ｅ10：G∧(H∨S)＝(G∧H)∨(G∧S) Ｅ11：G∨０＝G (同一律) Ｅ12：G∧１＝G Ｅ13：G∨１＝１ (零律) Ｅ14：G∧０＝０ Ｅ15：G∨┐G ＝１ (排中律) Ｅ16：G∧┐G ＝０ (矛盾律) 基本等价公式（续） Ｅ17：┐(┐G)＝G (双重否定律) Ｅ18：┐(G∨H)＝┐G∧┐H (De MoRGan定律) Ｅ19：┐(G∧H)＝┐G∨┐H Ｅ20: (G?H)＝(G→H)∧(H→G) (等价式) Ｅ21：(G→H)＝(┐G∨H) (蕴涵式) E22：G →Ｈ＝?Ｈ→?G (假言易位) E23：G ?Ｈ＝?G??Ｈ (等价否定等式) E24：(G →Ｈ) ∧(G→?Ｈ)＝?G (归谬论) 定理3.3.2(代入定理) 设G(P1,P2,…,Pn)是一个命题公式，其中：P1、P2、…、Pn是命题变元，G1(P1,P2,…,Pn)、G2(P1,P2,…,Pn)、...、Gn(P1,P2,…,Pn)为任意的命题公式，分别用G1、G2…、Gn取代G中的P1、P2、…、Pn后得到新的命题公式：G(G1,G2,…,Gn)＝G’(P1,P2,…,Pn) 若G是永真公式（或永假公式），则G’也是一个永真公式（或永假公式）。 例3.3.6 设Ｇ(Ｐ,