Форум программистов, компьютерный форум, киберфорум
Наши страницы

Мат. логика и множества

Войти
Регистрация
Восстановить пароль
 
Demon55
1 / 1 / 0
Регистрация: 29.11.2013
Сообщений: 46
#1

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

08.12.2014, 20:29. Просмотров 570. Ответов 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. По идее нужно сначала воспользоваться 7 аксиомой из логики высказываний, а вот...

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

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

Используя основные эквивалентности исчисления высказываний, проверить равенства - Логика и множества
Используя основные эквивалентности исчисления высказываний, проверить равенства: 2) \(B \bar{C} \vee ABC \vee C \bar{AB} ) ( A \bar{B}...

Докажите данную теорему при помощи исчисления высказываний. - Логика и множества
Докажите данную теорему при помощи исчисления высказываний: ((p & q)\supset\neg r) ((r&p) \supset\neg q) Добавлено через 1 минуту ...

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

Проверьте, пожалуйста мое решение. Исчисления высказываний. Предикаты - Логика и множества
Доброго времени суток. Вот мое задание. Пусть W- множество людей. На множестве W заданы следующие предикаты: E(x, y) = И - x и y...

Построить вывод формулы исчисления высказываний из данного множества гипотез - Логика и множества
Всем здравствуйте. Есть такая проблема, дано несколько примеров, вот 2 из них: 1) \Phi \rightarrow \Psi \vdash \Phi \vee X...

Доказать в исчислении высказываний. - Логика и множества
Задачи по математической логике Доказать в исчислении высказываний (буквы обозначают произвольные формулы): Решить две задачи: ...

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


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

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

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