Форум программистов, компьютерный форум, киберфорум
Мат. логика и множества
Форум программистов и сисадминов Киберфорум > Научный форум > Математика > Мат. логика и множества
Войти
Регистрация
Восстановить пароль
Карта форума Темы раздела Блоги Сообщество Поиск Заказать работу  
 
Рейтинг 4.88/8: Рейтинг темы: голосов - 8, средняя оценка - 4.88
3 / 3 / 0
Регистрация: 18.01.2011
Сообщений: 34
1

Исчисление высказываний

21.06.2011, 19:03. Показов 1537. Ответов 2
Метки нет (Все метки)
Author24 — интернет-сервис помощи студентам
Пожалуйста, если кто может помогите, очень нужно к контрольной работе,а я ничего в этом предмете не понимаю.
Доказать выводимость:
Миниатюры
Исчисление высказываний  
0
Programming
Эксперт
94731 / 64177 / 26122
Регистрация: 12.04.2006
Сообщений: 116,782
 21.06.2011, 19:03
Ответы с готовыми решениями:

Исчисление высказываний
Нужно вывести формулу (A \Rightarrow B) \rightarrow ((A*C)\Rightarrow(B*C)) Есть люди которые...

исчисление высказываний
Помогите пожалуйста. Не разобрался на лекции. Доказать в исчислении высказывании a=>a используя...

Исчисление высказываний. Секвенции
Привет. Нужна помощь в решении секвенций, но и за совет литературы для самостоятельного решения...

Исчисление высказываний. Мендельсон
Теорема: Единственными бинарными связками, каждой из которых можно построить любую истинностную...

2
3132 / 1325 / 156
Регистрация: 19.12.2009
Сообщений: 1,808
21.06.2011, 19:09 2
инна_, последнее 2 аксиомы здесь не нужны.
А аксиоматика откуда, из Мендельсона? Просто 7 аксиом - это очень не удобно!
0
3 / 3 / 0
Регистрация: 18.01.2011
Сообщений: 34
22.06.2011, 13:08  [ТС] 3
такие дал профессор(

Добавлено через 17 часов 36 минут
пожалуйста, помогите кто-нибудь(((
0
22.06.2011, 13:08
IT_Exp
Эксперт
87844 / 49110 / 22898
Регистрация: 17.06.2006
Сообщений: 92,604
 22.06.2011, 13:08
Помогаю со студенческими работами здесь

Доказательство теоремы. Исчисление высказываний
Доказать, что каждая из пар связок \rightarrow ,\vee и \equiv , - не являются достаточной для...

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

Исчисление высказываний (гильбертовского типа)
Что-то выпал с 2х задачек 1.) Есть посылки: 1.) F-->G ; 2.) G-->F из них вывести F==G (== -...

Исчисление высказываний - показать, как решать
Есть задание 4,5. Нужно показать, как решать примеры такого типа. Хотя бы пару букв. Теория есть, а...


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

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