Chapter 16
Embracing QL Translations
IN THIS CHAPTER
Recognizing the four basic forms of categorical statements
Using the universal or existential quantifier to translate the basic forms
Translating English statements that begin with words other than all, some, not all, or no
In Chapter 15, I introduce you to quantification logic (QL), paying special attention to the two quantifiers
and
(the universal and existential quantifiers, respectively). I also show you how to translate a few simple statements into QL.
In this chapter, I show you how to translate the four basic forms of categorical statements from English into QL. These tend to be statements that begin with the words all, some, not all, and no. (Take a quick look at Chapter 2 for more information about categorical statements.)
This chapter also covers how to translate each of these four forms using either the
or the quantifier. ...
Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month,
and much more.
Read now
Unlock full access