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

Вариант 1 \.А достаточно для В, а В необходимо для С или А, но А не эквивалентно С. 2. A&C^A&D&]CvA&\CvD&B&^ D ^B<&A&^C&D'v 3.ASiCvA&BSi\C. 4. А^(_В=>С), BvCvA f=(y(=>C)v5. 5. Все А суть не В, а некоторые В суть С, кроме того, существуютЛ такие, что С. 6. Vx3jP(jc,>')=>VxP(x,Jc). 7. Л=\/дгЗ yP(x,y)^VxP(x,x), В-Зх'^уР{х,у)^3 у\/хР{у 8. Ни одно С не есть D. Все А суть D. Все В суть С. Следовательно, все В не есть ^4, 9. Р=ааЬсс, Q-aabccdabcdd. 10. Р-ааЪс, Q=aabccdab. 11. Смотри условия задачи. \.А необходимо для В, а. В достаточно для С w. А, т А не эквивалентно С или В. 2. y(&1(Cv £))&('kv5vlCvD)&('UvlCv£)vC&l B )V B 8C A 8C \B. 3. T4vCv^&5&lC. 4. >v1ev i ? , >v l ev5 ' , P,Q 1= S. 5. Некоторые В суть не А, но ни одно В не есть С, тогда некоторые не А суть не С. 6. \/хР(х,а)=> Ву'^хР(х,у). х~\, если х >0 О, если х = 0. 13. (]5=>14)=:>(у(^5). 14. {{Nx)=>iNy))&z, (y=>x)&z. \5.А*пВ*,А*^С* А*п(В*иС*). Вариант 2 298