Given the first-order formula
.
Which of the following statements hold?

Question

Given the first-order formula  
  . 
 Which of the following statements hold?

Answer

is the Skolem normal form of the given formula.

Answer

The formula is satisfiable.

Answer

A formula of the Herbrand expansion is   .

Answer

The formula is unsatisfiable.

Answer

is the Skolem normal form of the given formula.

Answer

A formula of the Herbrand expansion is   .

Answer

A formula of the Herbrand expansion is   .

Answer

The formula is valid.

Crowdly