Закон исключенного третьего – это...

Решение:

Закон исключенного третьего в классической логике утверждает, что любое высказывание либо истинно, либо ложно; третьего варианта не существует. Это означает, что для любого высказывания \( A \), справедливо следующее утверждение:

\( A \lor \neg A = 1 \)

Где:

• \( A \) — высказывание
• \( \neg A \) — отрицание высказывания \( A \)
• \( \lor \) — логическая операция «ИЛИ» (дизъюнкция)
• \( 1 \) — истина (True)

Из предложенных вариантов, правильным является:

\( a \lor \overline{a} = 1 \)