Задание 1 Установить правильность рассуждения, построив вывод исчисления высказываний. Проверить вывод методом резолюций



жүктеу 10.93 Kb.
Дата24.07.2016
өлшемі10.93 Kb.
Задание 1

1. Установить правильность рассуждения, построив вывод исчисления высказываний. Проверить вывод методом резолюций.

1. Это вещество может быть кислотой либо щелочью. Это вещество не щелочь. Следовательно, это кислота.

2. Этому никто не поверит. Значит, судья этому не поверит.



Задание 2

1.2. Установить правильность рассуждения, построив вывод исчисления предикатов.

3. Проверить вывод методом резолюций.

1. Это вещество может быть кислотой либо щелочью. Это вещество не щелочь. Следовательно, это

кислота.

2. Этому никто не поверит. Значит, судья этому не поверит.





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



Задание 4. Составление клаузы по легенде

Ниже приведены легенды. Запишите с использованием 4—6 различных букв клаузу, отвечающую тексту или контексту вашей легенды, для чего сформулируйте необходимые посылки и два следствия: одно истинное, другое ложное. С помощью таблицы истинности найдите МНФ.

Задание 5. Задание по логике предикатов

Установить истинность логического выражения своего варианта путем конкретизации.





©dereksiz.org 2016
әкімшілігінің қараңыз

    Басты бет