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

1. Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций.
2. Пусть Омега - множество людей. На множестве Омега заданы следующие предикаты:
1. E(x, y) = И x и y – один и тот же человек;
2. P(x, y) = И x родитель y;
3. C(x, y) = И x и y – супруги;
4. M(x) = И x – мужчина;
5. W(x) = И x – женщина.
С использованием этих предикатов записать формулы, выражающие следующие утверждения: X – сноха