-> 為條件連詞(conditional connective)
P->Q 稱作條件命題，口語化的講：「如果是OOO，那就會XXX」或「OOO都是XXX」。

舉個例子，我來說個命題：
「上PCDVD的人，都是有格調的好青年」
那麼此命題對不對呢？

1. (P真Q真)我上PCDVD，我是好青年。 支持我的命題
2. (P假Q假)他不上PCDVD，他是個混蛋。還是支持。
3. (P假Q真)他不上PCDVD，他是好青年。沒影響啊，我又不是說不上的都是壞人。命題依然成立。
4. (P真Q假)大濕也上PCDVD，他也是好青年？唉，我的命題不對啦....

延伸課題:
<-> 雙頭的叫做 若且唯若 (if and only if)
這個真值表又是如何呢？想想看看吧