Пусть p(x) означает, что x простое число, o(x) означает, что целое x нечетное, e(x) - x четное, d(x,y) - y делится на x. использую кванторы, составить формулу утверждений: "любое целое число четно или нечетно", "любое целое число делится на какое-либо простое".