Пример исключенного третьего Закон исключённого третьего