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

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

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

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

09.03.2016, 18:47. Просмотров 194. Ответов 1
Метки нет (Все метки)

Нужно доказать секвенцию (в виде дерева) в исчислении T.
По идее нужно сначала воспользоваться 7 аксиомой из логики высказываний, а вот дальше я просто не могу понять что делать.
0
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
Similar
Эксперт
41792 / 34177 / 6122
Регистрация: 12.04.2006
Сообщений: 57,940
09.03.2016, 18:47
Здравствуйте! Я подобрал для вас темы с ответами на вопрос Доказать секвенцию в исчислении T (Логика и множества):

Доказать в исчислении высказываний - Логика и множества
Дано следующее выражение:

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

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

Доказать эквивалентность в исчислении высказываний - Логика и множества
Доказать эквивалентность с лева на право и справа на лево: С помощью 9 секвенций: Свойств дизъюнкции: Конъюнкции: И...

Доказать тождество в исчислении высказываний. - Логика и множества
Помогите пожалуйста решить (¬ (¬X→¬Y) ∨ (Y→Z )) ≡ ¬ ((X&Y)&¬Z) Добавлено через 6 часов 19 минут Вот как я делал (¬ (¬X→¬Y) ∨...

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

1
3D Homer
1375 / 897 / 301
Регистрация: 01.09.2014
Сообщений: 2,153
09.03.2016, 21:20 #2
Напомните, пожалуйста, аксиомы и правила вывода.
1
MoreAnswers
Эксперт
37091 / 29110 / 5898
Регистрация: 17.06.2006
Сообщений: 43,301
09.03.2016, 21:20
Привет! Вот еще темы с ответами:

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

Доказать выводимость формулы в исчислении высказываний - Логика и множества
Здравствуйте, уважаемые. Нужна еще помощь с формулами в исчислении высказываний, пользуясь аксиомами А1-А11. С этим у меня большая...

Как доказать выводимость формул в исчислении высказываний? - Логика и множества
Как доказать выводимость формул в исчислении высказываний?

Доказать в исчислении высказываний (буквы-произвольные формулы) - Логика и множества
Необходимо доказать: ((A->B)->A)->A


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

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

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