Computational Law
Law
without
Lawyers
 

Exercise 2.6 - Counting Facts


Consider a world with n symbols, no constructors, and a single binary predicate. How many distinct facts can be written in this language?

n     n2     2n     nn     2n2     22n