Which of the choices below is a correct translation of "Rocks will fall if and only if they are nudged" (R, F, N)
A)(x)[Rx ? (Fx ? Nx)]
B)(x)[(Fx ? Nx) ? Rx]
C)(x)[(Rx ? Nx) ? Fx]
D)(x)[(Rx ? (Nx ? Fx)]

Question

Quizplus · Accepted Answer

The correct translation is (x)[Rx ? (Fx ? Nx)], which means "For all x, if x is an R, then x is an F if and only if x is an N." This is equivalent to the statement "Rocks will fall if and only if they are nudged."

Which of the Choices Below Is a Correct Translation of "Rocks