Математическая логика

Два варианта 5 и 6
Оформление Ворд 14-й шрифт Задания в прикрепленных файлах
ЗАДАНИЕ 1. Тема «Логика высказываний»
Формализуйте в терминах логики высказываний, следующие
составные выражения.
ЗАДАНИЕ 2. Тема «Логический вывод»
Выяснить, является ли логически правильными следующие
рассуждения. В доказательстве использовать метод резолюций.
ЗАДАНИЕ 3. Тема «Формализация в логике предикатов»
Формализуйте в терминах логики предикатов, следующие
высказывания.
ЗАДАНИЕ 4. Тема «Нормальные формы в логика предикатов»
Найти предваренную нормальную форму (КлНФ) для формул логики
предикатов. Предложить свою интерпретацию для формулы.
ЗАДАНИЕ 5. Тема «Нечеткие множества и отношения»
Определите нечеткое множество. Найдите высоту, ядро множества,
носителей и точки перехода.