Exercise 19.7 [foil-literals-exercise]
Suppose that is considering adding a literal to a clause using a binary predicate $P$ and that previous literals (including the head of the clause) contain five different variables.
-
How many functionally different literals can be generated? Two literals are functionally identical if they differ only in the names of the new variables that they contain.
-
Can you find a general formula for the number of different literals with a predicate of arity $r$ when there are $n$ variables previously used?
-
Why does not allow literals that contain no previously used variables?
Answer
Improve This Solution
View Answer