2020831,1,逻辑蕴涵式,蕴涵式 定义 设A和B是两个命题公式,若AB是永真式,则称A蕴涵 B,记为AB,并称AB为逻辑蕴涵式或永真条件式 定理 AB当且仅当AB是永真式 性质 自反性: 即对任意公式A,有AA; 传递性: 即对任意公