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

8. Некоторые С есть D. Все А суть не D. Все В суть С. Следовательно, все В суть А. 9. Р~ааЬ,Q=aabccabcdd. \0.P=abc,Q=abccdab. 1 ]. Смотри условия задачи. 12. xx(}H-z). 13. (А^В)=>']А). 14. {{Nx)\/(Ny ))=^Z, N(y&x)z :^Z. 15. A * u C * J * o ( B * u C * ) . Вариант 24 1. Если Л , то В либо С, а .S достаточно для С, но А не эквивалентно С. 2. (US l ID v BS l ] D)S l {A v Q v BS l A&,']B v {A\'']C)S l (U&D v B&,D). 3. (A=]Q V A&BS L C. 4. A V B .A ^ C , B ^ D , D ^ C 1=^&C . 5. Когда все A суть В, a некоторые В суть не С, тогда не существует А таких, что В или С. 6. \/хЗуР{х,у))=^Зу\/хР{х,у). 7.A='\fx3yP(xJ{x,y))=^\/xP(a,x), B='^x3yQ(f[x,a),y)^3y\i'xP(y,x). 8. Ни одно С не есть D. Все А суть D. Все В суть С. Следова­ тельно, некоторые В есть А. 9. P-ddab,Q^ddabbbacdd. 10. P=ddc,Q-ddcbccab. 11. Смотри условия задачи. 12. хх(у+2). 13. 14. ( N x ) ^ N y ) S i z \ (Ny)^{Nx)Siz). 15. ^*nC* S*uC* A*uB*uC*). 313