Introduction to Logic

Exercise 2.6 - Counting

Consider a world with n object constants, no function constants, and a single binary relation constant. How many distinct facts can be written in this language?

n     n2     2n     nn     2n2     22n