a branch of symbolic logic in which symbols are used to represent names and predicates within propositions and to analyse their relationships