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

5 13. Доказать методами исчисления высказываний, что данная формула является теоремой исчисления высказываний. 14. Выяснить, равносильны ли приведенные формулы в трёхзначной логике Лукасевича. Желательно сделать это с помощью разработанной вами программы на любом известном вам алгоритмическом языке. 15. Пусть нечеткие множества^*, и С* определены на универсальном множестве U={x: О <х <10} функциями принадлежности: 1 ( 1 ^ ^ / у 1Лд^(х)=- , 1Л^^(х)= , lUc*(x) = 1 + пх 1+ ш 1-\-пх / здесь п=1+[N](mod 25) и N =(ваш номер в списке группы)+(номер вашей группы). Построить (в аналитическом виде и графическом) функции принадлежности для нечетких подмножеств, указанных для вашего варианта. Вариант 1 1 . А достаточно для В, а В необходимо для С или А, но А не эквивалентно С. 2. A&CVA&D& T vA& I:VD&B& 1D VB&A& LO&D vB vB vB&B&A& 1В. 3. A&CvA&B&lC. 4. A^(B^), 1= (A^) vB. 5. Bee A суть не В, a некоторые В суть С, кроме того, суш,ествуют А, такие, что С. 6. Vx3yP(x,y)^VxP(x,x). 7. А= Vx3yP(x,y)^VxP(x,x), В =3х VyP(x,y)^By VxP(y,x). 8. Пи одно С не есть D. Все А суть D. Все В суть С. Следовательно, все В не есть А. 9. Р=ааЬсс, Q=aabccdabcdd. \0. P=aabc, Q=aabccdab. ix-1, если х>0 11. Смотри условия задачи. 12. SfxJ=< О, если X = 0.