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

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

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

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

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

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

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

Доказать в исчислении высказываний.
Задачи по математической логике Доказать в исчислении высказываний (буквы...

Доказать в исчислении высказываний
Доказать в исчислении высказываний ¬(¬(¬Z→X)→¬Y)≡(¬X&Y&¬Z) Используя...

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

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

Доказать эквивалентность в исчислении высказываний
Доказать эквивалентность с лева на право и справа на лево: С помощью 9...

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

Доказать выводимость формулы в исчислении высказываний
Здравствуйте, уважаемые. Нужна еще помощь с формулами в исчислении...

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


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

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

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