The process of deducing information correctly, not just deducing correct information. Logic provides the formal rules for valid reasoning and argumentation.
Context
Logic underpins all of mathematics and computer science. For example, propositional logic uses connectives like AND, OR, NOT, and IMPLIES to build compound statements from simpler ones. Predicate logic extends this with quantifiers (for all, there exists) to reason about collections of objects.