1) Подтвердить или опровергнуть логическое следование методом резолюций. (рис.1)
2) На множестве М= {1, 2, 3, 4,…, 18, 19, 20} Заданы предикаты:
X – «число x кратно 3»
Y– «число x кратно 4»
Z– «число x четно»
Найти область истинности предиката: (рис.2)
3) Выразить заданное утверждение с формулы логики
предикатов.
УТВЕРЖДЕНИЕ:
Не всякий, в ком есть упорство, может изучить логику, но всякий,
изучивший логику, обладает упорством.
4) Привести заданную формулу логики предикатов к предваренной
нормальной форме. (рис.3)
5) Определить степень истинности составного нечеткого
высказывания, если μ(x)= 0,3, μ(y) = 0,6 и μ(z) = 0,9 (рис.4)
6) (а) Найти функцию f(x,y), полученную из функций g(x) и h(x,y,z) по
схеме примитивной рекурсии.
2. (б) Проверить результат на 2 наборах переменных x и у.
Я конечно понимаю, что это не информатика, но вдруг кто-то сможет