数理逻辑3.1.docVIP

命题演算 推理的形式结构 1. 重言式与重言蕴涵式 *重言式是命题逻辑里的规律. 重言式的值常真.不论其中变项代表什么命题,是真还是假, 重言式总是真的. 例如: 排中律 p∨┐p *重言式是关于真值联结词的逻辑规律,因之也是关于复合命题的逻辑规律. 重言式反映客观世界的一些简单关系的逻辑特征. 例如: (p∨q)(q∨p), (p∧q)(q∧p) 可交换性是合取及析取的逻辑特征. 再例如: (p→q)(q→p) 就不是重言式, 真值表如下: p q p→q q→p (p→q)(q→p) 0 0 1 1 1 0 1 1 0 0 1 0 0 1 0 1 1 1 1 1 2. 推理的形式结构 *正确推理的形式结构是逻辑的重要规律. 命题逻辑里的重言式, 其中一个重要部分是正确推理的规律. 例如: 如果p, 则q p q *横线上是两个前提, 横线下是结论. *这个推理表示前提与结论之间的蕴涵关系, 可用一个蕴涵式表示. 蕴涵式的前件是各前提的合取, 后件是结论. 即 (p→q)∧p→q *正确的推理其蕴涵式必须是一个重言式, 正确的推理形式是不依赖其前提和结论的具体内容的. 即不论p和q代表什么命题, 是真还是假, 蕴涵式总是真的. 以上式为例: p q p→q (p→q)∧p (p→q)∧p→q 0 0 1 0 1 0 1 1 0 1 1 0 0 0 1 1 1 1 1 1 又例如: 如果p, 则q 非q 非p 蕴涵式为: ((p→q)∧┐q)→┐p 真值表为: p q ┐p ┐q p→q (p→q)∧┐q ((p→q)∧┐q)→┐p 0 0 1 1 1 1 1 0 1 1 0 1 0 1 1 0 0 1 0 0 1 1 1 0 0 1 0 1 *正确的推理形式是一个重言的蕴涵式. 一个不正确的推理形式虽然也有一个相当的真值形式, 但这真值形式却不常真, 不是重言式. 例如: 如果p, 则q 非p 非q 蕴涵式: ((p→q)∧┐p)→┐q 其真值表: p q ┐p ┐q p→q (p→q)∧┐p ((p→q)∧┐p)→┐q 0 0 1 1 1 1 1 0 1 1 0 1 1 0 1 0 0 1 0 0 1 1 1 0 0 1 0 1 *p取假q取真时, 该推理不成立. 3.2 简化的真值表方法﹑正确推理形式的判定 *正确的推理形式可用真值表方法判定, 即判定其是否重言蕴涵式. 当公式较长或其中命题变项较多时, 列真值表的过程较复杂. 下面介绍一种简化方法, 这种方法只能用于蕴涵式. 给定蕴涵式A→B, 只有当前件A为真, 后件B为假时, 它才为假. 简化方法就是要证明: 不论其中变项取什么值, 前件A真而后件B假是不可能的, 要使前件真而后件假, 变项赋值时必然会导致矛盾. 所以这种方法又叫作归谬法. 例如: 要说明 ((p→q)∧┐q)→┐p 是重言式. 我们证明前件(p→q)∧┐q真, 后件┐p假不可能. 因为后件┐p假, 则p真. 前件(p→q)∧┐q真, 亦即p→q和┐q都真, 从而q假. 又因为有p真, 由p真,q假, 可得p→q假, 这与前面p→q真的事实矛盾. 例3.1: 判断以下推理是否正确: 只有a能被2整除, a才能被4整除. a能被2整除, 所以a能被4整除. 此推理形式为: 只有p, 才q (┐p→┐q) p