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