Логика предикатов. Логические следствия.

Задание 6 1.Пусть S(x) означает «число х – нечетное» Что означают утверждения: S(7) ?x S(х) ?x S(x) 2.Какие из них истинны, какие нет? Введен предикат L(x,y) «х любит y -ка» Как записать утверждения: «Марго не любит Ваню» «Никто не любит всех» «Все любят Деда Мороза» Задание № 7. Формализовать рассуждение на языке ИП: ввести необходимые предикаты, переменные, константы. С их помощью записать в виде формул посылки и заключение. Ни один студент не приобретает с рук подержанный магнитофон. Некоторые люди, которые приобретают с рук подержанные магнитофоны, спекулянты. Следовательно, некоторые спекулянты не являются студентами. Задание № 10 Построить множество дизъюнктов для рассуждения. Для этого привести посылки и отрицание заключения к ПНФ, а затем к Сколемовской стандартной форме. Методом резолюции вывести пустой (тождественно ложный) дизъюнкт из исходного множества дизъюнктов, доказав тем самым справедливость рассуждения. Ни один студент не приобретает с рук подержанный магнитофон. Некоторые люди, которые приобретают с рук подержанные магнитофоны, спекулянты. Следовательно, некоторые спекулянты не являются студентами. Практическое задание 12 Построить линейную разделяющую функцию для двух классов Класс 1 и Класс 2. Координаты точек для каждого класса заданы в таблице (по 3 точки в каждом классе). Предварительно представьте 6 точек на плоскости. Когда решение найдено – нарисуйте прямую, разделяющую классы 1 и 2 в соответствии с полученным уравнением.