Позначається (X) та (не X). Протиставлення – це коли підкреслюється різницю між якимись твердженнями. Вони необов'язково співвідносяться як висловлювання та його заперечення.
Протиріччя (також контрадикторність) – Відношення двох понять і суджень, кожне з яких є запереченням іншого. У формальній логіці протиріччя вважається неприпустимим згідно із законом протиріччя.
Діалектична протилежність — це лише бік протиріччя. Діалектичне протиріччя відбиває двоїсте ставлення всередині цілого: єдність протилежностей та його «боротьбу».
Суперечність – це два висловлювання, з яких одне є запереченням іншого. Суперечність – це два висловлювання, з яких одне є запереченням іншого. Якщо два висловлювання перебувають щодо протиріччя, одне з них еквівалентно заперечення іншого.