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

14. ((Nx)v(Ny))8cz, (Н(у&хУ)8сг. 15. Z* r\B*, A*uC* C*). Вариант 4 1. Если A то В, a. В достаточно для С или А, но А не эквива­ лентно не С. 2. (A^^C)&(\Л&DvB&Dv]A8cЬvB&^D)&(AvC)vB8cA8c]В. 3. (A=CJvA&B8c]C. 4.> v l e v ^ PvR, QvR j= R. 5. Ни одно С не есть Д но все А суть D, а все В суть С или А. 6. (3xP(x))v3xe(x)s3A-(P(x)ve(x)). 7. A=\fx3 yP(xJ{x,y))^\fxP(x,x), S=Vx3 yQ(x,a,y)=> 8. Bee A суть не В, a некоторые В суть С, следовательно, не существует таких что В или С. 9. P=ddaab, Q-ddaabbbabcdd. 10. P=ddccc, Q=ddcccbccab. 11. Смотри условия задачи. Г1, если x - О 12. sg*(x)=] [О, если x 0. 13. {А=^В)^((]А^В)=>В). 14. (( c)=(iyy))&z, ({Ny)^iNx))&z. 15. A*r^C*B*^C* I *u ( 5 *nC* ) . Вариант 5 1. A тогда, когда В, a. В только тогда, когда С или А но А недостаточно для С. 2. (AvD)Si(B&^CvBSiDvCSiBv']B&D)&0DvA)^B8cASi] В. 3.A&Cv{A=>B)8c\C. 4. PvQ, RvQ, RvS, l^vlg }= iJ&g. 300