第一章节数理逻辑2课件幻灯片.pptVIP

* 例1.5.5（续） ?Ｇ= m2∨m5 Ｇ= ? ?Ｇ＝ ?(m2∨m5)＝? m2∧? m5= M2∧M5 =(Ｐ∨?Ｑ∨Ｒ)∧(?Ｐ∨Ｑ∨?Ｒ) ─主合取范式 * 1.5.3 范式中的难点 1、如何正确的理解范式定义中的“有限个文字”、“有限个短语”、“有限个子句”的概念是很关键的，“有限个”∈N={0, 1, 2, …, n, …}； 2、使用真值表技术求主范式时注意正确地建立真值表，正确地掌握真值解释还原成子句和短语的方法； * 1.5.3 范式中的难点 3、使用公式转换法求主范式时，需要增加某一个命题变元，此时注意关于该变元的永真公式和永假公式的正确加入，同时注意公式的正确化简； 4、利用主析取求主合取或者利用主合取求主析取时，注意是“Ｇ”的主析取范式的否定或“Ｇ”的主合取范式的否定，而非直接是G的否定。 * 1.5.4 范式的应用 定理1.5.3 （1）公式G为永真式G的合取范式中每个简单的析取式至少包含一个命题变元及其否定； （2）公式G为永假式G的析取范式中每个简单的合取式至少包含一个命题变元及其否定； * 1.5.4 范式的应用 例1.5.6 判断下面公式为何种类型的公式。 （1）(P∧? Q)??(? P∨Q) （2）(P→Q)?R （3） ?(P→?Q)∧(Q→P) * 例1.5.6 解 （1）(P∧? Q)??(? P∨Q) ＝((P∧?Q)→?(?P∨Q))∧(?(? P∨Q)→(P∧?Q)) ＝(?(P∧?Q)∨?(?P∨Q))∧((?P∨Q)∨(P∧? Q)) ＝(? P∨Q∨(P∧?Q))∧((?P∨Q)∨(P∧? Q)) ＝(? P∨Q∨P)∧(P∨Q∨?Q))∧(?P∨Q∨P)∧(P∨Q∨?Q) ——合取范式 由于该合取范式中每个简单析取式至少包含一个命题变元及其否定，由定理3.5.3知，该公式为永真公式。 * 例1.5.6（续） （2）(P→Q)?R ＝ ((?P∨Q)→R)∧(R→(?P∨Q)) ＝ (?(?P∨Q)∨R)∧(?R∨(?P∨Q)) ＝ ((P∧?Q)∨R)∧(?R∨?P∨Q) ＝ (P∨R)∧(?Q∨R)∧(?R∨?P∨Q)—合取范式 * 例1.5.6（续） ＝ (P∧?Q∧?R)∨(P∧?Q∧?P) ∨(P∧?Q∧Q)∨(P∧?R∧R)∨(P∧R∧?P)∨ (P∧R∧Q)∨(R∧?Q∧?R)∨(R∧?Q∧?P)∨ (R∧?Q∧Q)∨(R∧?R∧R)∨(R∧R∧?P)∨(R∧R∧Q) ＝ (P∧?Q∧?R)∨(P∧R∧Q)∨(R∧?Q∧?P) ∨(R∧?P)∨(R∧Q)) ——析取范式 由于该公式所对应的合取范式及析取范式都不满 足定理3.5.3中的条件，所以它既不是永真公式， 也不是永假公式，而是一个可满足公式。 * 例1.5.6（续） （3） (P→Q)∧(P∧?Q)＝(?P∨Q)∧(P∧?Q) ＝(?P∧P∧?Q)∨(Q∧P∧?Q)——析取范式 由于该公式所对应的析取范式中的每一个简单的合取式至少包含一个命题变元及其否定，根据定理3.5.3知，该公式是一个永假公式。 * 定理1.5.4 （1）如果命题公式是永真公式它的主析取范式包含所有的极小项，此时无主合取范式或者说主合取范式为“空”。 （2）如果命题公式是永假公式它的主合取范式包含所有的极大项，此时无主析取范式或者说主析取范式为“空”。 （3）两个命题公式是相等的它们对应的主析取范式之间相等，或者(可兼或)它们对应的主合取范式之间相等。 * 例1.5.7 求证(P→Q)∧(P→R)＝P→(Q∧R) 证明 左式=(P→Q)∧(P→R)＝(?P∨Q)∧(?P∨R) =(?P∨Q∨(R∧?R))∧(?P∨(Q∧?Q)∨R) =(?P∨Q∨R)∧(?P∨Q∨?R)∧(?P∨?Q∨R) = M4∧M5∧M6 = (?P∨Q∨R)∧(?P∨Q∨?R)∧ (?P∨Q∨R)∧(?P∨?Q∨R) * 例1.5.7 解（续） 两个公式具有相同的主合取范式，故两公式等价。 = (?P∨Q)∧(?P∨R)＝M4∧M5∧M6 右式= P→(Q∧R)=?P∨(Q∧R) 1-6 推理理论 逻辑的一个重要功能是研究推理。推理的正确性与命题P，Q涵义无关，只决定于逻辑形式，即它所关心的是论证的有效性，而对推理的实际内容（即命题表示的实际含义）并不关心。 推理的有效性和结论的真实性 所谓推理有效， 指的是它的结论是它前提的合乎逻辑的结果。即，如果它