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

Докажите, что в описанном ниже исчислении высказываний для любых формул F, G и H выводимы следующие формулы

09.12.2014, 11:33. Показов 2404. Ответов 1
Метки нет (Все метки)

Мне нужна помощь, как выполнить доказательство?
Подскажите кто чем может (по теме)....

Докажите, что в описанном ниже исчислении высказываний для любых формул F, G и H выводимы
следующие формулы.

1. (F ∨ G) → (G ∨ F);
2. ((F ∨ G) ∨ H) → (F ∨ (G ∨ H)).
3. ((F ∨ G) → H) → ((F → H) ∧ (G → H)).
4. ((F → H) ∧ (G → H)) → ((F ∨ G) → H).
5. (F → G) → ((G → H) → (F → H)).
6. ((F ∧ H) ∨ (G ∧ H)) → ((F ∨ G) ∧ H).
7. ((F ∨ G) ∧ H) → ((F ∧ H) ∨ (G ∧ H)).
8. ¬¬F → F.
9. (¬G → ¬F) → (F → G).

Добавлено через 1 час 17 минут
Откликнитесь!
0
Programming
Эксперт
94731 / 64177 / 26122
Регистрация: 12.04.2006
Сообщений: 116,782
09.12.2014, 11:33
Ответы с готовыми решениями:

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

Как доказывать, что из одной формулы выводится другая в исчислении высказываний?
Как доказывать, что из одной формулы выводится другая в исчислении высказываний? Желательно,...

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

Докажите,что следующие формулы являются тавтологиями
(X=>y) => ((y=>z)=>(x=>z)) (X"=>y")=>(y=>x)

1
1 / 1 / 0
Регистрация: 26.01.2014
Сообщений: 213
17.12.2014, 09:57  [ТС] 2
Пожалуйста, будьте добры, помогите с заданием!!!
0
IT_Exp
Эксперт
87844 / 49110 / 22898
Регистрация: 17.06.2006
Сообщений: 92,604
17.12.2014, 09:57
Помогаю со студенческими работами здесь

Как доказать выводимость формул в исчислении высказываний?
Как доказать выводимость формул в исчислении высказываний?

Доказать выводимость формул в исчислении высказываний с использованием аксиом №2
1) G\rightarrow (G\rightarrow (E\rightarrow G)) 2) G\rightarrow (E\rightarrow (G\rightarrow E))

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

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


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

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

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