[1] : The Free On-line Dictionary of Computing (27 SEP 03)

predicate logic
     
         or "predicate calculus" an extension of
        propositional logic with separate symbols for predicates,
        subjects, and quantifiers.
     
        for example, where propositional logic might assign a single
        symbol p to the proposition "all men are mortal", predicate
        logic can define the predicate mx which asserts that the
        subject, x, is mortal and bind x with the universal
        quantifier "for all":
     
        	all x . mx
     
        higher-order predicate logic allows predicates to be the
        subjects of other predicates.
     
        2002-05-21
     
     
see also:
propositional logic predicates subjects quantifiers universal quantifier 

Boolean Logic >> B Words
Boolean Logic, definition of term: Boolean Logic
boolean+logic_pag1.html