 Математическая логика, метод резолюций |
Здравствуйте, гость ( Вход | Регистрация )
  |
| 123456 |
 25.1.2010, 14:24
Сообщение
#1
|
|
Школьник  Группа: Продвинутые Сообщений: 17 Регистрация: 20.10.2007 Город: Тобольск Учебное заведение: ТГПИ  |
Проверить выводимость в исчислении высказываний методом резолюций: ⊢¬A∨¬B→¬(A&B).
Очень нужна помощь, я просто запуталась. |
   |
 
|
| tig81 |
25.1.2010, 15:52
Сообщение
#2
|
|
Академик Группа: Преподаватели Сообщений: 15 617 Регистрация: 15.12.2007 Город: Украина, Запорожье Учебное заведение: ЗНУ Вы: преподаватель |
Цитата(123456 @ 25.1.2010, 16:24)  Очень нужна помощь, я просто запуталась. В чем запутались? |
|
|
|
| 123456 |
25.1.2010, 15:58
Сообщение
#3
|
|
Школьник Группа: Продвинутые Сообщений: 17 Регистрация: 20.10.2007 Город: Тобольск Учебное заведение: ТГПИ |
Цитата(tig81 @ 25.1.2010, 20:52) В чем запутались? у меня получается при каждом перешивании разные значения: "Применим к выводимости теорему дедукции. Получим ¬А∨¬В⊢¬(А&В). Преобразуем к множеству предложений гипотезы и отрицание целевой формулы. ¬(¬(А&В)) ¬(¬(¬А∨В) ¬(А∨¬В) ¬А&В Таким образом, получим предложения ¬А∨¬В, А,В. Теперь производим резольвирование: 1. А 2. В 3. ¬А∨¬В 4. ¬В ПР из 2 и 3 5. ∅ ПР из 2 и 4 Поскольку получено пустое предложение, то исходная формула выводима в ИВ." правильно то хоть решаю? |
|
|
|
| tig81 |
25.1.2010, 15:59
Сообщение
#4
|
|
Академик Группа: Преподаватели Сообщений: 15 617 Регистрация: 15.12.2007 Город: Украина, Запорожье Учебное заведение: ЗНУ Вы: преподаватель |
Цитата(123456 @ 25.1.2010, 17:58) у меня получается при каждом перешивании разные значения прикрепите решение. |
|
|
|
| 123456 |
25.1.2010, 16:02
Сообщение
#5
|
|
Школьник Группа: Продвинутые Сообщений: 17 Регистрация: 20.10.2007 Город: Тобольск Учебное заведение: ТГПИ |
Применим к выводимости теорему дедукции. Получим ¬А∨¬В⊢¬(А&В). Преобразуем к множеству предложений гипотезы и отрицание целевой формулы.
¬(¬(А&В)) ¬(¬(¬А∨В) ¬(А∨¬В) ¬А&В Таким образом, получим предложения ¬А∨¬В, А,В. Теперь производим резольвирование: 1. А 2. В 3. ¬А∨¬В 4. ¬В ПР из 2 и 3 5. ∅ ПР из 2 и 4 Поскольку получено пустое предложение, то исходная формула выводима в ИВ." правильно то хоть решаю? |
|
|
|
|
1 чел. читают эту тему (гостей: 1, скрытых пользователей: 0)
Пользователей: 0
|
Текстовая версия | Сейчас: 26.4.2024, 19:18 |
Книжки в помощь: "Сборник заданий по высшей математике" Кузнецов Л.А., "Сборник заданий по высшей математике" Чудесенко В.Ф., "Индивидуальные задания по высшей математике" Рябушко А.П., и другие.
Русская версия Invision Power Board
v2.1.7 © 2024 IPS, Inc.
Зеркало сайта Решебник.Ру - reshebnik.org.ru