Форум программистов, компьютерный форум, киберфорум
Наши страницы
Мат. логика и множества
Войти
Регистрация
Восстановить пароль
 
Never9006
0 / 0 / 0
Регистрация: 21.10.2015
Сообщений: 8
1

Граф дедуктивного вывода

18.03.2016, 20:26. Просмотров 362. Ответов 3
Метки нет (Все метки)

Необходимо построить граф дедуктивного вывода для формулы:

(A&B∨C&D); (A->¬A) |-C

Я совсем без идей, как раскрутить это, да и еще придти к единственной С.
Может помочь кто-либо?
0
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
Similar
Эксперт
41792 / 34177 / 6122
Регистрация: 12.04.2006
Сообщений: 57,940
18.03.2016, 20:26
Ответы с готовыми решениями:

Метод дедуктивного вывода
С помощью метода дедуктивного вывода вывести заключение \bar{B(y)}->A(x) из...

Построить граф
нарисуйте граф с 6 вершинами у которого 2 вершины имеют одинаковую степень и...

построить граф отношения
Помогите, плиз: Построить граф отношения «х – у ≤ 2» на множестве М = {1, 2,...

Как преобразовать неориентированный граф в ориентированный граф из матричной записи
Есть ли какой нибудь алгоритм преобразования Неориентированный графа в...

Граф задан цепными списками. Построить его реберный граф
Дорогие форумчане, прошу помочь с написанием данной программы: Граф задан с...

3
Mysterious Light
Эксперт по математике/физике
3968 / 1939 / 391
Регистрация: 19.07.2009
Сообщений: 2,969
Записей в блоге: 21
18.03.2016, 21:21 2
Подсказка: суждение http://www.cyberforum.ru/cgi-bin/latex.cgi?A\to\neg A в классической логике эквивалентно http://www.cyberforum.ru/cgi-bin/latex.cgi?\neg A.
Если Вам удастся это показать, то далее сделаете вывод, что http://www.cyberforum.ru/cgi-bin/latex.cgi?AB\vee CD, \neg A\vdash CD, а дальше очевидно.
0
Never9006
0 / 0 / 0
Регистрация: 21.10.2015
Сообщений: 8
20.03.2016, 17:00  [ТС] 3
Видимо, я не знаю о некоторых функциях. Пытался преобразовать в импликации, но не вышло.
Если Вам не сложно, напишите, пожалуйста, полный вывод, а то мои изыскания ни к чему правильному не привели.
0
3D Homer
1693 / 1123 / 375
Регистрация: 01.09.2014
Сообщений: 2,793
20.03.2016, 21:34 4
Понятие дедуктивного вывода сильно отличается в разных учебниках. При этом искать вывод в некоторых из этих исчислений достаточно муторно. Без знания аксиом и правил вывода, используемых в вашем курсе, помочь вам невозможно.
0
MoreAnswers
Эксперт
37091 / 29110 / 5898
Регистрация: 17.06.2006
Сообщений: 43,301
20.03.2016, 21:34

Ориентированный граф задан матрицей смежности. Нарисовать граф с наименьшим количеством пересечений
Ориентированный граф задан матрицей смежности. Нарисовать граф с наименьшим...

Дан список, содержащий смешанный граф. Выбрать из него однонаправленные ветви и занести в результирующий граф
Помогите, пожалуйста решить эту зайку. Очень прошу...

Считать граф из файла (граф задан матрицей) представить его в виде списка и записать список заново в файл
помогите очень срочно надо. считать граф из файла (граф задан матрицей)...


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

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

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