Перейти к содержимому

системы искусств. интеллекта

- лабораторная №2
  • недавно на форуме
  • Pip
  • Вставить ник
  • Цитировать
  • Группа: Новички
  • Сообщений: 2

Помогите! Может кто силен в предмете? Автор методички Павлов С.Н., первое задание лаб. 2.
задание:В тексе надо выделить простые предложения, обозначив их как атомы и затем представить каждое утверждение в виде формулы. Далее доказать теорему, основанную на резолюции путем построения противоречия или опровержения.
Имеются утверждения:
Никакой сладкоежка не откажется от вкусного торта:
Некоторые люди, которые отказываются от вкусного торта, не любят сладкого:
Справедливо ли утверждение: некоторые люди, не любящие сладкого, не являются сладкоежками:

  • 0


1 человек читают эту тему
0 пользователей, 1 гостей, 0 скрытых пользователей