 Математическая логика, метод резолюций |
Здравствуйте, гость ( Вход | Регистрация )
| 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, 14:24
123456
В чем запутались?
у меня получается при каждом п... 25.1.2010, 15:58 tig81
у меня получается при каждом перешивании разные з... 25.1.2010, 15:59 123456 Применим к выводимости теорему дедукции. Получим ¬... 25.1.2010, 16:02 |
1 чел. читают эту тему (гостей: 1, скрытых пользователей: 0)
Пользователей: 0
|
Текстовая версия | Сейчас: 19.4.2026, 14:25 |
Книжки в помощь: "Сборник заданий по высшей математике" Кузнецов Л.А., "Сборник заданий по высшей математике" Чудесенко В.Ф., "Индивидуальные задания по высшей математике" Рябушко А.П., и другие.
Русская версия Invision Power Board
v2.1.7 © 2026 IPS, Inc.
Зеркало сайта Решебник.Ру - reshebnik.org.ru