What discipline uses symbolic logic for analysis?

The discipline that uses symbolic logic for analysis is Boolean algebra. Boolean algebra is fundamental in various areas such as computer science, electrical engineering, and mathematical logic, where it provides a formal framework for reasoning about true and false values. It employs binary variables, which can take on the values of true (1) or false (0), and uses logical operations like AND, OR, and NOT to create expressions and perform reasoning tasks.

In contrast, while set theory involves the study of collections of objects and provides foundational concepts in mathematics, it does not primarily revolve around symbolic logic in the same way that Boolean algebra does. Linear algebra focuses on vector spaces and linear mappings between them, dealing with systems of linear equations and matrices, which do not employ symbolic logic directly. Calculus is concerned with change and motion, focusing on rates of change through derivatives and the accumulation of quantities through integrals, and does not utilize symbolic logic for analysis.

Thus, Boolean algebra is the distinct discipline that relies on symbolic logic as a core component for analysis, making it the correct choice.