Found:

predicate logic

**SEMANTICS: **the logical system in which the atomic propositional letters
of propositional logic are analyzed in terms of combinations of predicates and individual terms. The basic expressions are predicates and individual constants and variables instead of propositions.
** EXAMPLE:** sentence (i) would be translated in propositional logic with
a mere *p* (for proposition).

(i) John walksIn predicate logic, we analyze

LIT. | Gamut, L.T.F. (1991) |