Skip to main content
Humanities LibreTexts

Chapter 4: Quantified logic

  • Page ID
  • 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?