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

5. Все D суть В, ни одно А не есть не С, также ни одно В не есть С. 6. (3xP(x))v3xe(x)H3x3MP(x)v(2(y)). 7. A-\/x3yP{x,y)=>\/xQ{a,f{x,y)), В='5хЗуР(х,у)= 8. Некоторые С не есть D. Все А суть D. Все В суть не С. Сле­ довательно, все В есть А. 9. P=ccdda, Q=ccdddacdabcdd. 10. P=acacb, Q=acacbccdab. 11. Смотри условия задачи. \ЪЛЛ=^{А=^В). 14. (Nx)v((Ny)&z), x=>((Ny)&z). 15. C*n A *. А*иС* A*n(B*u С*). Вариант 6 1 . A при условии, что для В, г. в влечет С и А, по А не эквива­ лентно С. 2. (1лv5vCv.D)&(l4vCvZ)vlC&5)&^&l(lCvZ))v £&C&l В. 3. A=^CvA&BSc]C. 4. Р, QvIP, l i ? v>v l e 1= 1Д&Р. 5. Не все А суть не В, а некоторые В суть С, кроме того, не су­ ществует ^4 таких, что В. 6. (\fxP(x))&\fxQix)=\fx(P{x)&Q(x)). 7. A=\/x3yQ(a,x,y)=>\/xP{x,x), B -Vy3xP(xJ{y))=i 8. Ни одно С не есть D. Все А суть не D. Некоторые В суть не С. Следовательно, все В суть А. 9. Р=аЬса, Q=abcacdaaad. 10. P=abc, Q-abccbaa. 11. Смотри условия задачи. 12. 13. (\А=>]А):=>(А=:>А). 301