重言蕴涵 只要公式A取真，那么公式B必取真，则称A重言蕴涵（永真蕴涵）B, 记为A→B。 。如果A→B推理形式是正确的，那么A→B。 3/100 ·用真值表来判断A→B是否成立：如果A,B依赖于个命题变 元P,P2,·,Pn,列出从P,P,·,Pn到A和B的真值表，查看 当A为真的解释下B是否也为真。 Back Close
3/100 JJ II J I Back Close 重言蕴涵 只要公式A取真，那么公式B必取真，则称A重言蕴涵(永真蕴涵)B， 记为A ⇒ B。 • 如果A → B推理形式是正确的，那么A ⇒ B。 • 用真值表来判断A ⇒ B是否成立：如果A, B依赖于n个命题变 元P1, P2, · · · , Pn，列出从P1, P2, · · · , Pn到A和B的真值表，查看 当A为真的解释下B是否也为真
重言蕴涵 只要公式A取真，那么公式B必取真，则称A重言蕴涵（永真蕴涵）B, 记为A→B。 ·如果A→B推理形式是正确的，那么A→B。 3/100 ·用真值表来判断A→B是否成立：如果A,B依赖于个命题变 元P,P2,·,Pn,列出从P,P2,·,Pn到A和B的真值表，查看 当A为真的解释下B是否也为真。 ●判断P→PVQ是否成立。 Back Close
3/100 JJ II J I Back Close 重言蕴涵 只要公式A取真，那么公式B必取真，则称A重言蕴涵(永真蕴涵)B， 记为A ⇒ B。 • 如果A → B推理形式是正确的，那么A ⇒ B。 • 用真值表来判断A ⇒ B是否成立：如果A, B依赖于n个命题变 元P1, P2, · · · , Pn，列出从P1, P2, · · · , Pn到A和B的真值表，查看 当A为真的解释下B是否也为真。 • 判断P ⇒ P ∨ Q是否成立
重言蕴涵的几个结果 (1)如果A→B,A是重言式，则B也是重言式。 4/100 4 Back Close
4/100 JJ II J I Back Close 重言蕴涵的几个结果 (1) 如果A ⇒ B，A是重言式，则B也是重言式
重言蕴涵的几个结果 (1)如果A→B,A是重言式，则B也是重言式。 季年 (2)如果A→B同时B→A,必有A=B。 4/100 ( Back Close
4/100 JJ II J I Back Close 重言蕴涵的几个结果 (1) 如果A ⇒ B，A是重言式，则B也是重言式。 (2) 如果A ⇒ B同时B ⇒ A，必有A = B
重言蕴涵的几个结果 (1)如果A→B,A是重言式，则B也是重言式。 年 (2)如果A→B同时B→A,必有A=B。 (3)如果A→B同时B→C,那么A→C。 4/100 ( D Back Close
4/100 JJ II J I Back Close 重言蕴涵的几个结果 (1) 如果A ⇒ B，A是重言式，则B也是重言式。 (2) 如果A ⇒ B同时B ⇒ A，必有A = B。 (3) 如果A ⇒ B同时B ⇒ C，那么A ⇒ C