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

Доказать секвенцию исчисления высказываний - Логика и множества

08.12.2014, 20:29. Просмотров 633. Ответов 0
Метки нет (Все метки)

Доказать секвенцию исчисления высказываний, построением док-ва в виде дерева.
http://www.cyberforum.ru/cgi-bin/latex.cgi?Av(-B v -C) \vdash Av -(B\wedge  C) по 6 правилу разложил на 3 секвенции, получилось:

1)http://www.cyberforum.ru/cgi-bin/latex.cgi?Av(-B v -C), A\vdash Av -(B\wedge  C), далее по 12 получил http://www.cyberforum.ru/cgi-bin/latex.cgi?A\vdash Av -(B\wedge  C), потом по 5 получил http://www.cyberforum.ru/cgi-bin/latex.cgi?A\vdash A

2)http://www.cyberforum.ru/cgi-bin/latex.cgi?Av(-B v -C), (-B v -C)\vdash  Av -(B\wedge  C) по 12 http://www.cyberforum.ru/cgi-bin/latex.cgi?(-B v -C)\vdash Av -(B \wedge C),по 5 вышло http://www.cyberforum.ru/cgi-bin/latex.cgi?(-B v -C)\vdash (-B v -C)

3)http://www.cyberforum.ru/cgi-bin/latex.cgi?Av(-B v -C)\vdash Av(-B v -C)

Все ли я сделал правильно, а если нет то какие шаги упустил?

Добавлено через 12 часов 11 минут
http://lektsiopedia.org/lek-39472.html вот 13 правил, по которым делал.
0
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
Similar
Эксперт
41792 / 34177 / 6122
Регистрация: 12.04.2006
Сообщений: 57,940
08.12.2014, 20:29
Я подобрал для вас темы с готовыми решениями и ответами на вопрос Доказать секвенцию исчисления высказываний (Логика и множества):

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

Доказать секвенцию
Здравствуйте, вот задача, помогите пожалуйста: Доказать секвенцию: Ф∨Ψ, Ψ∨Ω,...

Доказать секвенцию в исчислении T
Нужно доказать секвенцию (в виде дерева) в исчислении T. По идее нужно сначала...

Используя основные эквивалентности исчисления высказываний
Один пример вроде решил проверьте пожалуйста правильно я все сократил А со...

Как вывести 6-ю аксиому исчисления высказываний?
Как вывести 6ю аксиому исчисления высказываний из 1ой, 2ой и 10ой?

Вывести эту формулу в теории исчисления высказываний
U->B, P->Q |- (U^P)->(B^Q) помогите пожалуйста решить, срочно нужно

0
MoreAnswers
Эксперт
37091 / 29110 / 5898
Регистрация: 17.06.2006
Сообщений: 43,301
08.12.2014, 20:29
Привет! Вот еще темы с решениями:

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

Докажите данную теорему при помощи исчисления высказываний.
Докажите данную теорему при помощи исчисления высказываний: ((p &...

Используя основные эквивалентности исчисления высказываний, проверить равенства
Используя основные эквивалентности исчисления высказываний, проверить...

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


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

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

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