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

6. \fx\fyP{x,y)^'^xP{x,x). 7. v4 =3j^V.xP(x,y)=>VxP(a,x), 5=\/л:ЗуР(х,у)=> 3z^y\fxQ(y,x,z). 8. Bee D суть E. Bee С суть A. Ни одно В не есть не D. Все Е суть не А. Следовательно, некоторые А суть D. 9. P=dccaa, Q=dccaabccabcdd. 10. P-ddbc, Q=ddbcccdab. 11. Смотри условия задачи. 12. max(jc,y). 13. А=>(] А:=>\А=>А)). 14. {{Nx) & {Ny))vz, N(yScx)vz. 15. A* VJB'*, A*NC*,A*N{B*VJ C*). Вариант 9 1. A необходимо для В, a . В достаточно для С или А, но А не эквивалентно С. 2.1^&5&1c&Z)V^V1(C&Z))V(1^&1c&1d&CV1b)V'U&5&^ 3. (ASC) vA =B. 4. А=^В, C=>D, AvC , A =>']D, C=>1 B |= (A V B)=:>A&B. 5. Все С суть Д а все А суть не D, но некоторые В суть С. 6. V.x(P(x)=i>l2(Jc))=> 1((3xP(x))&Vx2(Jc)). 7. А= VxP{x,x)=>Vx3yP{x,f{x,y)), В= Vx3yQ{x,a,y) 8. Все А суть В, а некоторЬ1е В суть С, следовательно, сущест­ вует А, такое что В И С. 9. P=dadab, Q=dadabbabcdd. 10. P=dadc, Q=dadccbccab. 11. Смотри условия задачи. 12. inax(XbX2, ...х„). 13. (y4=>y4)=i>((1yi=>^)=>y4), 14. (NxsNy)=i>z, ((Ny)=>(Nx))=>z. \5.А* пС * A*^C*A\J(B* nC *J. 303