1 / 1 / 2
Регистрация: 07.06.2016
Сообщений: 82
1

Постройте данный вывод и результирующий вывод, применяя теорему дедукции

25.10.2016, 14:06. Показов 822. Ответов 2
Метки нет (Все метки)

Помогите пожалуйста
(A⊃C)⊃C, A⊃B, B⊃C ├ C
__________________
Помощь в написании контрольных, курсовых и дипломных работ, диссертаций здесь
0
Programming
Эксперт
94731 / 64177 / 26122
Регистрация: 12.04.2006
Сообщений: 116,782
25.10.2016, 14:06
Ответы с готовыми решениями:

Используя теорему о дедукции, докажите, что справедливы следующие выводимости
Используя теорему о дедукции,докажите ,что справедливы следующие выводимости (при этом обоснование...

Использовав теорему дедукции и основные аксиомы формального исчисления доказать формулу
Здравствуйте, как можно использовав теорему дедукции и основные аксиомы формального исчисления...

Доказать, построив вывод. (Возможно применение дедукции)
|-(A->B)->((B->b)->((b->D)->(A->D)))

Используя теорему дедукции,схемы аксиом ,доказать что данная формула есть теоремой
Используя теорему дедукции,схемы аксиом ,доказать что данная формула есть теоремой. Я вот...

2
Эксперт по математике/физике
4291 / 3116 / 1007
Регистрация: 01.09.2014
Сообщений: 8,726
26.10.2016, 19:10 2
Сначала нужно построить вывод A |- C, затем применить теорему о дедукции, чтобы получить вывод |- A -> C. Затем по MP вывести C.

Насколько я понимаю, в задаче требуется дальше построить явный вывод без теоремы о дедукции. Я бы рекомендовал прочитать и понять доказательство теоремы о дедукции (см., например, Верещагин, Шень, Лекции по мат. логике и теории алгоритмов, часть II, на сайте МЦНМО). Она выглядит непросто на первый взгляд, но на самом деле там все логично. Доказательство конструктивное и перестраивает вывод https://www.cyberforum.ru/cgi-bin/latex.cgi?\Gamma, A\vdash B в вывод https://www.cyberforum.ru/cgi-bin/latex.cgi?\Gamma|-A\to B. В данном случае вывод A |- C состоит всего из двух правил MP, поэтому применить процедуру, описанную в теореме, вполне реально. Сообщите, если нужна дополнительная информация.
0
1 / 1 / 2
Регистрация: 07.06.2016
Сообщений: 82
27.10.2016, 15:25  [ТС] 3
Хорошо,спасибо.На выходных сяду разбираться,если что отпишу
0
IT_Exp
Эксперт
87844 / 49110 / 22898
Регистрация: 17.06.2006
Сообщений: 92,604
27.10.2016, 15:25
Помогаю со студенческими работами здесь

Доказать формулу, построив вывод, без использования теоремы дедукции
Помогите доказать формулу вообще не применяя ни теорему дедукции, ни теорему обратную теореме...

Используя мета теорему дедукции, схемы аксиом, доказать, что данная формула является теоремой
Доброго времени суток, уважаемые форумчане! Есть данный пример. Подскажите алгоритм и суть...

Вычислить интеграл, применяя теорему о вычетах
\oint_{\left|z-1 \right|=\sqrt{3}}^{}\frac{\cos(z)dz}{\left({z}^{3}-z \right)\left(z+i \right)}

Запись файлов с использованием потоков. Вывод в результирующий файл
Необходимо создать 9 файлов (1.txt, 2.txt и т.д.) В каждом файле будет символ, соответствующий ...


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

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

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