Студопедия
Случайная страница | ТОМ-1 | ТОМ-2 | ТОМ-3
АрхитектураБиологияГеографияДругоеИностранные языки
ИнформатикаИсторияКультураЛитератураМатематика
МедицинаМеханикаОбразованиеОхрана трудаПедагогика
ПолитикаПравоПрограммированиеПсихологияРелигия
СоциологияСпортСтроительствоФизикаФилософия
ФинансыХимияЭкологияЭкономикаЭлектроника

Получение следствий из данных посылок



Читайте также:
  1. Decide which answer А, В, С or D best fits each space. Подумайте, какие из предложенных ответов лучше подходят для данных выражений.
  2. Decide which answer А, В, С or D best fits each space. Подумайте, какие из предложенных ответов лучше подходят для данных выражений.
  3. Hand-тест и его теоретический конструкт. Процедура обследования и интерпретация данных.
  4. III. Работа с внешней памятью данных (ВПД).
  5. L Страх последствий
  6. VII. Образуйте Participle II oт глаголов, данных в скобках. Полученные словосочетания перепишите и переведите.
  7. VII. Образуйте Participle II от глаголов, данных в скобках. Полученные словосочетания переведите.

 

Получение следствий из данных посылок можно осуществить, получив СКНФ данных посылок, тогда все возможные сочетания элементарных конъюнкций и будут всевозможными следствиями из данных посылок. Например:

Следствия данных посылок:

Нужно получить СКНФ и перебрать все возможные комбинации конъюнкций (в данном случае у нас, их 7), т.е. получается булеан от членов СКНФ без одного элемента (пустого множества).

 


Дата добавления: 2015-07-11; просмотров: 152 | Нарушение авторских прав






mybiblioteka.su - 2015-2024 год. (0.005 сек.)