Форум программистов, компьютерный форум, киберфорум
Мат. логика и множества
Войти
Регистрация
Восстановить пароль
Карта форума Темы раздела Блоги Сообщество Поиск Заказать работу  
 
Рейтинг 5.00/5: Рейтинг темы: голосов - 5, средняя оценка - 5.00
0 / 0 / 0
Регистрация: 14.10.2012
Сообщений: 14
1

Дедуктивный вывод в логике высказываний

09.12.2012, 16:51. Показов 910. Ответов 1
Метки нет (Все метки)

Author24 — интернет-сервис помощи студентам
Здравствуйте!
Помогите решить задачу дедуктивным выводом и задания на доказательства
Пожалуйста!

задания.doc

Спасибо!!!
0
Programming
Эксперт
94731 / 64177 / 26122
Регистрация: 12.04.2006
Сообщений: 116,782
09.12.2012, 16:51
Ответы с готовыми решениями:

Доказательства в логике высказываний
Клаузу варианта 23 доказать следующими методами: аксиоматическим, натурального исчисления,...

Задание по логике высказываний
a. С -> A, B v C, B -> D, D -> A => A b. D -> E, E -> C, A ~ D, B ~ C => A -> B c. A v B, A ->...

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

Вывод из высказываний
Требуется сделать вывод, указав при этом предикат, субъект и средний термин, на основе...

1
0 / 0 / 0
Регистрация: 14.10.2012
Сообщений: 14
09.12.2012, 22:19  [ТС] 2
Задания

1.Если конгресс отказывается принять новые законы, то страйк не будет закончен, если он не продолжается больше года и президент фирмы не идет в отставку.Закончится ли страйк, если конгресс отказывается действовать и страйк только начался? Построить логический вывод и получить ответ.
2. Доказать такое утверждение: " С тождественно ложной формулы логически выходит любая формула"
3. Доказать утверждение логики высказываний: "Тождественно истинная формула логически выходит из любой формулы"
0
09.12.2012, 22:19
IT_Exp
Эксперт
87844 / 49110 / 22898
Регистрация: 17.06.2006
Сообщений: 92,604
09.12.2012, 22:19
Помогаю со студенческими работами здесь

Вывод логики высказываний
Дан текст (легенда): Сегодня посмотрю футбол, если трамвай не задержится. Трамвай не опоздал, но...

Построить вывод (исчисление высказываний)
Господа, помогите, пожалуйста, построить вывод (исчисление высказываний): ̚ А ˄ В...

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

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

Объяснить вывод логики высказываний
Вопрос в следующем имеется часть дерева. рисунок 1, весь вопрос в последних 2-х строчках,...

Построить вывод в исчислении высказываний
(X → Y) ⊢ ((X v Y) → Y)


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

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