n align="justify"> $ y (A (y) < span align = "justify"> В® B (x)) = Г? " x ( Г? B (x)) V $ y (A (y) В® B (x)) =
= $ x ( Г? < span align = "justify"> B (x)) V $ y ( Г? A (y) VB (x)) = $ v ( Г? B (v)) V $ w ( Г? A (w) VB (x)) =
= $ v $ w ( Г? B (v) V Г? A (w) VB (x));
б. Привести вираз до виду ССФ:
Для приведення до виду ССФ скористаємося алгоритмом Сколема, тому будуть проведені наступні заміни:
v = a, де a - предметна постійна
w = b, де b - предметна постійна
В результаті вийде такий вираз:
F = Г? B (a) V Г? A (b) VB (x);
в. Довести істинність висновку методом дедуктивного виводу (з побудовою графа дедуктивного виводу):
Уявімо нашу формулу в наступному вигляді:
{ " x (B (x))} | - $ y (A (y) В® B (x ))
Побудуємо граф дедуктивного виводу для доказу виводимості укладення з даної множини посилок:
" x (B (x))
У "
B (x)
A (y) В® B (x)
B $
$ y (A (y) В® B ( x))
Малюнок...
