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

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

Подписаться Бесплатная «Серебряная» новостная рассылка . Подписчиков 106 RSS
←   Октябрь 2009   →
 1
 2
 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:
Московский хостер
Профессиональный платный хостинг на базе Windows 2008

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

Чемпионы рейтинга экспертов в этой рассылке

Гордиенко Андрей Владимирович
Статус: Профессионал
Рейтинг: 2930
∙ повысить рейтинг » 		_Ayl_
Статус: Студент
Рейтинг: 1364
∙ повысить рейтинг » 		Яна
Статус: Бакалавр
Рейтинг: 1127
∙ повысить рейтинг »

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

Номер выпуска:140
Дата выхода:16.10.2009, 19:30
Администратор рассылки:Alexey G. Gladenyuk, Управляющий
Подписчиков / экспертов:106 / 40
Вопросов / ответов:3 / 3

Вопрос № 173179: Приветствую, Вас эксперты! Установить, является ли данное выражение формулой, а если да, то определить, какие переменные в ней свободные, а какие связанные. ∀x(∃y(А(х)→B(y,z))...

Вопрос № 173180: Доброго времени суток! Данное суждение записать в виде формулы предикатов. Построить отрицание данного суждения в виде формулы, не содержащих внешних знаков отрицания. Перевести на естественный язык. "Некоторые пассажиры не платят за про...
Вопрос № 173182: Прошу срочной помощи Ув. эксперты! Установить правильность рассуждения, построив вывод исчисления предикатов. Все спортсмены имеют хорошее здоровье. У Федора плохое здоровье. Следовательно, Федор – не спортсмен....
Вопрос № 173179:

Приветствую, Вас эксперты!
Установить, является ли данное выражение формулой, а если да, то определить, какие переменные в ней свободные, а какие связанные.
∀x(∃y(А(х)→B(y,z))

Отправлен: 11.10.2009, 19:09
Вопрос задал: Dflame, Посетитель
Всего ответов: 1
Страница вопроса »

Отвечает Гордиенко Андрей Владимирович, Профессионал :
Здравствуйте, Dflame.

Данное выражение составлено из переменных предикатов A(x) и B(y, z) с помощью логической операции следования и кванторов общности и существования. Это выражение обращается в конкретный предикат при подстановке вместо переменных конкретных предикатов. Следовательно, данное выражение является формулой логики предикатов.

Переменные x и y, указанные при кванторах, являются связанными. Переменная z является свободной.

С уважением.


-----
Пусть говорят дела

Ответ отправил: Гордиенко Андрей Владимирович, Профессионал
Ответ отправлен: 12.10.2009, 19:16

Оценка ответа: 5

Как сказать этому эксперту "спасибо"?
  • Отправить SMS #thank 255347 на номер 1151 (Россия) | Еще номера »
  • Отправить WebMoney:
    • Вам помогли? Пожалуйста, поблагодарите эксперта за это!

    Вопрос № 173180:

    Доброго времени суток!
    Данное суждение записать в виде формулы предикатов. Построить отрицание данного суждения в виде формулы, не содержащих внешних знаков отрицания. Перевести на естественный язык.
    "Некоторые пассажиры не платят за проезд"

    Отправлен: 11.10.2009, 19:12
    Вопрос задал: Dflame, Посетитель
    Всего ответов: 1
    Страница вопроса »

    Отвечает Гордиенко Андрей Владимирович, Профессионал :
    Здравствуйте, Dflame.

    Пусть на множестве всех пассажиров задан предикат P(x): «пассажир x платит за проезд». Тогда заданное суждение означает, что существует хотя бы один пассажир, который не платит за проезд. В виде формулы логики предикатов это суждение запишется так:
    (∃x)¬P(x),
    а отрицание данного суждения – так:
    ¬((∃x)¬P(x)).
    Перенося квантор существования через отрицание, в соответствии с правилами перехода от одних формул к им равносильным, получим искомую форму записи:
    (∀x)P(x),
    что означает «все пассажиры платят за проезд».

    С уважением.
    -----
    Пусть говорят дела

    Ответ отправил: Гордиенко Андрей Владимирович, Профессионал
    Ответ отправлен: 12.10.2009, 19:19

    Как сказать этому эксперту "спасибо"?
  • Отправить SMS #thank 255348 на номер 1151 (Россия) | Еще номера »
  • Отправить WebMoney:
    • Вам помогли? Пожалуйста, поблагодарите эксперта за это!

    Вопрос № 173182:

    Прошу срочной помощи Ув. эксперты!
    Установить правильность рассуждения, построив вывод исчисления предикатов.
    Все спортсмены имеют хорошее здоровье. У Федора плохое здоровье. Следовательно, Федор – не спортсмен.

    Отправлен: 11.10.2009, 19:14
    Вопрос задал: Dflame, Посетитель
    Всего ответов: 1
    Страница вопроса »

    Отвечает Гордиенко Андрей Владимирович, Профессионал :
    Здравствуйте, Dflame.

    Обозначим предикаты следующим образом: P(x): «x – спортсмен», Q(x): «x имеет хорошее здоровье». Тогда данное рассуждение основано на такой логической схеме:
    (∀x)(P(x) → Q(x)), ¬P(a) ╞ ¬Q(a).

    Действительно,
    (∀x)(P(x) → Q(x)) ≡
    ≡ ¬((∃x)¬(P(x) → Q(x)) ≡
    ≡ ¬((∃x)¬(¬P(x) v Q(x)) ≡
    ≡ ¬((∃x)¬(Q(x) v ¬P(x)) ≡
    ≡ ¬((∃x)¬(¬Q(x) → ¬P(x)) ≡
    ≡ (∀x)(¬Q(x) → ¬P(x)),
    откуда следует правильность рассуждения.

    С уважением.
    -----
    Пусть говорят дела

    Ответ отправил: Гордиенко Андрей Владимирович, Профессионал
    Ответ отправлен: 12.10.2009, 21:26

    Как сказать этому эксперту "спасибо"?
  • Отправить SMS #thank 255353 на номер 1151 (Россия) | Еще номера »
  • Отправить WebMoney:
    • Вам помогли? Пожалуйста, поблагодарите эксперта за это!

    Оценить выпуск »
    Нам очень важно Ваше мнение об этом выпуске рассылки!

    Задать вопрос экспертам этой рассылки »

    Скажите "спасибо" эксперту, который помог Вам!

    Отправьте СМС-сообщение с тестом #thank НОМЕР_ОТВЕТА
    на короткий номер 1151 (Россия)
    Номер ответа и конкретный текст СМС указан внизу каждого ответа.

    Полный список номеров »

    * Стоимость одного СМС-сообщения от 7.15 руб. и зависит от оператора сотовой связи. (полный список тарифов)
    ** При ошибочном вводе номера ответа или текста #thank услуга считается оказанной, денежные средства не возвращаются.
    *** Сумма выплаты эксперту-автору ответа расчитывается из суммы перечислений на портал от биллинговой компании.

    © 2001-2009, Портал RFpro.ru, Россия
    Авторское право: ООО "Мастер-Эксперт Про"
    Автор: Калашников О.А. | Программирование: Гладенюк А.Г.
    Хостинг: Компания "Московский хостер"
    Версия системы: 2009.6.9 от 25.09.2009
    В избранное