Форум программистов, компьютерный форум, киберфорум
Наши страницы
Мат. логика и множества
Войти
Регистрация
Восстановить пароль
 
Kaligulaa
5 / 6 / 2
Регистрация: 18.05.2015
Сообщений: 124
1

Исчисление предикатов Любимейший Мендельсон

11.03.2016, 00:18. Просмотров 128. Ответов 0
Метки нет (Все метки)

Терм http://www.cyberforum.ru/cgi-bin/latex.cgi?t называется свободным для переменной http://www.cyberforum.ru/cgi-bin/latex.cgi?{x}_{i} в формуле А, если никакое вхождение http://www.cyberforum.ru/cgi-bin/latex.cgi?{x}_{i} в А не лежит в области действия квантора http://www.cyberforum.ru/cgi-bin/latex.cgi?\forall {x}_{ j} где http://www.cyberforum.ru/cgi-bin/latex.cgi?{x}_{j} переменная входящая в t.
Приводится пример
Терм http://www.cyberforum.ru/cgi-bin/latex.cgi?{x}_{j} свободен для http://www.cyberforum.ru/cgi-bin/latex.cgi?{x}_{i} в http://www.cyberforum.ru/cgi-bin/latex.cgi?{{A}^{1}}_{1} ({x}_{i}) , но несвободен в http://www.cyberforum.ru/cgi-bin/latex.cgi?\forall {x}_{j} {{A}^{1}}_{1} ({x}_{i}) <br />
Вопрос: почему во втором случае так?
Ведь http://www.cyberforum.ru/cgi-bin/latex.cgi?{x}_{i} не входит в http://www.cyberforum.ru/cgi-bin/latex.cgi?\forall {x}_{j}
0
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
Similar
Эксперт
41792 / 34177 / 6122
Регистрация: 12.04.2006
Сообщений: 57,940
11.03.2016, 00:18
Ответы с готовыми решениями:

Исчисление высказываний. Мендельсон
Теорема: Единственными бинарными связками, каждой из которых можно построить любую истинностную...

Исчисление высказываний. Мендельсон. Ремейк темы
Еще раз здравствуйте, подобная тема уже появлялась в этой ветке. Хочу полностью переформулировать...

Исчисление предикатов методом резолюций
Здравствуйте, не могли бы пожалуйста подсказать как решается данный пример. Вот задание: Доказать,...

Исчисление предикатов. Записать утверждение
Всем привет! Есть такое утверждение: &quot;Если предел отношения двух бесконечно малых величин в...

Исчисление предикатов, свободный терм для переменной
DF: Терм t называется свободным для переменной {x}_{i} в формуле A, если никакое свободное...

0
MoreAnswers
Эксперт
37091 / 29110 / 5898
Регистрация: 17.06.2006
Сообщений: 43,301
11.03.2016, 00:18

Проверить истинность формулы логики предикатов. Формулы логики предикатов. Область истинности формулы
Помогите решить задания.Объясните как делать хотя бы первые 2.Или хотя бы укажите...

Исчисление высказываний
Нужно вывести формулу (A \Rightarrow B) \rightarrow ((A*C)\Rightarrow(B*C)) Есть люди которые...

исчисление высказываний
Помогите пожалуйста. Не разобрался на лекции. Доказать в исчислении высказывании a=&gt;a используя...


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

Или воспользуйтесь поиском по форуму:
1
Ответ Создать тему
Опции темы

КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin® Version 3.8.9
Copyright ©2000 - 2018, vBulletin Solutions, Inc.
Рейтинг@Mail.ru