1)Consider the following strings in Cstring (for variable symbols x,y,a unary predicate symbol P and

1)Consider the following strings in Cstring (for variable symbols x,y,a unary predicate symbol P anda binary predicate symbol Q):-Py→→VxPxQxy;→-Py→VxPxQxyFor each of the above strings,determine,with justification,whether or not it is a formula in C.