Question $7-$ Given the below vocabulary, define the following arithmetic assertions in first$-$order

logic.

Even$(s)$ : Unary predicate which tells that $s$ is an even number.

Prime$($s$)$: Unary predicate which tells that $s$ is a prime number.

: Binary function that returns the sum of its two parameters.

$*$: Binary function that returns the product of its two parameters.

Constant symbols: $0,1$

a$)$ Represent the property $"n$ is an even number" by completing the missing part in the

following sentence.

AAnEven$(n)>$cdots

b$)$ Represent the property $"n$ is a prime number" by completing the missing part in the

following sentence.

AAnPrime$(n)>$cdots