2
$\begingroup$

Having some difficulty translating into English from Symbolic logic (the mixture of the quantifiers are confusing to me):

∀x(¬∃yBackOf(y, x) → Large(x))

Any suggestions would be appreciated. Thanks!

  • 0
    @yunone, I modified my question. I agree it didn't make sense. Thanks :)2011-06-04

1 Answers 1

2

In English, I would say that as "for any $x$, if there is no $y$ such that $y$ is the back of $x$, then $x$ is large."

  • 0
    @Kerx, yes, I believe that works as well.2011-06-04