Introduction to Logic
Tools
for
Thought
 

Exercise 7.2 - Counting


Consider a language with n object constants and a single binary relation constant.

a. How many ground terms are there in this language?
n     n2     2n     2n2     22n
 
b. How many ground atomic sentences are there in this language?
n     n2     2n     2n2     22n
 
c. How many distinct truth assignments are possible for this language?
n     n2     2n     2n2     22n