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

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

16.05.2019, 22:29. Показов 1506. Ответов 1
Метки нет (Все метки)

Доброго времени суток, уважаемые форумчане! Есть данный пример. Подскажите алгоритм и суть выполнения задания, книги не особо мне помогли. Заранее благодарен!
Изображения
 
__________________
Помощь в написании контрольных, курсовых и дипломных работ, диссертаций здесь
0
Лучшие ответы (1)
Programming
Эксперт
94731 / 64177 / 26122
Регистрация: 12.04.2006
Сообщений: 116,782
16.05.2019, 22:29
Ответы с готовыми решениями:

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

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

Алгебра логики. Доказать, что формула является теоремой ИВ
Помогите пожалуйста. Не могу справится с задачей. Доказать, что формула является теоремой ИВ: F >...

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

1
Эксперт по математике/физике
4428 / 3228 / 1042
Регистрация: 01.09.2014
Сообщений: 8,986
16.05.2019, 22:51 2
Лучший ответ Сообщение было отмечено TR0073N как решение

Решение

Выведите https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{F}\to\bar{F}. Это описывается в любом учебнике, где есть система исчисление Гильберта (много аксиом плюс Модус Поненс).

B -> (A -> B) — это аксиома 1. Она позволяет вывести A -> B для любой выводимой формулы B. То есть можно добавить несущественную посылку. Это позволяет вывести https://www.cyberforum.ru/cgi-bin/latex.cgi?F\to(\bar{F}\to\bar{F}).

Если дана https://www.cyberforum.ru/cgi-bin/latex.cgi?(F\to(\bar{F}\to\bar{F}))\to F, то используя предыдущую формулу выводим F. Далее применяем теорему о дедукции к посылке https://www.cyberforum.ru/cgi-bin/latex.cgi?(F\to(\bar{F}\to\bar{F}))\to F.
1
IT_Exp
Эксперт
87844 / 49110 / 22898
Регистрация: 17.06.2006
Сообщений: 92,604
16.05.2019, 22:51
Помогаю со студенческими работами здесь

Доказать,что формула является теоремой формализованного исчисления высказываний
Доказать,используя при необходимости теорему дедукции и производные правила вывода(modus poneus),...

Докажите, что во всяком исчислении высказывания данная формула будет теоремой
Докажите, что во всяком исчислении высказывания, в котором правилом вывода является правило МР и в...

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

Используя равносильные преобразования, доказать, что формула является тавтологией
F(X, Y, Z) =((Z->X) ^ (Z->Y)) - >(Z->(X^Y)) ПОМОГИТЕ ПОЖАЛУЙСТА


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

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

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