Лабораторная работа 6-9: КМ-3. Логика предикатов. Логические следствия. Контрольная работа вариант 19

КМ-3. Логика предикатов. Логические следствия.
Контрольная работа
Вариант - 19
Задание № 6
1.Пусть M(x,y) означает «река х впадает в реку y» Что означают утверждения: M(Ока, Волга) M(Днепр, Нева) x M(x, Волга) Какие из них истинны, какие нет?
2.Введен предикат Б(x,y) «х брат y -ка» Как записать утверждения: «Петр брат Ольги» «У некоторых людей есть братья» «Если Петр брат Ольги, то Ольга – не брат Петра»

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

Практическое задание 9
Построить линейную разделяющую функцию для объектов двух классов Класс 1 и Класс 2. Координаты точек для каждого класса заданы в таблице (по 3 точки в каждом классе). Предварительно представьте 6 точек на плоскости. Когда решение найдено – нарисуйте прямую, разделяющую классы 1 и 2 в соответствии с полученным уравнением.