逻辑学中的否定式断言也叫否定命题或否定判断，分别为全称否定命题（断言或判断）、特称否定命题（断言、判断）。

逻辑学的研究对象是“推理”，是用来区分正确的推理与不正确的推理的方法和原理。正确的推理往往有着许多客观的标准，如果不了解这些标准，也就无法运用它们。逻辑学的任务就是去发现这些标准，去表述这些标准，并且去研究这些标准的基本原理。从而使得逻辑发挥它的基本作用，即可以行之有效地把正确的推理和错误的推论、好的论证和不好的论证，按这些标准和原则区分开来。