Здравствуйте. В выражении необходимо переименовать связанные переменные. Как это правильно сделать? Формула

После очевидного преобразования получаем:

Вторая

А как быть дальше? Из-за дизъюнкции внести квантор в скобки не получается. Или я не прав?

задан 28 Апр '15 20:07

изменен 28 Апр '15 20:08

Тут не надо ничего преобразовывать. Надо просто переменную $%x$% заменить на какую-то другую -- например, на $%t$%. Получится $%(\forall t)(A(x,t)\sim B(t))$%. Так иногда полезно делать, чтобы высвободить символ, который нужен для чего-то другого.

(28 Апр '15 20:11) falcao

Все, понял. Спасибо.

(28 Апр '15 20:14) Dasister
10|600 символов нужно символов осталось
Знаете, кто может ответить? Поделитесь вопросом в Twitter или ВКонтакте.

Ваш ответ

Если вы не нашли ответ, задайте вопрос.

Здравствуйте

Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.

Присоединяйтесь!

отмечен:

×565
×47

задан
28 Апр '15 20:07

показан
177 раз

обновлен
28 Апр '15 20:14

Отслеживать вопрос

по почте:

Зарегистрировавшись, вы сможете подписаться на любые обновления

по RSS:

Ответы

Ответы и Комментарии

Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Рейтинг@Mail.ru