命题逻辑讲义.ppt

(2)((p→q)∧p) →q ? ?((?p∨q)∧p)∨q ? ?(?p∨q)∨ ?p∨q ? (p∧?q)∨ ?p∨q ?(p∧?q)∨?p∧(?q∨q)∨(?p∨p)∧q ? (?p∧?q)∨(? p∧q)∨(p∧ ? q)∨(p∧q) ? m0∨m1∨m2∨m3 ? ?(0,1,2,3). (3)(p→q)∧q ?(?p∨q)∧q ?(?p∧q)∨q ∧ (p∨?p) ?(?p∧q)∨(p∧q) ?m1∨m3. ? ?(1,3). 由以上推演可知,(1)矛盾式,(2)为重言式, (3)为可满足式. 3.求命题公式的成真和成假赋值. 在上例(2)中(p→q)∧q? ?(1,3). 01,11是成真赋值,00,10是成假赋值. 定义1.22 在含n个命题变项的简单析取式中,若每个命题变项与其否定不同时存在,而二者之一必出现且仅出现一次,且第i个命题变项或其否定出现在左起的第i位上(若命题变项无角码,则按字典顺序排列),这样的简单析取式称为极大项. 同极小项情况类似,n个命题变项可产生2n个极大项,每个极大项对应一个二进制数和一个十进制数.二进制数为该极大项的成假赋值,十进制数作为该极大项抽象表示的角码. 3个命题变项，8个极大项对应情况如下： p∨q∨r ——000——0，记作M0 p∨q∨?r ——001——1，记作M1 p∨?q∨r ——010——2，记作M2 p∨?q∨?r ——011——3，记作M3 ?p∨q∨r ——100——4，记作M4 ?p∨q∨?r ——101——5，记作M5 ?p∨?q∨r ——110——6，记作M6 ?p∨?q ∨?r ——111——7，记作M7 定义1.23 设命题公式A中含n个命题变项,如果A的合取范式中的简单析取式全是极大项,则称该合取范式为主合取范式. 任一命题公式的主合取范式一定存在,且是唯一的. 求一命题公式A的主合取范式的步骤: （1）先求出合取范式A’. （2）若A’的某简单析取式B中不含命题变项pi ,或其否定?pi,则将B展成如下形式： B?B∨0?B∨(pi∧ ?pi)?(B∨pi)∧(B∨? pi). 例1.18 求p∧q∨r的主合取范式. 解 (p∧q) ∨r ?(p∨r)∧(q∨r) (合取范式) ?(p∨(q∧ ?q)∨r)∧((p∧ ?p)∨q∨r) ?(p∨q∨r)∧(p∨ ?q∨r) ∧(p∨q∨r) ∧(? p∨q∨r) ?(p∨q∨r)∧(p∨ ? q∨r)∧(?p∨q∨r) ? M0∧M2∧M4 ? ?(0,2,4), 其中?表示合取. ?mi ? Mi， ? Mi ? mi. 设命题公式A中含n个命题变项,且设A的主析取 范式中含k个极小项mil,mi2,…,mik则? A的主析取 范式中必含2n-k个极小项,设为mjl,mj2, …, , 即 ?A ? mjl ∨ mj2 ∨… A ? ? ?A ? ? (mjl ∨ mj2 ∨… ) ? ? mjl ∧ ? mj2∧…∧ ? ? Mjl ∧ Mj2 ∧…∧ 极小项与极大项之间的关系 由A的主析取范式求主合取范式的步骤 (1)求出A的主析取范式中没包含的极小项mj1,mj2,···, . (2)求出与(1)中极小项角码相同的极大项Mj1,Mj2,···, . (3)由以上极大项构成的合取式为A的主合取范式. 例如,A中含3个命题变项,主析取范式为 A ? m0∨m1∨m5∨m7 ?Σ(0,1,5,7) 则主合取范式为 A ? M2∧M3∧M4∧M6 ??(2,3,4,6). 通过主合取范式也可以判断公式之间是否等值，判断公式的类型，求成假赋值等. 1.6 推理理论 数理逻辑的主要任务是用逻辑的方法研究数学中的推理。所谓推理是指从前提出发，应用推理规则推出结论的思维过程。任何一个推理都由前提和结论两部分组成。前提就是已知的命题公式，结论则是从前提应用推理规则推出的命题公式。 定义1.24 若(A1∧A2∧…∧Ak)?B为重言式，则称A1,A2,…,Ak推出结论B的推理正确，B是A1,A2,…,Ak的逻辑结论或有效结论.称(A1∧A2∧…∧