## Review Question

**1. What are three primary uses of symbolic logic in formal logic?**

– to express propositions

– to express the relationships between propositions, and

– to describe how new propositions can be inferred from other propositions that are assumed to be true.

**2. What are the two parts of compound term?**

– a functor, which is the function symbol that names the relation.

– an ordered list of parameters, which together represent an element of the relation.

**3. What are the two modes in which a proposition can be stated ?**

– one in which a proposition is defined to be true

– one in which that the proposition is something to be determined. Continue reading