symbolic logic,
n.
another term for
formal logic
.
