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

Граф дедуктивного вывода - Логика и множества

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

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

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

Я совсем без идей, как раскрутить это, да и еще придти к единственной С.
Может помочь кто-либо?
http://www.cyberforum.ru/mathematical-logic-sets/thread1013731.html
0
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
Similar
Эксперт
41792 / 34177 / 6122
Регистрация: 12.04.2006
Сообщений: 57,940
18.03.2016, 20:26
Я подобрал для вас темы с готовыми решениями и ответами на вопрос Граф дедуктивного вывода (Логика и множества):

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

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

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

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

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

3
Mysterious Light
Эксперт по математике/физике
3927 / 1906 / 379
Регистрация: 19.07.2009
Сообщений: 2,915
Записей в блоге: 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
1643 / 1079 / 361
Регистрация: 01.09.2014
Сообщений: 2,703
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