Математическая логика и теория алгоритмов

3) М невыполнимо, в лок-выводе содержится 7 дизъюнктов; 4) М выполнимо, в лок-выводе содержится 10 дизъюнктов; 5) М невыполнимо, в лок-выводе содержится 17 дизъюнктов, 9. Сколемовская стандартная форма для формулы: равна 1) 3;'V>'3z(1 A{x)\fB{y,z,a)y, 2) 1 A{x)\^B{y,z,ay, 3) 1 A{x)\fB(y,fiy).a); 4) \ f y (1 A{b)vB(y,f{y),a))\ S)^Aф)\/B(yJ^y),a), 10. Для силлогизма Camestres no 4- « фигуре, который в сим­ вольной записи имеет вид; Vx (Р(х)=>М(х)), \ / х (5(j:)=^>1 Р(Х)) , укажите, какие дизъюнкты можно получить для проверки правильно­ сти силлогизма методом резолюций: 1) 1 P { x ) v M ( x ) , 1 M ( y ) s A S ( y \ ^(z)v1 P(z); 2) 1 P(x;vM(x), 1 M0')v1 S ( y ) ,S { a ) , P{a); Ъ ) ^ P { ф M { x ) , 1M(>')v1:S'00, ^ v l P C a ) ; 4) 1 P { x ) y 1 m { x \ 1 M(y)v1% ) , 15'(a)v1 P(a); 5) 1 P(x)vM(x), ^ M ( y ) ^ A S ( y \ 3(а)&Р(а). Тест № 4. Дедуктивные теории 1. Укажите, что не нужно задавать при введении исчисления высказываний 1) алфавит; 2) правила образования формул; 3) аксиомы; 4) правила доказательств; 5) правила действия с кванторами. 320