Дискретная математика, Предикаты :) Опции

[Shadow]

привет!!
Вот собственно нужна помощь в объяснении
весь материал основывался на Дискретке Яблонского
а эта книга не для самостоятельного изучения
и ни одного пример решения таких задач в материалах
не дается
-----------------------------
-----------------------------
# - квантор всеобщности
$ - квантор существования
---------------------------
Дана формула

#x(P(x)&Q(x)>R(x))

---------------------------
в которой предикаты определены
на множестве натуральных чисел
-----------------------------
найти значение этой формулы, если
--------
Предикаты
P(x)- число делится на 3 без остатка
Q(x)- число делится на 4 без остатка
R(x)- число делится на 2 без остатка
& - конъюнкта
> - импликация