Symbolic logic