Форум программистов, компьютерный форум, киберфорум
Наши страницы

Мат. логика и множества

Войти
Регистрация
Восстановить пароль
 
Kaligulaa
4 / 4 / 1
Регистрация: 18.05.2015
Сообщений: 118
#1

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

11.03.2016, 00:18. Просмотров 107. Ответов 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;Если предел отношения двух бесконечно малых величин в окрестности точки x_0 равен единице, то такие...

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

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

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

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

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

Исчисление высказываний - Логика и множества
Пожалуйста, если кто может помогите, очень нужно к контрольной работе,а я ничего в этом предмете не понимаю. Доказать выводимость:

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

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


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

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

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