例题　
　　例7: P: n > 3 (n为整数)
　　Q: n2 > 9
　　命题P→Q表示"如果n > 3那么n2 > 0", 分析P→Q的真值。
　　1. P = Q = T。这时如n = 4 > 3, 有n2 = 16 > 9, 这符合事实 P→Q = T, 正是我们所期望的可以P→Q表示P、Q间的因果关系, 这时规定P→T是自然的。
　　2. P = T, Q = F。如n > 3而 n2 < 9这是不会成立的, 也可用P→Q表示P、Q间的因果关系是不成立的, 自然规定P→Q = F。
　　3. P = F而Q = F或T。如
　　n = 2 < 3 有 n2 = 4 < 0
　　n = -4 < 3 有 n2 = 16 > 9
　　由于前提条件n > 3不成立，而n2 > 9 成立与否并不重要，都不违反对自然用语"如果n > 3那么n2 > 9"成立的肯定。于是 P = F时可规定P→Q = T。当然在肯定了1, 2的情况下, 对P = F时P→Q的值另作规定也是可以的, 同样不违反自然语句"如果……那么……"可以用P→Q来描述。　　总之，对P→Q的这种说明是可接受的, 但也不是说仅只有这样的解释才是合理的。
例题　
　　例8: P: 2 + 2 = 5
　　Q: 雪是黑的
　　P→Q就是命题"如果2 + 2 = 5, 那么雪是黑的"。从蕴涵词的定义看，由2 + 2 = 5是不成立的或说P取F值, 不管Q取真取假都有P→Q = T。
　　联结词→， 较、∨、∧难于理解，然而它在逻辑中用于表示因果关系从而又是最有用的。

　　关于蕴涵词，在自然语言中有着极为繁多的表达方式，它的主要含义就是说：若前提P真，则结论Q必真（即Q不会假）；换言之，绝对不会发生前提真而结论假的事情，而对其它情况放宽了要求，至于若P则Q在自然语言中还表示P是Q的原因，这种因果相依的紧密联系，（过于广泛）还不能完全反映在蕴涵词中。