Главная Вход в систему Регистрация
Задать вопрос Консультации Пользователи Форум
О системе Помощь
Задать вопрос экспертам
Консультация № 187182
21.02.2013, 22:52
350.00 руб.
22.02.2013, 00:03
0 3 1
Образование
Здравствуйте! У меня возникли сложности с таким вопросом:

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))

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

Обсуждение

давно
Гордиенко Андрей Владимирович
Мастер-Эксперт
17387
18345
22.02.2013, 00:04
общий
Здравствуйте! Обратите, пожалуйста, внимание на эту консультацию.
Об авторе:
Facta loquuntur.
давно
Коцюрбенко Алексей Владимирович
Старший Модератор
312929
1973
22.02.2013, 08:08
общий
это ответ
Здравствуйте, Иван Васильевич Митяев!

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


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


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

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








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

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








Истинны формулы 5 и 7.
Неизвестный
23.02.2013, 13:14
общий
Адресаты:
Спасибо
Форма ответа