(logic) an operation that follows the rules of symbolic logic
an operation that follows the rules of symbolic logic