Chapter 4: Quantified logic
This chapter introduces a logical language called QL. It is a version of quantified logic , because it allows for quantifiers like all and some . Quantified logic is also sometimes called predicate logic , because the basic units of the language are predicates and terms.