Методические указания к выполнению расчетно-графической работы по математической логике и теории алгоритмов

15 2. (Avl:)&(lA&DvB&DvlAvbvB&b)&(A\/C) \/C& t&D. 3. A&lZ^B&C. A vB, C^B, B^A, A^>C 1= B&C&A. Если все A суть не В, а некоторые С суть В, то некоторые С суть не А или В. Бх Vy(P(x,y) =:> VzQ(x,y,z)). A =3z3y VxQ(y,x,z)^VxP(a,x), В= Vx3yP(x,y)^3y VxP(x,y). Все D суть не E. Все С суть А. Ни одно В не есть D. Все Е суть А. Следовательно, некоторые А суть D. Р=саа, Q=caabccabcdd. 10. P=ddc, Q=ddcccdab. 11. Смотри условия задачи. 12. хх/. 13. А^А^11(А^АУ). 14.((Nx)&(Ny))^(Nz), N(yvx)^(Nz). 15. А^ и В ^, A^rC^, А^пВ^пС^. Вариант 19 1 . А эквивалентно не а S необходимо для С или А, но из А не следует С и В. 2. l(C&D)v~k& 1:& bv(CvlB)&AvlA&B&AvlA&B& t&DvA. 3. JA^)vA^B. A^(BvC), A vB, B^A, B^D \^CvD. Если некоторые A суть В, но все В суть С, то существует А такое, что S и С. ( VxP(x) ^3xQ(x))= БхБу(Р(х) =Ы2(у)). А= Vx3yQ(x,a,y)^VxByP(x,f(x,y)), В= VxP(x,x)^3y VxP(y,x). He все С суть D. Все А суть D. Все В суть не С. Следовательно, некоторые В есть А. P=ddab, Q=ddabbabcdd. 10. P=ddc, Q=ddccbccab. 11. Смотри условия задачи. 12. xxy+xxz. 13. ](А^А)^((А^А)^В). 14. (Nx)^(y^z), (z^(y^(Nx)). 15. A^nC*, А * иС*, А^иВ * uC^J.