Index · Правила · Поиск· Группы · Регистрация · Личные сообщения· Вход

Список разделов Нужна помощь
 
 
 

Раздел: Нужна помощь Помогите с Мат.Логикой \ Парочка задач 

Создана: 06 Февраля 2011 Вск 17:48:51.
Раздел: "Нужна помощь"
Сообщений в теме: 3, просмотров: 1994

  1. 06 Февраля 2011 Вск 17:48:51
    Задание 1. Доказать секвенцию исчисления высказываний тремя способами:

    - сравнением таблиц истинности
    - построением доказательства в виде дерева
    - методом резолюции

    вот сам пример -
    сравнение таблиц истиности сделал, со следующими помогите разобраться как и с чего начать.

    Задание 2. Перевести с естественного языка на язык исчисления предикатов и сделать вывод, если это возможно.

    Некоторые устрицы молчаливы.
    Молчаливые существа не очень-то забавны.
  2. 06 Февраля 2011 Вск 17:55:59
    Укуренные устрицы забавно плавают брасом. Брасом плавать не каждый сможет сразу, даже предварительно курнув.
  3. 06 Февраля 2011 Вск 17:58:36
    молодец сфлудил хорошо