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

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

11.03.2016, 00:18. Просмотров 124. Ответов 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}
http://www.cyberforum.ru/mathematical-logic-sets/thread1679660.html
0
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
Similar
Эксперт
41792 / 34177 / 6122
Регистрация: 12.04.2006
Сообщений: 57,940
11.03.2016, 00:18
Я подобрал для вас темы с готовыми решениями и ответами на вопрос Исчисление предикатов Любимейший Мендельсон (Логика и множества):

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

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

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

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

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

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

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

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

Исчисление высказываний
Пожалуйста, если кто может помогите, очень нужно к контрольной работе,а я...

Исчисление данного высказывания
Здравствуйте! Помогите в исчислением данного высказывания: (A -&gt; (A -&gt; (A...


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

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

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