Logic is a branch of philosophy that deals with reasoning. Logic is used in mathematics, computing, philosophy, culture, and more. This section covers all formal and informal logic and all sub-sets of logic.