In mathematical and philosophical reasoning, symbolic logic entails the use of symbols to express concepts, relations, and positions. ...