第三章 命题逻辑的推理理论§1 推理的形式结构推理：从前提出发推出结论的思维过程。
前提：已知命题公式集合。
结论：从前提出发应用推理规则推出的命题公式。
定义设A1, A2, …, A k, B都是命题公式，若命题公式A1∧A2∧…∧A k→B是重言式，则称由前提A1, A2, …, A k推出结论B的推理是有效的或正确的，并称B是有效的结论。
推理的形式结构记为{A1,A2,…,A k}A B推理正确，记为{ A1,A2,…,A k }⊨B推理无效，记为{ A1,A2,…,A k }⊭B注①推理正确，结论未必为真。
②推理只注重结构。
例判断下述推理的正确性。
(1) {p, p→q}⊢ q(2) {p, q→p}⊢ q解 (1) p∧(p→q)→q⇔p∧(¬p∨q)→q⇔(p∧¬p)∨(p∧q)→q⇔p∧q→q⇔¬ (p∧q)∨q⇔¬p∨(¬q∨q)⇔¬p∨1⇔1故{p, p→q }⊨ q(2) p∧(q→p)→q让q =0，可得q→p =1，再取p =1可得p∧(q→p)=1 由此得p∧(q→p)→q有成假赋值1 0，故{ p, q→p }⊭ q判断推理正确性：1．真值表法。
2．等值演算法。
3．主析取范式法。
4．构造证明。
例判断下述推理是否正确？（1）若a能被4整除，则a能被2整除。
a能被4整除。
所以a能被2整除。
（2）若下午气温超过30℃，则王小燕必去游泳。
若她去游泳，则她就不去看电影了。
所以，若王小燕没去看电影，则下午气温必超过了30℃。
解(1) p：a能被4整除q：a能被2整除前提：p→q，p结论：q推理的形式结构：{p→q，p} A q前面已证此推理正确。
(2) p：下午气温超过30℃q：王小燕去游泳r：王小燕去看电影前提：p→q, q→¬r结论：¬ r→p推理的形式结构：{p→q，q→¬r} A(¬r→p)因为，(p→q)∧(q→¬ r)→(¬r→p)⇔m1∨m3∨m4∨m5∨m6∨m7主析取范式显然不是重言式，故推理不正确。
