重言蕴涵 只要公式A取真，那么公式B必取真，则称A重言蕴涵（永真蕴涵）B, 记为A→B。 。如果A,B推理形式是正确的，那么A→B。 3/100 Back Close3/100 JJ II J I Back Close 重言蕴涵 只要公式A取真，那么公式B必取真，则称A重言蕴涵(永真蕴涵)B， 记为A ⇒ B。 • 如果A → B推理形式是正确的，那么A ⇒ B