Question 1

Under what circumstances would this statement be true

(?z)(?y)[(G(z) & W(y)) ? E(y,z)]]

Check all that apply.

Question 18 options:

	If there are no wolfs.
	If there is a wolf who has eaten every goat.
	If every goat was eaten by a wolf.
	If there are no goats.

question 2

Under what circumstances would this statement be false

(?z)(?y)[(G(z) & W(y)) ? E(y,z)]]

Check all that apply.

Question 19 options:

	If there is a goat that was not eaten by a wolf.
	If there is a wolf that has not eaten a goat.
	If some goat was eaten by a wolf.
	If there is a single wolf that has eaten every goat.