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



Дата24.07.2016
өлшемі41.5 Kb.
Задание 1

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

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

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



Задание 2

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

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

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

кислота.

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





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



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

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

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

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




Каталог: ld
ld -> 2 Б. Майлиннің өмірі
ld -> Мазмұны Кіріспе 4
ld -> Синаның (Авиценна) "Медицина канондары" атты еңбегі XІV ғасырға дейін дерлік барлық дәрігерлер үшін канондар ретінде пайдаланылды
ld -> 2015 жылғы «21» маусымдағы №186 Батыс Қазақстан облысы әкімдігінің
ld -> 5 Қоғамның қалыптасу кезеңдері
ld -> Первичными числами являются: 618, 786, 27, 618
ld -> Окисление и галогенирование действием галогенов и галогенидов: экспериментальное и теоретическое исследование реакций, новые методы синтеза вицинальных ди-, поликарбонильных соединений и арилгалогенидов 02. 00. 03 органическая химия


Достарыңызбен бөлісу:


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

    Басты бет