мат логика (минич)

отзыв на задание:

В задаче 3 используем предикат Fr(x), иначе придется вводить еще одну переменную f(x) с квантором.

В задаче 4 можно ввести Универсумы: N- множество натуральных чисел, M={2,3,4,5,6} и предикат "60 делится на y" (y Э M), и не расписывать каждое по отдельности.

Также лучше обозначать импликацию как в задаче 2.

В задаче 7 не только положительного целого числа n, но и равного 0.

В задаче 8 неверный порядок. И, пожалуйста, запишите в ответе исходные функции, а не введенные обозначения.