Логика закон исключения третьего Катющик