一個發現

「如果我有一雙翅膀，我就能飛；但是我沒有翅膀，所以我不能飛」
其實這句話是錯的
「有翅膀→飛」這樣的定理不能表示
「沒有翅膀→不能飛」
除非「有翅膀 iff 飛」才行