Symbolic logic

The use of symbols to represent logical relationships.