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

8 Все D суть В, ни одно А не есть не С, также ни одно В не есть С. (ЗсР(х)) v3xQ(x)=3xBy(P(x) vQ(y)). А= VxByP(х,у)^VxQ(a,f(x,y)), В =БхЭуР(х,у)^Бу VxP(y,x). Некоторые С не есть D. Все А суть D. Все В суть не С. Следовательно, все В есть А. P=ccdda, Q=ccdddacdabcdd. 10. P=acacb, Q=acacbccdab. 11. Смотри условия задачи. 12.x/ 13. 1А=^(А=^В). 14. (Nx) v((Ny)&z), x^((Ny)&z). 15. C^n A*, A^uC*, A^nfB^uC^J. Вариант 6 A при условии, что для в, а в влечёт С и ^4, но ^ не эквивалентно С. (1AVBVCVD )&(1 AVCVDV 1:&В)&А& J T vD) VB&C& 1в. A^ vA&B& P, QVIP, HVL'VLQ^^ H&p. He все A суть не В, a некоторые В суть С, кроме того, не существует А таких, что В. (VxP(x))& VxQ(x)=Vx(P(x)&Q(x)). A= Vx3yQ(a,x,y)^VxP(x,x), B= Vy3xP(x,f(y))^3y VxP(y,x). Ни одно С не есть D. Все А суть не D. Некоторые В суть не С. Следовательно, все В суть А. Р=аЬса, Q=abcacdaaad. \O.P=abc, Q=abccbaa. 11. Смотри условия задачи. \2.min(х,у). 13. (Ia^IA)^(A^A). 14. ((Nx)^;)&z, (x^y)&(y^(Nx))&z. 15. A^n В ^, А^иС^, А^Г)(В^иС^). Вариант 7 А необходимо для В, а В когда С и ^4, но ^ не эквивалентно С и В. (A&CvD)&(~kvlC)vD&Av(~kvlC)&(CvlD)vB& 1 а & Ъ.