К каждому высказыванию существует противоположное. Для его построения перед любым высказыванием можно добавить слова "Неверно, что...".
Высказывание, противоположное данному, называют его отрицанием.
Отрицание высказывания \(\displaystyle A\) – это такое высказывание \(\displaystyle B\), что если \(\displaystyle A\) истинно, то \(\displaystyle B\) ложно, и наоборот, если \(\displaystyle A\) ложно, то \(\displaystyle B\) истинно.
Закон исключенного третьего
Всегда истинно либо само высказывание, либо его отрицание (но не то и другое одновременно).
Закон исключенного третьего часто произносят в виде афоризма "третьего не дано".