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

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

Войти
Регистрация
Восстановить пароль
 
Never9006
0 / 0 / 0
Регистрация: 21.10.2015
Сообщений: 8
#1

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

18.03.2016, 20:26. Просмотров 301. Ответов 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) из посылки ∀x (\bar{A(x)}->\exists y(B(y)}). Проблема заключается...

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

построить граф отношения - Логика и множества
Помогите, плиз: Построить граф отношения «х – у ≤ 2» на множестве М = {1, 2, 3, 4, 5, 6}. Определить его свойства. (Для построенного...

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

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

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

3
Mysterious Light
Эксперт по математике/физике
3653 / 1784 / 245
Регистрация: 19.07.2009
Сообщений: 2,710
Записей в блоге: 19
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
1375 / 897 / 301
Регистрация: 01.09.2014
Сообщений: 2,159
20.03.2016, 21:34 #4
Понятие дедуктивного вывода сильно отличается в разных учебниках. При этом искать вывод в некоторых из этих исчислений достаточно муторно. Без знания аксиом и правил вывода, используемых в вашем курсе, помочь вам невозможно.
0
20.03.2016, 21:34
MoreAnswers
Эксперт
37091 / 29110 / 5898
Регистрация: 17.06.2006
Сообщений: 43,301
20.03.2016, 21:34
Привет! Вот еще темы с ответами:

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

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

Настройка вывода нуля вместо игнорирования вывода отсутствующих запросов - SQL Server
Доброго всем дня! Есть скрипт, который выводит дату, далее через пробел час суток и в другом столбце количество пользователей,...

Перегрузка оператора вывода в С++ (для вывода данных вектора) - C++
Как правильно перегрузить оператор вывода для вектора чтобы он выводил все данные из вектора ? Для этого класса есил можно помогите. ...


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

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

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