0 / 0 / 0
Регистрация: 08.11.2015
Сообщений: 4
1

Построение дерева доказательства

08.11.2015, 10:40. Показов 3056. Ответов 5
Метки нет (Все метки)

Author24 — интернет-сервис помощи студентам
Помогите, пожалуйста, построить дерево доказательств для следующих формул:
  1. https://www.cyberforum.ru/cgi-bin/latex.cgi?A & B \rightarrow C \vdash A \rightarrow  \left(B \rightarrow C \right)
  2. https://www.cyberforum.ru/cgi-bin/latex.cgi?{A\rightarrow B; C\rightarrow B; D\rightarrow \left(A\vee C \right); D} \vdash A\vee C
Просмотрел все правила вывода, а так и не нашел нужной формулы, не знаю, с чего начать
0
Programming
Эксперт
94731 / 64177 / 26122
Регистрация: 12.04.2006
Сообщений: 116,782
08.11.2015, 10:40
Ответы с готовыми решениями:

Построение дерева - нужно вывести формулу хождения по веткам
Я не знаю в какой раздел написать эту задачку, так как она вообще из раздела программирования...

Операции над бинарными деревьями: построение дерева, обход дерева, вставка и удаление элемента дерева
Пожалуйста кто сможет, помогите составить программу: Организация по трудоустройству населения...

Построение бинарного дерева. Обход дерева
Построить дерево поиска с элементами – числами. С использованием операций Locate и DeleteLeft найти...

Построение дерева и процедура обхода дерева
написать программу использующую процедуру построения дерева и процедуру обхода дерева

5
Ушел с форума
Автор FAQ
16262 / 7587 / 1061
Регистрация: 11.11.2010
Сообщений: 13,609
09.11.2015, 02:33 2
https://www.cyberforum.ru/cgi-bin/latex.cgi?A\cdot B\to C=\bar{A\cdot B}+C=(\bar{A}+\bar{B})+C=A\to(B\to C)
0
0 / 0 / 0
Регистрация: 08.11.2015
Сообщений: 4
09.11.2015, 12:51  [ТС] 3
Цитата Сообщение от Mikl___ Посмотреть сообщение
https://www.cyberforum.ru/cgi-bin/latex.cgi?A\cdot B\to C=\bar{A\cdot B}+C=(\bar{A}+\bar{B})+C=A\to(B\to C)
В дереве доказательств нельзя использовать эквивалентные преобразования.
0
Эксперт по математике/физике
4909 / 3532 / 1142
Регистрация: 01.09.2014
Сообщений: 9,606
09.11.2015, 20:55 4
Правила вывода в студию.
1
Ушел с форума
Автор FAQ
16262 / 7587 / 1061
Регистрация: 11.11.2010
Сообщений: 13,609
10.11.2015, 11:35 5
DragonBorn57,
главное, что бы ты понял идею, а чем пользоваться -- это уже твоя, а не моя проблема
0
0 / 0 / 0
Регистрация: 08.11.2015
Сообщений: 4
10.11.2015, 21:08  [ТС] 6
Вот такие правила вывода даны в методичке:
Вложения
Тип файла: docx Logic rules.docx (42.3 Кб, 57 просмотров)
0
10.11.2015, 21:08
IT_Exp
Эксперт
87844 / 49110 / 22898
Регистрация: 17.06.2006
Сообщений: 92,604
10.11.2015, 21:08
Помогаю со студенческими работами здесь

Опросник. Создание дерева зависимостей в treeView, сохранение дерева в XML, построение дерева в treeView из XML
Всем доброго времени суток. Тема является продолжением вот этой темы. Создаю 2ю, так как там...

Построение дерева по БД
У меня есть база, в которой хранятся пути к файлам определённого каталога: \test...

Построение В*-дерева
Задание: Построение B* дерева, добавление вершин и балансировка в случае необходимости. подскажите...

построение дерева
Здравствуйте! Начала разбираться с алгоритмом Хаффмана для сжатия сообщения здесь...


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

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

КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2024, CyberForum.ru