Г? B & Г? C);
д. Довести істинність висновку шляхом побудови дерева докази:
{A; A Г B} | - (C & A) Г (B & C);
В
У.
В В
(3) (4)
В. &
В
В.
В
е. Довести істинність висновку методом дедуктивного виводу (з побудовою графа дедуктивного виводу):
Побудуємо граф дедуктивного виводу.
Відомо, що {A? B} | - (A & C)? (B & C), {B} | - A? B;
A A? B
m.p.
B
A? B
(A & C)? (B & C)
(A & C)? (C & B)
Малюнок A.1 - Граф дедуктивного виведення
Ж. Довести істинність висновку методом резолюції (з побудовою графа виведення порожній резольвенти):
Наведемо посилки і заперечення укладення до виду КНФ:
F 1 = A; 2 = A Г B = Г? A Гљ B;
Г? J = (C & A) Г ( B & C) = Г? ( Г? (C & A) Гљ (B & A)) = C & A & ( Г? B ГљГ? C ); = {A, Г? A Гљ < span align = "justify"> B, C, A, Г? B ГљГ? C} = {A, Г? A Гљ B, C, Г? B ГљГ? C};
Побудуємо граф виведення порожній резольвенти:
A Г? A Гљ B
