当命题公式A→B为永真式时,称A逻辑蕴涵B,记为A┝ B,它又称为逻辑蕴涵式(logically implication).同样,A┝ B可作以下两种理
（1）A┝ B表示语句“A→B为永真式”；
（2）A┝ B表示“由A真可推得B真”,或“由B假可推得A假”,但反之不然.
因此,只有A真、B假时,A┝ B的运算结果为假,其余情况A┝ B的运算结果均为真. 当命题公式A→B为永真式时,称A逻辑蕴涵B,记为A┝ B,它又称为逻辑蕴涵式(logically implication).同样,A┝ B可作以下两种理
（1）A┝ B表示语句“A→B为永真式”；
（2）A┝ B表示“由A真可推得B真”,或“由B假可推得A假”,但反之不然.
因此,只有A真、B假时,A┝ B的运算结果为假,其余情况A┝ B的运算结果均为真.