Вопрос по математической логике

[eivan]

Добрый день.
Есть такая задачка
Доказать секвенцию исчисления высказываний построением доказательств в виде дерева:
Сама секвенция: (A v -B) ^ (A v -C) |- A v -(B v C),
минус - знак отрицания.
Если есть информация, где почитать, или какие нибудь примеры, будет очень хорошо.
Заранее спасибо.

@темы: Математическая логика

Comments

[mpl]

.