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

7. y4=3xV>'P(x,>')=>VxP(x,x), B -\/x3y\/zR{x,y,z)=i'3yyzQ(y,z) 8. Все С не едть D. Все А суть не D. Все В суть С, Следователь­ но, все В есть^. 9. P=bbcab, Q=bbcabccdabcdd. 10. P=abab, Q=abababcdab. 11. Смотри условия задачи. 1.A, когда В или С, а. В необходимо для А или С, но из С следует А и В. 2. (.^vC)&(i>/("U&lC))v(lD&"l4)v(^vC)&(lCvlD) VBSCASLM . 3.А=>(В=^С). 4. PvQ, ^PvQ, P\ AQ P8cQ. 5. Все A суть не В, а некоторые С суть В или некоторые С суть не ^ и 5. 6. \/x\lyP{x,y)-=>\fxP{x,x). 7. A'=Sy\lxP{x,y)-=>\/xP{a,o^, B =\fx3yP{x,y)=> 3z3y\/xQ(y 8. Некоторые С не есть D. Все А суть не D. Все В суть С. Сле­ довательно, все В суть А. 9. Р=ссааЬ, Q=ccaabccabcdd. 10. P=cabc, Q=cabccdab. 11. Смотри условия задачи. Ье-V, если х>у 12.х-у==\ ^ ^ I О, если х<у. 13, (А=>В)=>(\В:=>]А). 14. (N((Nx)&y))8cz, {y=^xj8Lz. \5.A*uB*, A*r\C*, A * u(5*n C*). Вариант 3 I I \x-y, если x>y [д' - x, если x<y. 13. ^=>(15=>1(^=^Б)). 299