> y ( Г? A (y) VC (z))) V $ z ( Г? B (x) VC (z)) =
= $ x (B (x) & Г? A (y)) V (B (x) & $ y (A (y) & Г? C (z))) V $ z ( Г? B (x) VC (z )) =
= $ v (B (v) & Г? A (y)) V (B (x) & $ w (A (w) & Г? C (z))) V $ t ( Г? B (x) VC (t )) =
= $ v $ w $ t ((B (v) & Г? A (y)) VB (x) & (A (w) & Г? C (z)) V ( Г? B (x) VC (t)) ;
б. Привести вираз до виду ССФ:
Для приведення до виду ССФ скористаємося алгоритмом Сколема, тому будуть проведені наступні заміни:
v = a, де a - предметна постійна;
w = b, де b - предметна постійна;
t = d, де d - предметна постійна;
В результаті вийде такий вираз:
F = (B (a) & Г? A (y)) VB (x) & ( A (b) & Г? C (z)) V ( Г? B (x) VC (d));
в. Довести істинність висновку методом дедуктивного виводу (з побудовою графа дедуктивного виводу):
Уявімо нашу формулу в наступному вигляді:
{ " x (B (x) В® A (y)); B (x) В® " y (A (y) В®