It provides an account of quantifiers general enough to express a wide set of arguments occurring in natural language.
Η κατηγορηματική λογική παρέχει έναν απολογισμό από ποσοδείκτες αρκετά γενικούς ώστε να εκφράσουν ένα ευρύ σύνολο από επιχειρήματα που εμφανίζονται στη φυσική γλώσσα.