命题逻辑（一）

一：

命题：目标语言中的基本元素是具有判断内容的语句且真值唯一。（是陈述句）

否定：﹁

合取：^ 且的关系

析取：V 或的关系

排斥析取：当且仅当P和Q真值不同时，它为真

条件：P对Q的条件命题记作P→Q，当且仅当P为真，Q为假时，它才为假。

双条件：当且仅当P和Q的真值相同时为真。

运算顺序：非，合取，析取，条件，双条件。

二：等价式

结合律：1.（PvQ）vR==Pv(QvR)     2.(P^Q)^R==P^(Q^R)

吸收律：1. Pv(P^Q)==P            2.P^(PvQ)==P

交换律：1. PvQ==QvP              2.P^Q==Q^P

分配律：1. Pv(Q^R)==(PvQ)^(PvR)  2.P^(QvR)==(P^Q)v(P^R)

摩根律：1. ﹁（PvQ）==﹁P^﹁Q    2. ﹁(P^Q)== ﹁Pv﹁Q

同一律：1. PvF==P                2.P^T==P

零律：  1. PvT==T                2.P^F==F

否定律：1. Pv﹁P==T              2.P^﹁P==F

对合律：﹁﹁P==P

其它：P→Q==﹁PvQ

0^任何命题==0

0v任何命题==任何命题

原命题与逆否命题同真假

P排斥析取Q==（﹁P^Q）v(P^﹁Q)

P双条件Q==(P→Q)^(Q→P)

P^(P→Q)==P^Q

三：

代换规则:设命题公式A和B逻辑等价，如果在命题公式C中出现A的地方用B替换后而得到的命题公式D，则C等价于D。

对偶原则：将一个公式中的“^”换成“v”；“v”换成“^”;“T”换成“F”；“F”换成“T”就得到另一个公式。

四：永真蕴含式

1.P^Q=>P;    P^Q=>Q(化简式)

2.P=>PvQ;    Q=>PvQ（附加式）

3.P^(P→Q)=>Q（假言推理）

4.(P→Q)^(Q→R)=>P→R（假言三段论）

5. ﹁P=>P→Q

6.Q=>P→Q

7. ﹁(P→Q)=>P

8. ﹁(P→Q)=> ﹁Q

9. ﹁Q^(P→Q)=> ﹁P

10. ﹁P^(PvQ)=>Q

11.(PvQ)^(P→R)^(Q→R)=>R

12(P→Q)^(R→S)=>(P^R) →(Q^S)

 五：主要是证明题

推理：是从前提推出结论的思维过程

前提：已知的若干命题公式

结论：从前提出发应用推理规则推出的一个命题公式

P规则：前提在推导过程中的任何时候都可以引入使用。

T规则：在推导中，如果有一个或多个公式、永真蕴含着公式S，则S可引入推导中。