Логика предикатов (мат логика 2 задачи)

[Deathcube]

Здравствуйте! не особо понимаю данную тему по этому хочу чтобы кто-нибудь кто знает решил с объяснением два предложения на языке логики предикатов. Большое спасибо и куча благодарности кто сделает!)

1) Любое число имеет хотя бы один простой делитель
Тут подсказка только есть в виде - простой делитель y делит x и y - простое число (пример 7,3,11)
2) Некоторые студенты,лишенные способностей, не прилежны

Вот пример записи одного из предложений
1. Для любого числа можно найти большее число
M = {x|x - "число"}
P(x;y) - "x > y"
квантор общности x(P(x)^Q(y)vR(x;y))