Multiple quantifier translation

Question

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!

yunone · Accepted Answer · 2011-06-04 07:34:51Z

up vote 2 down vote accepted

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."

edited Jun 4 '11 at 7:34

answered Jun 4 '11 at 7:19

yunone
10.7k21458

	what do you think of "For all things that not one thing is in back of it, that thing is large." – KerxPhilo Jun 4 '11 at 7:36
	@Kerx, yes, I believe that works as well. – yunone Jun 4 '11 at 7:38
	thank you very much. – KerxPhilo Jun 4 '11 at 7:39

1 Answer