НГУ
http://forum.nsu.ru/

Проверить выводимость формулы ИВ
http://forum.nsu.ru/viewtopic.php?f=24&t=19352
Страница 1 из 1

Автор:  Edwardtlt [ Вс дек 21, 2008 4:44 am ]
Заголовок сообщения:  Проверить выводимость формулы ИВ

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

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

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

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

Автор:  slb [ Вс дек 21, 2008 7:04 pm ]
Заголовок сообщения: 

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

Страница 1 из 1 Часовой пояс: UTC + 7 часов
Powered by phpBB® Forum Software © phpBB Group
https://www.phpbb.com/