Главная Случайная страница

Полезное:

Как сделать разговор полезным и приятным Как сделать объемную звезду своими руками Как сделать то, что делать не хочется? Как сделать погремушку Как сделать так чтобы женщины сами знакомились с вами Как сделать идею коммерческой Как сделать хорошую растяжку ног? Как сделать наш разум здоровым? Как сделать, чтобы люди обманывали меньше Вопрос 4. Как сделать так, чтобы вас уважали и ценили? Как сделать лучше себе и другим людям Как сделать свидание интересным?

Категории:

Архитектура Астрономия Биология География Геология Информатика Искусство История Кулинария Культура Маркетинг Математика Медицина Менеджмент Охрана труда Право Производство Психология Религия Социология Спорт Техника Физика Философия Химия Экология Экономика Электроника

Используя метод резолюций логики предикатов, произвести доказательство теоремы, сколемовская нормальная форма которой получена в результате выполнения задания 7

⇐ ПредыдущаяСтр 4 из 4

9. Построить функцию принадлежности P(x), по графику функций принадлежности:

9.1) P=p₁Èp₂Çp₃; 9.2) P=p₁®p₂Çp₃;

9.3) P=p₁Çp₂Çp₃; 9.4) P=Øp₁Çp₂®p₃;

9.5) P=Öp₁®p₂Çp₃;

9.11) P=p₁Èp₂®p₃; 9.12) P=p₁®p₂®p₃;

9.13) P=p₁Çp₂Çp₃; 9.14) P=Øp₁Çp₂ÇØp₃;

9.15) P=Öp₁ÇÖp₂®p₃;

9.21) P=p₁®p₂®p₃; 9.22) P=p₁Çp₂®p₃;

9.23) P=p₁Èp₂Çp₃; 9.24) P=Øp₁Çp₂Çp₃;

9.25) P=p₁®p₂ÇÖp₃;

9.6) P=p₁Èp₂Èp₃; 9.7) P=Øp₁Çp₂®p₃;

9.8) P=p₁ÇÖp₂Çp₃; 9.9) P=Øp₁®p₂Çp₃;

9.10) P=Öp₁Çp₂®p₃;

9.16) P=p₁ÈÖp₂Çp₃; 9.17) P=p₁®p₂Çp₃;

9.18) P=p₁Çp₂Çp₃; 9.19) P=Øp₁®p₂®p₃;

9.20) P=Öp₁®p₂Çp₃;

9.26) P=p₁Èp₂®p₃; 9.27) P=p₁®p₂Çp₃;

9.28) P=p₁Çp₂Çp₃; 9.29) P=p₁Çp₂®p₃;

9.30) P=p₁®p₂Çp_3.

10. Выполнить Modes Ponens для приближенных рассуждений A (x), P (x,y) B (y):

9.1) ;

9.2) ;

9.3) ;

9.4) ;

9.5) ;

9.6) ;

9.7) ;

9.8) ;

9.9) ;

9.10) ;

9.11) ;

9.12) ;

9.13) ;

9.14) ;

9.15) ;

9.16) ;

9.17) ;

9.18) ;

9.19) ;

9.20) ;

9.21) ;

9.22) ;

9.23) ;

9.24) ;

9.25) ;

9.26) ;

9.27) ;

9.28) ;

9.29) ;

9.30) .

10.1) ;

10.2) ;

10.3) ;

10.4) ;

10.5) ;

10.6) ;

10.7) ;

10.8) ;

10.9) ;

10.10) ;

10.11) ;

10.12) ;

10.13) ;

10.14) ;

10.15) ;

10.16) ;

10.17) ;

10.18) ;

10.19) ;

10.20) ;

10.21) ;

10.22) ;

10.23) ;

10.24) ;

10.25) ;

10.26) ;

10.27) ;

10.28) ;

10.29) ;

10.30) .

⇐ Предыдущая 1 2 34

Date: 2016-01-20; view: 824; Нарушение авторских прав

mydocx.ru - 2015-2025 year. (0.011 sec.) Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав - Пожаловаться на публикацию