Conditional Symbol Logic