IPB

Здравствуйте, гость ( Вход | Регистрация )

> Математическая логика, метод резолюций
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

 

Режим отображения: Переключить на: Стандартный · Переключить на: Линейный · Древовидный

Подписка на тему · Сообщить другу · Версия для печати · Подписка на этот форум

- Текстовая версия Сейчас: 25.5.2025, 14:24
Книжки в помощь: "Сборник заданий по высшей математике" Кузнецов Л.А., "Сборник заданий по высшей математике" Чудесенко В.Ф., "Индивидуальные задания по высшей математике" Рябушко А.П., и другие.
Русская версия Invision Power Board v2.1.7 © 2025  IPS, Inc.



Зеркало сайта Решебник.Ру - reshebnik.org.ru