Predicate Logic In Artificial Intelligence Practice Questions With Solution

Practice Questions on Logic1. Translate each of the following sentences into First Order Logic (FOL).(a) Not all cars have carburetors:8 x[car (x ) ! carburetors (x )] or9 x [car (x ) ^ : carburetors (x )](b) Some people are either religious or pious9 x (R (x ) P(x )) 9 x:(R (x ) $ P(x )) or:8 x[R (x ) $ P(x )] or9 x (( R(x ) ^ : P(x )) _(: R (x ) ^ P(x ))(c) No dogs are intelligent8 x (dog (x ) ! : I ntelligent (x )) or:9 x(dog (x ) ^ I ntelligent (x ))(d) All babies are illogical8 x (baby (x ) ! illogical (x )) or:9 x(baby (x ) ^ : illogical (x ))(e) Every number is either negative or has a square root8 x :(negative (x ) $ sqroot (x )) or:9 x(negative (x ) $ sqroot (x )) or8 x (( negative (x ) ^ : sqroot (x )) _(: negative (x ) ^ sqroot (x ))(f ) Some numbers are not real9 x : Real (x ) or :8x Real (x )(g) Every connected and circuit-free graph is a tree8 x [(conn (x ) ^ : cir(x