Форум программистов, компьютерный форум, киберфорум
Мат. логика и множества
Войти
Регистрация
Восстановить пароль
Карта форума Темы раздела Блоги Сообщество Поиск Заказать работу  
 
Рейтинг 4.75/4: Рейтинг темы: голосов - 4, средняя оценка - 4.75
0 / 0 / 0
Регистрация: 26.06.2014
Сообщений: 35
1

Доказать равносильность

23.04.2015, 19:20. Показов 671. Ответов 3
Метки нет (Все метки)

Author24 — интернет-сервис помощи студентам
4. Доказать равносильность https://www.cyberforum.ru/cgi-bin/latex.cgi?c\rightarrow\forall x B(x)\equiv\forall x[c\rightarrow B(x)] методом конкретизации.
0
Programming
Эксперт
94731 / 64177 / 26122
Регистрация: 12.04.2006
Сообщений: 116,782
23.04.2015, 19:20
Ответы с готовыми решениями:

Доказать равносильность
Спасибо, Вы круты =) Если не составит труда, сделать еще несколько штук буду очень благодарен. ...

Доказать равносильность
Здравствуйте, помогите пожалуйста! Доказать равносильность. Правила форума, пункт 5.5. Запрещено...

Доказать равносильность
Помогите сделать ДЗ:

доказать равносильность
((А and B)<->(not C)) и ((A and (not B))<->C) чот долго сижу не получается помогите пожалуйста

3
1891 / 1472 / 173
Регистрация: 16.06.2012
Сообщений: 3,342
24.04.2015, 20:50 2
Щьто такое "метод конкретизации"?
0
0 / 0 / 0
Регистрация: 26.06.2014
Сообщений: 35
26.04.2015, 10:33  [ТС] 3
не знаю.
0
mFedor
26.04.2015, 14:40     Доказать равносильность
  #4

Не по теме:

Цитата Сообщение от Ellipsoid Посмотреть сообщение
метод конкретизации
Залез в первоисточник. Нет такого!

0
IT_Exp
Эксперт
87844 / 49110 / 22898
Регистрация: 17.06.2006
Сообщений: 92,604
26.04.2015, 14:40

Доказать равносильность
Доказать равносильность между А и B с помощью основных равносильностей: 1) A=(x\rightarrow...

Доказать равносильность.
Ребята, помогите доказать равносильность, никак не могу понять. Надо уже на завтра. Заранее...

Доказать равносильность
Добрый день! Как доказать равносильность формул ∃(F(x)^G(x)) и ∃F(x)^∃G(x)?

Доказать равносильность
Доказать равносильность A<=>B~(A>B)^(B>A)


Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
4
Ответ Создать тему
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2024, CyberForum.ru