A proposition that is false under all circumstances is referred to as a contradiction.

• 若一个命题在所有的情况下都是假的，那么它就称为矛盾。