ДЗ: Вариант 2 - Практическое задание вариант 2

Практическое задание 1. Построение таблиц истинности

Практическое задание 2 Упростить выражение (левую часть):

Практическое задание 3. Построение ДНФ и КНФ

Практическое задание 4. Формализация рассуждений ИВ

В задании 6 требуется выразить утверждения естественного языка средствами формальной системы Исчисление предикатов 1 порядка. Также необходимо оценить истинность или ложность записанных утверждений в конкретной интерпретации.

Задание № 7

Формализовать рассуждение на языке ИП: ввести необходимые предикаты, переменные, константы. С их помощью записать в виде формул посылки и заключение.

Вариант 2. Все дельфины относятся к китообразным. Ни одна рыба не является китообразной. Следовательно, ни одна рыба не является дельфином.

Задание № 8.

Доказать справедливость рассуждения на языке ИП. Построить множество дизъюнктов для рассуждения. Для этого привести посылки и отрицание заключения к ПНФ, а затем к Сколемовской стандартной форме. Использовать формализацию из задания № 7.

Вариант 2. Все дельфины относятся к китообразным. Ни одна рыба не является китообразной. Следовательно, ни одна рыба не является дельфином.

Задание № 9

III. Доказать справедливость рассуждения (взять свой вариант из задания на исчисление высказываний) методом резолюции

Вариант 2. Если завтра будет холодно, то я надену теплое пальто, если рукав будет починен. Завтра будет холодно, а я не надену теплое пальто. Следовательно, рукав не будет починен.

Задание № 10

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