Помогите понять условие задачи по мат.логике
Добавлено: 31 мар 2010, 13:42
Здравствуйте.
Помогите понять условие задачи. K сожалению ни в моем учебнике, ни в других ничего похожего не обнаружил. Обратиться к преподавателю для разъяснений к сожалению не могу, т.к. учусь дистанционно.
Задача (дословно и побуквенно):
*******************
Доказать, что eсли выводима секвенция и - переменная, то выводима формула , где – замена на .
*******************
Я aсболютно не понял что такое P, B и P\B?
Спасибо
Помогите понять условие задачи. K сожалению ни в моем учебнике, ни в других ничего похожего не обнаружил. Обратиться к преподавателю для разъяснений к сожалению не могу, т.к. учусь дистанционно.
Задача (дословно и побуквенно):
*******************
Доказать, что eсли выводима секвенция и - переменная, то выводима формула , где – замена на .
*******************
Я aсболютно не понял что такое P, B и P\B?
Спасибо