in logic, the formal analysis of logical terms and operators and the structures that make it possible to infer true conclusions from given premises.