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