 Математическая логика, метод резолюций |
Здравствуйте, гость ( Вход | Регистрация )
| 123456 |
 25.1.2010, 14:24
Сообщение
#1
|
|
Школьник  Группа: Продвинутые Сообщений: 17 Регистрация: 20.10.2007 Город: Тобольск Учебное заведение: ТГПИ  |
Проверить выводимость в исчислении высказываний методом резолюций: ⊢¬A∨¬B→¬(A&B).
Очень нужна помощь, я просто запуталась. |
   |
 
|
Сообщений в этой теме
123456 Математическая логика 25.1.2010, 14:24
tig81
Очень нужна помощь, я просто запуталась.
В чем за... 25.1.2010, 15:52
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, 7:55 |
Книжки в помощь: "Сборник заданий по высшей математике" Кузнецов Л.А., "Сборник заданий по высшей математике" Чудесенко В.Ф., "Индивидуальные задания по высшей математике" Рябушко А.П., и другие.
Русская версия Invision Power Board
v2.1.7 © 2026 IPS, Inc.
Зеркало сайта Решебник.Ру - reshebnik.org.ru