人工知能

ぺんギンだけが飛ぶことができない

＝すべての個体において飛ぶことができないならばペンギンである
↓
・飛ぶことができないならばペンギンである は正しい
・飛ぶことができないならばペンギンでない は偽り
・飛ぶことができるならばペンギンでない は正しい
・飛ぶことができるならばペンギンである は正しい

(◎_◎)？？