命题逻辑的推理理论.ppt

命题逻辑的推理理论;关于“推理”;推理的形式结构—问题的引入;推理的形式结构;说明（1）：;说明（2）;例3.1判断下列推理是否正确;大家有疑问的，可以询问和交流;9;定理3.1命题公式A1，A2，…，Ak推B的推

理正确当且仅当：

（A1ùA2ù…ùAk）?B为重言式。

证明：必要性

若命题公式A1，A2，…，Ak推B的推

理正确，则不会出现A1ùA2ù…ùAk为真，

而B为假的情况，因而在任何赋值下，

蕴涵式（A1ùA2ù…ùAk）?B均为真，故

为重言式。;证明：充分性

若蕴涵式（A1ùA2ù…ùAk）?B为

重言式，则对于任何赋值此重言式均为真，

因而不会出现前件为真后件为假的情况。即

在任何赋值下，或者A1ùA2ù…ùAk为假，

或者A1ùA2ù…ùAk和B同时为真，这正符合

定义3.1中推理正确的定义。

;分析：;判断推理是否正确的方法;例3.2判断下面推理是否正确;（1）设p：a能被4整除

q：a能被2整除

前提：p?q，p

结论：q

推理的形式结构：（p?q）ùp?q

可知此推理正确，即（p?q）ùpTq。;（2）若a能被4整除，则a能被2整除。a能被2整除