please try to explain what the variables are and the transition into predicate logic and what quantifers are

Aalb 1. Let the universe of discourse be all animals. Specify what variables you are using for e.ch ATOMIC predicate, and then translate the following statements into predicate logic expressions. Each translated expression will require exactly one quantifier. 1. Some monkeys have tails but cannot climb. 2. Monkeys cannot run. 2. State the inverse, converse, and contrapositive of the following implication expression as English sentences. Ensure that you list the symbols you will use for each ATOMIC predicate and simplify your expressions and distribute your negation operations as much as possible before translating If it is powerful then it is not interesting or it is not useful. MacBook Pro y U ALE ESO option command command option