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

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