相关代码 |
|
Untitled Document
.unnamed1 { font-size: 12pt; line-height: 15pt}
.unnamed2 { font-size: 15pt; font-weight: bold}
-->
function dynOutline() {}
//-->
initOutline()
//-->
基于规则的推理
证明方法：直接证明法、条件证明、反证法
一、直接证明
构造一个由公式组成的序列，该序列中的每个公式或者是一个给定的前提，或者是一个被序列中前面若干个公式蕴含的公式，而该序列的最后一个公式就是待证的有效结论。构造这个公式序列的过程就称为直接证明。
推理使用的构造公式的规则:
规则 P : 在推导的任何步骤上，都可以引入前提。
规则 T ：在推导过程中，如果前面有一个或多个命题公式永真蕴含命题公式 S，那么就可以把公式 S 引进推导过程中。
例：前提: (UR)(MN);
UP; P(QS);
QS
结论: M
二、条件证明
当待证的有效结论是一个如 PQ
类型的条件命题时，我们可以将有效结论中的前提 P
单独提出来加到前提中去，然后证明剩下的后件 Q
是附加了前提之后的新的一组前提的有效结论。这种附加前提的证明方法称为
CP规则。
因为我们有这样的结论：P(QR)(PQ)R
要证明 H1H2...HmPQ
即证明 H1H2...Hm(PQ)
为永真式
利用上述结论,只要证明 H1H2...HmPQ
为永真式.
例:前提:ABC;
B A;
D C
结论: A D
三、间接证明（反证法）
要证明 H1H2...HmC
即：H1H2...HmC=1
(H1H2...Hm)
C=1
H1H2...Hm
C=0
例1:前提:PQ;
RS
QS; R
结论:P
例2:前提:(WU)P;
WS; SP
结论:U
在使用基于规则的方法进行推理时，需要利用永真蕴含式和等价式。以下列出了一些常用的蕴含式和等价式：
12.0pt;font-family:"Times New Roman";mso-fareast-font-family:宋体;mso-font-kerning:
1.0pt;mso-ansi-language:EN-US;mso-fareast-language:ZH-CN;mso-bidi-language:
AR-SA"> id="_x0000_t75" coordsize="21600,21600" o:spt="75" o:preferrelative="t"
path="m@4@5l@4@11@9@11@9@5xe" filled="f" stroked="f">
height:17.25pt' o:ole="">
o:title=""/>
<<back
相关资源 |
|