Consider the following Lewis Carroll argument: "Every eagle can fly.""Some pigs cannot fly.""Some pigs are not eagles."Which of the following is the correct representation in predicate logic? You can assume that the domain for the predicates consists of all creatures.

Multiple choice question.

$$x $($eagle$($x$)$ flies$($x$))$

$$x $($pig$($x$)$flies$($x$))$

$$x $($pig$($x$)$eagle$($x$))$

$$x $($eagle$($x$)->$ flies$($x$))$

$$x $($pig$($x$)->$flies$($x$))$

$$x $($pig$($x$)$eagle$($x$))$

$$x $($eagle$($x$)->$ flies$($x$))$

$$y $($pig$($y$)$flies$($y$))$

$$z $($pig$($z$)$eagle$($z$))$

$$x $($eagle$($x$)->$ flies$($x$))$

$$x $($pig$($x$)$flies$($x$))$

$$x $($pig$($x$)$eagle$($x$))$