НГУ • Просмотр темы - Проверить выводимость формулы ИВ

Сообщения без ответов | Активные темы

Список форумов » Образовательные форумы » Алгебра, логика, теория чисел и теория алгоритмов

Часовой пояс: UTC + 7 часов

Проверить выводимость формулы ИВ

Модераторы: Alexandr, slb

Страница 1 из 1

[ Сообщений: 2 ]

Версия для печати

Пред. тема | След. тема

Автор

Сообщение

Edwardtlt

Заголовок сообщения: Проверить выводимость формулы ИВ

Добавлено: Вс дек 21, 2008 4:44 am

Редкий гость

Зарегистрирован: Вс дек 21, 2008 4:39 am
Сообщения: 1

Помогите, пожалуйста, с решением задачки.

Используя теорему о дедукции и теорему о полноте проверить выводимость формулы ИВ.

(A→B)→B, -B├ A

(здесь -В озночает не В, т.е. отрицание В)

Вернуться к началу

slb

Заголовок сообщения:

Добавлено: Вс дек 21, 2008 7:04 pm

Непрерывный писатель

Зарегистрирован: Пт сен 07, 2001 7:00 am
Сообщения: 2844
Откуда: Станислав Березнюк

Тема будет вновь открыта после окончания зачётной сессии ;-)

_________________
Мордор жил, Мордор жив, Мордор будет жить!

Вернуться к началу

Страница 1 из 1

[ Сообщений: 2 ]

Список форумов » Образовательные форумы » Алгебра, логика, теория чисел и теория алгоритмов

Часовой пояс: UTC + 7 часов

Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 1

Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Перейти: