Up: Logic [Top][Contents]
Propositional logic extended with
predicates and quantifiers
to work over
non-logical domains of discourse
like sets.