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
n
2
2
n
2
n
2
2
2
n
b.
How many ground atomic sentences are there in this language?
n
n
2
2
n
2
n
2
2
2
n
c.
How many distinct truth assignments are possible for this language?
n
n
2
2
n
2
n
2
2
2
n
