第1章--数理逻辑基础.pptVIP

第1章 数理逻辑基础 1.1 命题 1.2 命题公式与翻译 1.3 命题等价 1.4 命题逻辑的范式 1.5 谓词和量词 1.6 谓词公式及其翻译 1.7 自由变元和约束变元 1.8 谓词逻辑中的永真式 1.9 谓词逻辑中的范式 1.1 命题 命题逻辑也称为命题演算。同时命题逻辑又是谓词逻辑的基础，它主要研究由命题为基本单位构成的前提和结论之间的可推导关系。 1.1.1 命题的概念 “命题”是数理逻辑的最基本概念。凡是能分辨其真假值的语句都叫做命题。进一步，命题可以理解为一个具有真假值的陈述句，因为在语言中，一般只有陈述句才可以分辨其真假值。 注意： （1）产生词义上的悖论的陈述句不是命题。 （2）有时候一个陈述句的真假与判断标准，语句所处的环境、人的主观因素、认识程度等有密切的联系。 （3）能判断真假，并不意味着现在就能确定其是真还是假，只要它具有能够惟一确定的真假值即可。 1.1.2 命题联结词 定义1-1：令P为一命题，则语句“非P所说的情形”是另一个命题，称为P的否定。P的否定用?P表示。命题?P读做“非P”。 定义1-2：令P和Q为命题。命题“P而且Q”是这样一个命题：当P和Q均为真时它为真，否则为假，用P?Q表示。命题P?Q称为P和Q的合取。 定义1-3：令P和Q为命题，命题“P或Q”是这样一个命题：它的真值在P或Q均为假时为假，否则为真，用P?Q表示。命题P?Q称为P和Q的析取。 定义1-4：令P和Q为命题。用PQ表示P和Q的异或是这样的一个命题：当P和Q中恰有一个为真时它为真。 定义1-5：令P和Q为命题。蕴涵P?Q是这样一个命题：当且仅当P为真，Q为假时，P?Q为假，否则为真。其中P称为P?Q的假设（或前提、前项），Q称为P?Q的结论（或后果）。 定义1-6：令P和Q为命题。双蕴涵P?Q是这样的一个命题：当且仅当P和Q有同样的真值时，P?Q的真值为真，否则为假。 1.2 命题公式与翻译 1.2.1 命题变元与命题公式 定义1-7：以“真”、“假”为其变域的变元称为命题变元，用P、Q、R、S……表示。 由命题变元经命题联结词可构成命题公式，它可定义如下： 定义1-8：命题公式规定为： （1）单个命题变元是一个命题公式。 （2）如果P是命题公式则?P也是命题公式。 （3）如果P、Q是命题公式则（P?Q）、（P?Q）、（P?Q）、P?Q都是命题公式。 （4）只有按上述法则所得的结果才是命题公式。 1.2.2 命题公式真值表的构造 设有一个由n个命题变元P1，P2，…，Pn所组成的命题公式，则此公式的真值由此n个命题变元所惟一确定。给定n个确定命题变元以一组确定的值后（每个Pi只有真、假两种取值），按命题公式中联结词出现的先后次序及括号顺序逐步应用命题联结词的真值表，从而确定命题公式的真值（或为真或为假）。 例1-8：构造命题公式?（P?Q）?（?P??Q）和（P?Q）?（（?P）?（Q?R））的真值表。 解：命题公式?（P?Q）?（?P??Q）有两个命题变元P、Q，按联结词出现的先后次序及括号顺序，使用命题联结词的真值表，逐步得到公式的值。详细情况如表1-7所示。在表中计算真值的顺序是P?Q，?（P?Q），?P，?Q，最后是?（P?Q）?（?P??Q）。 1.2.3 翻译语言句子为逻辑表达式 在翻译过程中有如下规定： （1）命题公式的最外层圆括号可以省去。 （2）规定各个命题联结词的优先级别为?大于?，?大于?，?大于?，?大于?，从而可省略命题公式中一些不必要的圆括号。 1.3 命题等价 1.3.1 命题逻辑中的永真式 定义1-9：一个命题公式的真值如果与指派无关，对其所有指派均取值为真，则这个命题公式就是永真式（或重言式）。 定义1-10：一个命题公式的真值如果与指派无关，对所有的指派均取假值，则这个命题公式就是矛盾式（或永假式）。 定义1-11：既不是永真式又不是矛盾的命题公式称为可能式。 永真式的性质有： （1）永真式的否定是矛盾，矛盾的否定是永真式。 （2）两个永真式的合取、析取、蕴涵、双蕴涵、等价均为永真式。 （3）若两个命题公式的等价是永真式，则这两个公式对任何指派必同真假。 1.3.2 命题的逻辑等价 定义1-12：设命题公式P、Q，如果在所有可能的情况下P、Q都有相同的真值，则称P和Q为逻辑等价。记号P?Q表示P和Q逻辑等价。也可以如下定义逻辑等价： 定义1-13：命题公式P?Q是永真式当且仅当命题P和Q称为是逻辑等价的。 设P、Q、R是任意的命题公式，T表示永远为真的任何命题公式，F表示永远为假的命题公式，则有如下的命题的基本等价式命题定律： （1）恒等律