昔,青チャートでこんな問題があったのを思い出した。
「砂糖は甘い」の否定命題を作れと。