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

Вариант 10 1. А необходимо для В, а. В только тогда, когда С или Л, но А недостаточно для С. 2. A8cD^{Bv]Q&:(BvD)&iCvB)Sc(\BvD)vb&AvB 3.AvC\/(A=>B)&C. 4. AvB, А^В, 5=:>(C=>1 d ), A =^ D |= 1(^ £&C). 5. Bee D суть не В, но ни одно А не есть С, а некоторые В не есть С. 6. (axP(;c))v3xe(;c)=3;c3y(P(x)ve(y)). 7. A=''^x3yP{x,y)=>\/xQ{aJ[x,y)), В=ЗхЗуР{х,у) 8. Некоторые С суть D. Все А суть D. Все В суть не С. Следовательно, все В есть^. 9. P=ccaad, Q=ccaaddacdcdd. 10. Р=сасаЪ, Q=cacabcdc. 11. Смотри условия задачи. 12. гт(д:,у)=остатку от деления у над:. 13. {А=^ЛА)^А. 14. {Nx)=:>i(Ny)&z), XV {(Ny)Scz). 15.C*u A * ,А*^С*,А*^(В*п С*). Вариант 11 1 . А необходимо для В, а. В достаточно для С или А, ио А не эквивалентно С. 2. B&Z)v(CvT4)&( ']Лv ']B )&(AvC)&{Aw^B) VBSC ] DVB & A &'\b. 3.A&Cv((AvB)=>^C). 4 . 5 = > С , T 4 S 5 , ICsD (С=^В)=^ (D=>A). 5. Если все А суть В, а некоторые В суть С, тогда существуют А, такие что С. 6. P(x)=i>\fyP(y). 7. A=\/x3yQ{x,a,y)=> ЗхР(х,Дх)), B=\/x3yP{x, 304