Отправляет email-рассылки с помощью сервиса Sendsay

RFpro.ru: Консультации по дискретной математике

Подписаться Бесплатная «Серебряная» новостная рассылка . Подписчиков 106 RSS
←   Декабрь 2015   →
 1
 2
02.12.2015
13:18:08
20:23:08
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31


За последние 60 дней ни разу не выходила


Сайт рассылки: http://rusfaq.ru/issues/8/19/525
Открыта: 17-04-2009

Автор
Калашников О.А.

Статистика

106 подписчиков
0 за неделю
←   Все выпуски   →

RFpro.ru: Консультации по дискретной математике


РАССЫЛКИ ПОРТАЛА RFPRO.RU

Лучшие эксперты по данной тематике

Асмик Гаряка
Статус: Советник
Рейтинг: 11104
∙ повысить рейтинг » 		Коцюрбенко Алексей aka Жерар
Статус: Советник
Рейтинг: 4758
∙ повысить рейтинг » 		SFResid
Статус: Мастер-Эксперт
Рейтинг: 4635
∙ повысить рейтинг »

/ НАУКА И ОБРАЗОВАНИЕ / Точные и естественные науки / Математика дискретная

Номер выпуска:337
Дата выхода:02.12.2015, 20:21
Администратор рассылки:Асмик Гаряка (Советник)
Подписчиков / экспертов:10 / 14
Вопросов / ответов:1 / 1

Консультация # 188261: Здравствуйте! У меня возникли сложности с таким вопросом: Установить, является ли данное выражение формулой, а если да, то определить, какие переменные в ней свободные, а какие связанные: ∀x(∃y(¬A(x,y) ∧ B(y, z)))....

Консультация # 188261:

Здравствуйте! У меня возникли сложности с таким вопросом:
Установить, является ли данное выражение формулой, а если
да, то определить, какие переменные в ней свободные, а какие
связанные:
∀x(∃y(¬A(x,y) ∧ B(y, z))).

Дата отправки: 28.11.2015, 19:49
Вопрос задал: anka.gorelkina (Посетитель)
Всего ответов: 1
Страница онлайн-консультации »

Консультирует Коцюрбенко Алексей aka Жерар (Советник):

Здравствуйте, anka.gorelkina!

1. A и B - двухместные предикаты, а x, y, z - предметные переменные, поэтому A(x,y) и B(y,z) - формулы, причем все переменные в них - свободные.

2. Так как A(x,y) - формула со свободными переменными x и y, то ¬A(x,y) - формула с теми же свободными переменными.

3. Так как ¬A(x,y) и B(y,z) - формулы, и общая для них переменная y не является связанной ни в одной из них, то ¬A(x,y) ∧ B(y,z) является формулой, и все переменные в ней - свободные.

4. Так как ¬A(x,y) ∧ B(y,z) - формула, в которую переменная y входит свободно, то ∃y(¬A(x,y) ∧ B(y,z)) является формулой, причём переменная y входит в неё связанно, а остальные - свободно.

5. Так как ∃y(¬A(x,y) ∧ B(y,z)) - формула, в которую переменная x входит свободно, то ∀x( 707;y(¬A(x,y) ∧ B(y,z))) является формулой, причём переменные x и y входит в неё связанно.

Итак, данное выражение является формулой, причём переменные x и y в ней связанные, а переменная z - свободная.

Консультировал: Коцюрбенко Алексей aka Жерар (Советник)
Дата отправки: 30.11.2015, 06:26
Рейтинг ответа:

НЕ одобряю +1 одобряю!

Оценить выпуск | Задать вопрос экспертам

главная страница  |  стать участником  |  получить консультацию
техническая поддержка  |  восстановить логин/пароль

Дорогой читатель!
Команда портала RFPRO.RU благодарит Вас за то, что Вы пользуетесь нашими услугами. Вы только что прочли очередной выпуск рассылки. Мы старались. Пожалуйста, оцените его. Если совет помог Вам, если Вам понравился ответ, Вы можете поблагодарить автора - для этого в каждом ответе есть специальные ссылки. Вы можете оставить отзыв о работе портале. Нам очень важно знать Ваше мнение. Вы можете поближе познакомиться с жизнью портала, посетив наш форум, почитав журнал, который издают наши эксперты. Если у Вас есть желание помочь людям, поделиться своими знаниями, Вы можете зарегистрироваться экспертом. Заходите - у нас интересно!
МЫ РАБОТАЕМ ДЛЯ ВАС!
В избранное