否定命題

我々が度々使用せざるを得ない、この挑戦的な言明は、哲学における否定命題を証明する、ほとんど唯一の手段としてある。

「全ての人間は死なない」という否定命題を立てて、その真偽を論じる。

数学の証明において、否定命題の矛盾を導き出す背理法を用いた。

提示された否定命題が、既存の定理と矛盾しないか検討する。