- $E(x,y)$: $x$ can eat $y$
- $L(x,y)$: $x$ loves eating $y$
- $D$ is the domain of all dogs
- $S$ is the domain of all snakes
Predicate Logic to English:
$\forall a \in S,\sim \ \bigg[ \exists c \in S,\ a\ \ne c \ \wedge E(a,c)\bigg] \iff \forall b \in D, \ L(a,b)$:
All snakes, a, cannot eat any other snakes , if and only if, all snakes, a, loves eating all dogs.
Any thoughts on if this is accurate and/or a way to condense this statment?