Прямой закон пример Закон исключенного третьего в логике примеры