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

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

29.11.2012, 18:33. Показов 2217. Ответов 1
Метки нет (Все метки)

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


Извините за качество фото)
Миниатюры
Используя теорему дедукции,схемы аксиом ,доказать что данная формула есть теоремой  
__________________
Помощь в написании контрольных, курсовых и дипломных работ, диссертаций здесь
0
Programming
Эксперт
94731 / 64177 / 26122
Регистрация: 12.04.2006
Сообщений: 116,782
29.11.2012, 18:33
Ответы с готовыми решениями:

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

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

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

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

1
0 / 0 / 0
Регистрация: 04.10.2012
Сообщений: 44
29.11.2012, 23:26  [ТС] 2
Ну пожалуйста)

Добавлено через 1 час 9 минут
ауууууу
0
IT_Exp
Эксперт
87844 / 49110 / 22898
Регистрация: 17.06.2006
Сообщений: 92,604
29.11.2012, 23:26
Помогаю со студенческими работами здесь

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

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

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

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


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

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

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