(a) Convert following sentences to the predicate calculus form: (i) N…

Previous year question for Artificial Intelligence.

Question

(a) Convert following sentences to the predicate calculus form:

(i) None of my friends are perfect

(ii) Some real numbers are rational

(iii) Anyone who loves everyone loves himself.

(b) Write an algorithm for conversion to clause form. Explain each step with relevant illustrations and examples.

Related pages

More PYQs on First Order Logic - Syntax and Semantics

Open on CachedInfo