逻辑学中的“否定”与日常语言中所说的“否定”略有不同，这一点需要加以注意。不过，太过深入地讨论这一问题，反而有可能变得晦涩难懂，因此，让我们深入浅出地开始相关讨论吧。
所谓否定某一命题就是主张该命题为假，也就是认为“该命题与事实有违”。例如，如果否定了“狸是有袋类动物”这一命题的话，那就意味着“狸不是有袋类动物”，这便是认为“狸是有袋类动物”这一命题有违事实，为假命题。
