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

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

Подписаться Бесплатная «Серебряная» новостная рассылка . Подписчиков 106 RSS
←   Февраль 2013   →
 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


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


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

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

Статистика

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

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


Хостинг портала RFpro.ru:
Московский хостер
Профессиональный ХОСТИНГ на базе Linux x64 и Windows x64

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

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

Асмик Гаряка
Статус: Советник
Рейтинг: 11017
∙ повысить рейтинг » 		Коцюрбенко Алексей aka Жерар
Статус: Советник
Рейтинг: 4039
∙ повысить рейтинг » 		CradleA
Статус: Бакалавр
Рейтинг: 2076
∙ повысить рейтинг »

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

Номер выпуска:309
Дата выхода:25.02.2013, 22:30
Администратор рассылки:Асмик Гаряка (Советник)
Подписчиков / экспертов:28 / 31
Вопросов / ответов:1 / 1

Консультация # 187182: Здравствуйте! У меня возникли сложности с таким вопросом: 1. Найдите значения истинности формул, если B(x)=" x принадлежит I" и C(x)=" x принадлежит J". 1) (Au)(B(u) -> C(u)) ~ (-Eu)(B(u)&-C(u)) 2) (-Ax)(-B(x) -> C(x)) ~ (-Ex)(-B(x)&-C(x)) 3) (-Ap)(B(p) -> C(p)) ~ (Ep)(B(p)&C(p)) 4) (-As)(-B(s) -> ...

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

Здравствуйте! У меня возникли сложности с таким вопросом:

1. Найдите значения истинности формул, если B(x)=" x принадлежит I" и C(x)=" x принадлежит J".
1) (Au)(B(u) -> C(u)) ~ (-Eu)(B(u)&-C(u))
2) (-Ax)(-B(x) -> C(x)) ~ (-Ex)(-B(x)&-C(x))
3) (-Ap)(B(p) -> C(p)) ~ (Ep)(B(p)&C(p))
4) (-As)(-B(s) -> -C(s)) ~ (-Es)(-B(s)&C(s))
5) (Av)(B(v) -> -C(v)) ~ (-Ev)(B(v)&C(v))
6) (-Ay)(-B(y) -> -C(y)) ~ (-Ey)(B(y)&-C(y))
7) (Aq)(B(q) -> C(q)) ~ (Eq)(B(q)&-C(q))
8) (At)(-B(t) -> C(t)) ~ (-Et)(B(t)&-C(t))

2. Найдите значения истинности формул, если G(x)=" x принадлежит M" и C(x)=" x принадлежит J".
1) (Au)(-G(u) -> -C(u)) ~ (Eu)(-G(u)&C(u))
2) (-Ax)(G(x) -> -C(x)) ~ (-Ex)(G(x)&C(x))
3) (-Ap)(-G(p) -> -C(p)) ~ (Ep)(-G(p)&-C(p))
4) (-As)(G(s) -> C(s)) ~ (-Es)(G(s)&-C(s))
5) (Av)(-G(v) -> -C(v)) ~ (-Ev)(-G(v)&C(v))
6) (-Ay)(G(y) -> C(y)) ~ (-Ey)(-G(y) &C(y))
7) (Aq)(-G(q) -> C(q)) ~ (-Eq)(-G(q)&-C(q))
8) (At)(G(t) -> -C(t)) ~ (-Et)(-G(t)&C(t))

помогите пожалуйста очень срочно smile

Дата отправки: 21.02.2013, 22:52
Вопрос задал: Иван Васильевич Митяев (Посетитель)
Всего ответов: 1
Страница онлайн-консультации »

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

Здравствуйте, Иван Васильевич Митяев!

Воспользуемся правилом отрицания кванторов:


где P(x) - некоторый предикат. Также используем свойства импликации:


где P, Q - предикаты. Применим их к данным формулам:

1. Для B(x) и C(x) имеем:








Истинны формулы 1 и 5.

2. Для G(x) и C(x) имеем:








Истинны формулы 5 и 7.

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

НЕ одобряю 0 одобряю!

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

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

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

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