离散数学课件真值表与等价公式.pptxVIP

1-3.1命题公式?P，P?Q，(P?Q)?(P?Q)都是复合命题。若P和Q是命题变元，则上述各式均称作命题公式。P和Q称为命题公式的分量。命题公式是没有确定的真值的，仅当在一个公式中命题变元用确定的命题代入时，才能得到一个命题。1-3命题公式与翻译

定义1-3.1命题演算的合式公式（wff）(wellformedformula)单个命题变元本身是一个合式公式。如果A是合式公式，那么?A是合式公式。如果A和B是合式公式，那么(A?B),(A?B),(A?B),(AB)是合式公式。当且仅当能够有限次地应用(1)、(2)、(3)所得到的包含命题变元、联结词和括号的符号串是合式公式。1-3.1命题公式

1-3.1命题公式是递归定义的基础（3）是归纳是递归的界限注：这是一个递归方式的定义（递归定义）单击此处添加正文，文字是您思想的提炼，为了演示发布的良好效果，请言简意赅地阐述您的观点。您的内容已经简明扼要，字字珠玑，但信息却千丝万缕、错综复杂，需要用更多的文字来表述；但请您尽可能提炼思想的精髓，否则容易造成观者的阅读压力，适得其反。正如我们都希望改变世界，希望给别人带去光明，但更多时候我们只需要播下一颗种子，自然有微风吹拂，雨露滋养。恰如其分地表达观点，往往事半功倍。当您的内容到达这个限度时，或许已经不纯粹作用于演示，极大可能运用于阅读领域；无论是传播观点、知识分享还是汇报工作，内容的详尽固然重要，但请一定注意信息框架的清晰，这样才能使内容层次分明，页面简洁易读。如果您的内容确实非常重要又难以精简，也请使用分段处理，对内容进行简单的梳理和提炼，这样会使逻辑框架相对清晰。例：?(P?Q)就不是合式公式单击此处添加正文，文字是您思想的提炼，为了演示发布的良好效果，请言简意赅地阐述您的观点。您的内容已经简明扼要，字字珠玑，但信息却千丝万缕、错综复杂，需要用更多的文字来表述；但请您尽可能提炼思想的精髓，否则容易造成观者的阅读压力，适得其反。正如我们都希望改变世界，希望给别人带去光明，但更多时候我们只需要播下一颗种子，自然有微风吹拂，雨露滋养。恰如其分地表达观点，往往事半功倍。当您的内容到达这个限度时，或许已经不纯粹作用于演示，极大可能运用于阅读领域；无论是传播观点、知识分享还是汇报工作，内容的详尽固然重要，但请一定注意信息框架的清晰，这样才能使内容层次分明，页面简洁易读。如果您的内容确实非常重要又难以精简，也请使用分段处理，对内容进行简单的梳理和提炼，这样会使逻辑框架相对清晰。联结词的运算次序：规定运算符运算优先次序：?,?,?,?,使用括号

1-3.2翻译010203原命题可以符号化为：?P?Q例2.除非(仅当)我有时间，我才去看电影。解：设P：我有时间。Q：你将失败。解：设P：你努力。例1.除非你努力，否则你将失败。原命题可以符号化为：?P??Q或化为：Q?PQ：我去看电影。

例3.如果你和他都不固执己见的话，那么不愉快的事也不会发生了。解：设P：你固执己见。他固执己见。不愉快的事也不会发生了原命题可以符号化为：（?P??Q）?R例4.如果你和他不都是固执己见的话，那么不愉快的事也不会发生了。解：设P：你固执己见。他固执己见。不愉快的事也不会发生了原命题可以符号化为：?（P?Q）?R

作业(1-3)P12.(5)

1-4真值表与等价公式PQP?Q?(P?Q)TTTFTFFTFTTFFFTF定义1-4.1真值表：对于给定的命题公式，对其分量进行所有可能的真值指派得到该公式的相应的真值取值情况，将其汇列成表，称做该命题公式的真值表。例：给出?(P?Q)的真值表。

1-4真值表与等价公式在真值表中，命题公式真值的取值数目，决定于分量的个数。n个命题变元组成的命题公式有2n种真值情况。定义1-4.2永真公式永假公式：无论对其分量作怎样的真值指派，其真值永为T，称为永真公式，记为T。无论对其分量作怎样的真值指派，其真值永为F，称为永假公式，记为F。

1-4真值表与等价公式定义1-4.3等价(equivalent)公式：设A和B是两个命题公式，P1，P2，…，Pn是出现在A和B中的所有原子变元，若对P1，P2，…，Pn的任何真值指派，A和B真值相同，称A和B等价或逻辑相等。记作A?B。要证明两个命题公式等价，可用：真值表法等价命题定律。

1-4真值表与等价公式例:P?Q??P?QPQ?(P?Q)?(Q?P)PQ?(P?Q)?(?P??Q)P15表1-4.8命题定律

1-4真值表与等价公式定义1-4.4子公式设A是一个命题公式，X是A的一部分且X本身也是公式，则称X为公式A的子公式。定理1-4.1（等价置换）设A是一个命题