命题逻辑的形式系统.pptVIP

简化证明（2）T6├??p→p证：1．├p→??p定理52．├?p→???p1代入p/?p3．├p∨?p→p∨???p2附加4．├p∨?p定理45．├p∨???p3，4分离6．├???p∨p5析取交换7．├??p→p6定义1置换T10├p???p证：1．├p→??p定理52．├??p→p定理63．├p???p1，2等值构成简化证明（3）T7├（p→q）→（?q→?p）证：1．├p∨q→q∨p公理32．├?p∨q→q∨?p1代入p/?p3．├?p∨q→??q∨?p2等值置换4．├（p→q）→（?q→?p）3定义置换1T11├?（p∧q）??p∨?q证：1．├?（p∧q）→?p∨?q定理82．├?p∨?q→?（p∧q）定理93．├?（p∧q）??p∨?q1，2等值构成T12├?（p∨q）??p∧?q证：1．├?（p∧q）??p∨?q定理112．├?（p∨q）??p∧?q1对偶简化证明（4）T13├p→q∨pT14├p∧q→q∧pT15├p∧q→pT16├p∧q→qT17├p∨（q∨r）→q∨（p∨r）T18├p∨（q∨r）→（p∨q）∨rT19├（p∨q）∨r→p∨（q∨r）T20├p∧（q∧r）→（p∧q）∧rT21├q∧（p∧r）→p∧（q∧r）T22├p→（q→p∧q）T23├（p→（q→r））→（q→（p→r））简化证明（5）T24├（p→（q→r））?（p∧q→r）T25├（p→（p→q））?（p→q）T26├p∨（q∧r）?（p∨q）∧（p∨r）T27├p∧（q∨r）?（p∧q）∨（p∧r）T28├（p→q）∧（p→r）?（p→q∧r）T29├p?p∨（q∧?q∧r）T30├p?p∧（q∨?q∨r）T31├（p?q）?（?p??q）T32├（p?q）?（?p∨q）∧（?q∨p）T33├（p?q）?（p∧q）∨（?p∧?q）T34├?（p?q）?（p∧?q）∨（?p∧q）以上只是P系统的部分定理，请读者自证。3．3P系统定理的演绎令?是P中的一组公式，它们可以是P中的公理或定理，也可以不是。P中以?为前提的演绎是一有穷的公式序列A1，…，An，其中每一公式Ai（1≤i≤n）都适合下列条件之一：Ai是一公理或定理；Ai是Γ中的一个公式（记为Hyp）；Ai由本序列在先的一个或两个公式根据推理规则（系统内的基本变形规则和导出规则，但对假设前提公式不得使用代入规则）而得到。如果这样一个演绎存在，我们就称该序列最后的一个公式An以?为前提是可演绎的，或称An为P中?的后承，记为?├An。当假设前提集为空集时，P中关于空前提的演绎就是P中的一个证明。A是P中的定理，记作?├A，简记成├A。演绎定理令A、B为P中任意公式，?为P中任何公式集，如果{?，A}├B，那么?├A→B。意即如P中一前提集