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

7 Некоторые С не есть D. Все А суть не D. Все В суть С. Следовательно, все В суть А. Р=ссааЬ, Q=ccaabccabcdd. \0. P=cabc, Q=cabccdab. I I \x- у, если x> у 11. Смотри условия задачи. 12.1 х-у\ = \ [у-х, если X < у. А^(]В^1(А^В)). 14. ((Nx)v(Ny))&z, (N(y&x))&z. 15. А^пВ^, А^иС^, А^Г)(В^иС^). Вариант 4 1. Если А, то В, dL В достаточно для С или ^4, но ^ не эквивалентно не С. 2. (AVI:)&(1A&DVB&DV1A& bvB& 1D)&(AVC)VB&A& 1В. (А^) VA&B& T. IPVIQVR, PVR, QVR |=i?. Ни одно С не есть Д но все А суть D, а все В суть С или ^4. (ЗхР(х)) v3xQ(x)=Зх(Р(х) vQ(x)). А= VxByP(x,f(x,y)) ^VxP(x,x), В= Vx3yQ(x,a,y) ^3 у VxP(y,x). Все^ суть не В, а некоторые В суть С, следовательно, не существует ^4, таких что В или С. P=ddaab, Q=ddaabbbabcdd. 10. P=ddccc, Q=ddcccbccab. \1, если x = 0 11. Смотри условия задачи. 12. sg^(x)= < [О, если ХФО. 13. (А^В )^((1 а^В)^В). 14. ((Nx)^(Ny))&z, ((Ny)^(Nx))&z. 15. B^lX!^, А* и(В^пС^). Вариант 5 А тогда, когда В, а В только тогда, когда С или А, но А недостаточно для С. (AvD)&(B& l :vB&DvC&Bvb&D)&(bvA)vB&A& 1в. A&Cv(A^B)& t. PvQ,RvQ,R^, 'kv^, ЪvlQ\R&Q.