a modern type of formal logic using special symbols for propositions, quantifiers, and relationships among propositions and concerned with the elucidation of permissible operations upon such symbols; mathematical logic.