Закон исключённого третьего
Закон, утверждающий, что в один и тот же момент времени высказывание может быть либо истинным, либо ложным, третьего не дано.
Например: «Собака умеет плавать либо собака не умеет плавать», третьего нет. Одно из двух противоречащих друг другу высказываний истинно, а другое — ложно. Поэтому дизъюнкция высказываний с противоположными значениями равна 1, а их конъюнкция равна 0.