a modern type of formal logic using special mathematical symbols to stand for propositions and for the relationships among propositions.