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