Documents UNIT-2 Predicate calculus Inference theory of predicate calculus Recurrence relations.

Slide 1 UNIT-2 Predicate calculus Inference theory of predicate calculus Recurrence relations Slide 2 UNIT-2 Predicate calculus –Predicates –Statement function –Variables…