Форум программистов, компьютерный форум, киберфорум
Наши страницы
Мат. логика и множества
Войти
Регистрация
Восстановить пароль
 
XNick
3 / 3 / 1
Регистрация: 29.01.2010
Сообщений: 113
#1

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

17.01.2013, 23:17. Просмотров 340. Ответов 0
Метки нет (Все метки)

Всем доброго времени суток.
Господа помогите пожалуйста решить 3 задачки, кто может. Т.к. для меня это какие-то химические формулы.
0
Миниатюры
Исчисление высказываний  
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
Similar
Эксперт
41792 / 34177 / 6122
Регистрация: 12.04.2006
Сообщений: 57,940
17.01.2013, 23:17
Ответы с готовыми решениями:

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

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

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

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

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

0
MoreAnswers
Эксперт
37091 / 29110 / 5898
Регистрация: 17.06.2006
Сообщений: 43,301
17.01.2013, 23:17

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

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

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


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

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

КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin® Version 3.8.9
Copyright ©2000 - 2018, vBulletin Solutions, Inc.
Рейтинг@Mail.ru