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

17 15. А^пВ^, A^uC^, Г)(В^иС^). Вариант 22 1 . А необходимо для В, а В достаточно для Си ^4, но ^ не эквивалентно С либо В. (]ivl:vDvC& ]В)&А& 1(CVD)&(1AVBV1CVD)VB&A& 1В. lA\yCvB^lZ. (А^В)^(C^D), (D^E) =>F 1=А vF. Когда некоторые В суть не А, а ни одно В не есть С, тогда некоторые не А суть С. 3xVy(P(x)^lQ(x,y)). А=Бх VyR(a,f(x,b),y)^VxP(x,x), В= Vx3yQ(x,y)^3y VxP(y,x). Все С есть не D. Все А суть D. Все В суть С. Следовательно, некоторые В есть не^. Р=Ьса, Q=bcacdaccdd. 10. P=abc, Q=abcbccab. 11. Смотри условия задачи. 12. (x+yj+z. 13. fA^AJ^f ^A^AJ^BJ. \А. N((Nx)^y) vz, (y^(Nx)) vz. 15. A^uC^, A^ d B ^, A^ и(В^Г)С^). Вариант 23 A когда В либо С, А В необходимо для ^4 и С, но из С не следует ^4. 2. (AvC)&(Dv(~k&lC))v(b&~k)v(AvC)&(l:vlD) vB&A&~k. 3. А^(В^). 4. А, В^, D^, В v(A^D) 1= С. Если все А суть не В. Некоторые С суть В, тогда некоторые С суть А. 3xVyP(x,y)^ Vy3xP(x,y). A=3y VxR(x,b,y)^VxP(a,x), B =3z3y VxQ(y,x,z)^Vx3yP(x,y). Некоторые С есть D. Все A суть не D. Все В суть С. Следовательно, все В суть А.