Translate the following statement into symbolic form Jones c

Translate the following statement into symbolic form:

Jones can drive any car in the lot.

using the following notation.

Cx: x is a car

Lx: x is in the lot

j: Jones

Dxy: x can drive y

Solution

Cx: x is a car

Lx: x is in the lot

j: Jones

Dxy: x can drive y

Answer: Dj (x)CxLx
explaination: j can drive (x)CxLx which is
   (x) - for any x
   Cx- x is a car and then
Lx- x is in the lot
so on combining we can easilly see that the logical expression correctly says \"Jones can drive any car in the lot\"