Используя метод резолюций логики предикатов, произвести доказательство теоремы, сколемовская нормальная форма которой получена в результате выполнения задания 7

9. Построить функцию принадлежности P(x), по графику функций принадлежности:

9.1) P=p₁Èp₂Çp₃; 9.2) P=p₁®p₂Çp₃;

9.3) P=p₁Çp₂Çp₃; 9.4) P=Øp₁Çp₂®p₃;

9.5) P=Öp₁®p₂Çp₃;

9.11) P=p₁Èp₂®p₃; 9.12) P=p₁®p₂®p₃;

9.13) P=p₁Çp₂Çp₃; 9.14) P=Øp₁Çp₂ÇØp₃;

9.15) P=Öp₁ÇÖp₂®p₃;

9.21) P=p₁®p₂®p₃; 9.22) P=p₁Çp₂®p₃;

9.23) P=p₁Èp₂Çp₃; 9.24) P=Øp₁Çp₂Çp₃;

9.25) P=p₁®p₂ÇÖp₃;

9.6) P=p₁Èp₂Èp₃; 9.7) P=Øp₁Çp₂®p₃;

9.8) P=p₁ÇÖp₂Çp₃; 9.9) P=Øp₁®p₂Çp₃;

9.10) P=Öp₁Çp₂®p₃;

9.16) P=p₁ÈÖp₂Çp₃; 9.17) P=p₁®p₂Çp₃;

9.18) P=p₁Çp₂Çp₃; 9.19) P=Øp₁®p₂®p₃;

9.20) P=Öp₁®p₂Çp₃;

9.26) P=p₁Èp₂®p₃; 9.27) P=p₁®p₂Çp₃;

9.28) P=p₁Çp₂Çp₃; 9.29) P=p₁Çp₂®p₃;

9.30) P=p₁®p₂Çp_3.

10. Выполнить Modes Ponens для приближенных рассуждений A (x), P (x,y) B (y):

9.1) ;

9.2) ;

9.3) ;

9.4) ;

9.5) ;

9.6) ;

9.7) ;

9.8) ;

9.9) ;

9.10) ;

9.11) ;

9.12) ;

9.13) ;

9.14) ;

9.15) ;

9.16) ;

9.17) ;

9.18) ;

9.19) ;

9.20) ;

9.21) ;

9.22) ;

9.23) ;

9.24) ;

9.25) ;

9.26) ;

9.27) ;

9.28) ;

9.29) ;

9.30) .

10.1) ;

10.2) ;

10.3) ;

10.4) ;

10.5) ;

10.6) ;

10.7) ;

10.8) ;

10.9) ;

10.10) ;

10.11) ;

10.12) ;

10.13) ;

10.14) ;

10.15) ;

10.16) ;

10.17) ;

10.18) ;

10.19) ;

10.20) ;

10.21) ;

10.22) ;

10.23) ;

10.24) ;

10.25) ;

10.26) ;

10.27) ;

10.28) ;

10.29) ;

10.30) .