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

ign = "justify"> C (z))} | - $ z (B (x) В® C (z))

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

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

У " У "

B (x) В® A (y) B (x) В® (A (y) В® C (z))

B (x) В® C (z)

У $

$ z (B (x) В® C ( z))

Малюнок A.7 - Граф дедуктивного виведення

р. Довести істинність висновку методом резолюції (з побудовою

графа виведення порожній резольвенти):

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

= Г? ( Г? (( " x (B (x) В® A (y))) & (B (x) В® " y (A (y) В® C (z)))) V $ z (B (x)