Реферат Рішення задач з логіки та обчисленню висловлювань

A.5 - Граф дедуктивного виведення

р. Довести істинність висновку методом резолюції (з побудовою графа виведення порожній резольвенти):

Г? F = Г? ( " x (B (x)) В® $ y (A (y) В® B (x))) = Г? ( Г? " ; x (B (x)) V $ y ( Г? A (y) V B (x))) =

= " x (B (x)) & Г? $ y ( Г? A (y) VB (x )) = " x (B (x)) & " y (A (y) & Г? B (x )) =

= " v (B (v)) & " w (A (w) & Г? B (x)) = " v " w (B (v) & A (w) & Г? B (x ));

Д = {B (v), A (w), Г? B (x)};

Побудуємо граф виведення порожній резольвенти:

B (v) Г? B (x) A (w)

B (v) В® (B (v) VA (w)) x ? v

Г? B (v) V Г? B (v ) VB (v) VA (w)

Малюнок А.6 - Граф виведення порожній резольвенти

Варіант 39:

F = " x (B (x) В® A (y)) & (B (x) В® " y (A (y) В® < span align = "justify"> C (z)...