数理逻辑命题与谓词逻辑练习.pdfVIP

第1课：命题逻辑（一）（参页）

1.证明：((PQ)(P(QR)))(PQ)(PR)

=((PQ)(P(QR)))(PQ)(PR)(德摩根律)

=(((PQ)P)((PQ)(QR)))((PQ)(PR))(分配律，结合律，德摩根律)

=(P(QR))(P(QR))(结合律，吸收律，德摩根律，分配律)

=T

2.证明：((PR)(QR))((PR)(QR))

((PR)→(QR))((QR)→(PR))((PR)→(QR))((QR)→(PR))

((PR)(QR))((QR)(PR))((PR)(QR))((QR)(PR))

((PR)QR)((QR)PR)((PR)QR)((QR)PR)