НГУ

Форумы НГУ
Текущее время: Ср июл 17, 2019 9:44 am

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




Начать новую тему Ответить на тему  [ Сообщений: 2 ] 
Автор Сообщение
 Заголовок сообщения: Проверить выводимость формулы ИВ
СообщениеДобавлено: Вс дек 21, 2008 4:44 am 
Не в сети
Редкий гость

Зарегистрирован: Вс дек 21, 2008 4:39 am
Сообщения: 1
Помогите, пожалуйста, с решением задачки.

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

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

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


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Вс дек 21, 2008 7:04 pm 
Не в сети
Непрерывный писатель

Зарегистрирован: Пт сен 07, 2001 7:00 am
Сообщения: 2844
Откуда: Станислав Березнюк
Тема будет вновь открыта после окончания зачётной сессии ;-)

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


Вернуться к началу
 Профиль  
 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 2 ] 

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


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

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


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

Найти:
Перейти:  
cron
Создано на основе phpBB® Forum Software © phpBB Group
Русская поддержка phpBB