蕴含式P->Q表示，如果P那么Q，显然：如果P为真则Q为真，P→Q是真命题，当P为真命题，而Q为假命题时，P→Q是一个假命题。比如张三说，“如果明天天不下雨(P)，那么他去你家玩(Q)”,如果第二天天不下雨，他去了你家，他说了真话(P→Q为真)，如果天不下雨，但他没有去你家，显然他说了谎话(此时P→Q为假)。
