Verified answer

It depends on the context. Usually, P(p, q) means "Function P, in terms of p and q", but this looks like a logic problem, where it is simply saying "Logic statement P, which involves p and q" [that's the P(p, q) part] then it defines the logic problem of "If 'p', then 'q'" [that's the (p ⇒ q) part]

From that info, it seems to simply be saying

"If p then q", so if there is more context to this problem, then more can be conjectured.