Skip to main content
Humanities Libertexts

Chapter 4: Quantified logic

  • Page ID
    1056
  • 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.

    • Was this article helpful?