試證： 愛情習題

引理： 真假值表

　　　若 Ｐ 則 Ｑ ＜＝＞ 若 ┐Ｑ 則 ┐Ｐ

證明： 假若我是你的女朋友，則我是愛你的。

　　　＜＝＞

　　　我不愛你，所以我不是你的女朋友。

但我不是你的女朋友，卻很愛你。　→←(產生矛盾)

　　　∴原設錯誤 ＝＞ 我是你的女朋友，但我並不愛你。

　　　∵即使我真的成為你的女友，我還是會一直愛你。　→←(產生矛盾)

　　　此題無解。