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

Вариант 19 1 . а эквивалентно не 5, а 5 необходимо для с или а, но из а не следует с я в. 2. 1(C&D)v'U&1C&'IDV(CV1 b)8iav] a &b&a v ]a8cb8c\c8cp v a. 3.\asc) v a=>b. 4. a=>( BvC ), A v B , b=>a, b=>d j= C v D . 5. Если некоторые a суть в, но все в суть с, то существует такое, что в и с. 6. (\/xP(x)-:=>3xQ(x))s 3x3_y(P(x)=>g(>')). 7. A-\fx3yQ(x,a,y)=>'^x3yP{x,f{x,yy), B=\/xP(x,x)=i>3y\/xP(y,x). 8. He все С суть d. Все а суть D. Все в суть не С. Следовательно, некоторые в есть а. 9.P-ddab,Q=ddabbabcdd. 10. P-ddc,Q=ddccbccab. 11. Смотри условия задачи. 12. x x y + x x z . 13.1 (а=>а)=:>((а=>а)=:>в). 14. (Nx)=>(y =^ z ), (z=:>(y=>(Nx)). 15.A*nC* A*OC*A*(JB*uC*J• Bapuaнm 20 \.a только тогда, когда в, а в достаточно для С или а, но а не эквивалентно с. 2. ( BvlQ & iBvD )&( CvB )&(] BvD ) v ]d& AvBScA &] A v A & d . 3. AvC=i>(A^B). 4. As/B, A:=>B, В=>(С=>Ь), A--i>D\'\A&Q. 5. Когда не все d суть в, а ни одно а не есть с, тогда некоторые в не есть с. 6. (VjcP(x)=i>VxQ(x))s3xVy(P(s:)=>g(>')). 7. A=^\fxQ(a,f(x,y))=>\/x3yP(x,y), В=ЗхЗуР(х,у)=>Эу\/хР(у,х). 310