Das premissas “Gilberto dorme somente se Cláudio estuda”, “Antônio corre somente se Carlos nada” e “Se Antônio não corre, Cláudio não estuda”, pode-se inferir que:
E) ∀x∀y(F(x)^~G(y)).
A) se Carlos nada, Antônio corre.
B) se Gilberto dorme, Carlos nada.
C) se Antônio corre, Cláudio estuda.
D) se Cláudio estuda, Gilberto dorme.
E) se Gilberto não dorme, Carlos não nada.