摘要：
15，证明(p→q)Λ(q→r)→(p→r)是永真式证明过程(p→q) Λ (q→r)→(p→r)=¬[(p→q) Λ (q→r)]V(p→r) 设x=(p→q)Λ(q→r)，y=(p→r)，x→y=¬xVy=[¬(p→q) V ¬(q→r)] V (p→r) 根据德摩根定律，展开¬[(p→q)Λ(q→r)]=¬(p→q) V [¬(q→r)V(p→r)] 根据结合律=¬(p→q) V [¬(¬q V r)V(¬p V r)] 将x→y变换为¬xVy=¬(p→q) 阅读全文
摘要：
这一段主要是根据所给出的真值表推导命题公式。PQRTTTTFTFTFFFF方法一我们可以这样来考虑，对于每行的公式设定一个命题变量，假设分别是C1，C2，C3，C4，其中C3=F，C4=F整个命题公式是什么呢？从表中得知，当C1，C2其中一个为真的时候，整个命题为真，因此用析取式。因此就是C1=T VC2=T V C3=F V C4=F，根据恒等律(PVF=P)，我们可以略掉C3=F和C4=F结果就是 C1 VC2现在，思考怎么推导C1，C2的公式呢用第一行来说，P=T并且Q=T的时候，C1=T，很明显用合取式将C1，C2一一展开，最终的命题公式=(P ΛQ) V (P Λ ¬Q)方 阅读全文