# Logic (disambiguation)

is the study of the principles and criteria of valid inference and demonstration.Logic **Logic**may also refer to:**In logic and mathematics***A branch of logic:

**Inductive logic , also called induction or inductive reasoning

**Informal logic , the study of arguments as presented in ordinary language

**Deductive logic , also called natural deduction

*A branch of mathematics:

**Symbolic logic , the area of mathematics that studies the purely formal properties of strings of symbols

**Mathematical logic , a branch of mathematics that grew out of symbolic logic

*A specific**logical system**or family of such systems in mathematical logic, such as:

**Propositional logic , in which the formulae are built up from "atoms"

**Predicate logic , in which the formulae may contain predicates and variables that can be quantified over

**Higher-order logic , in which also "predicate variables" can be quantified over

**Classical logic , which embraces the principle of the excluded middle ("P" OR NOT "P")

**Intuitionistic logic , which rejects the principle of the excluded middle**In computer science***

Program logic , the use of mathematical logic for reasoning about computer programs**In computer technology***

Logic gate , an electronic device capable of combining and processing symbols in digital circuits

*Digital logic , a class of digital circuits characterized by the technology underlying its logic gates, such as:

**Diode logic , using diodes for realizing logic gates

**Resistor–transistor logic , using resistors in combination with transistors

**Diode–transistor logic , using diodes (and resistors) in combination with transistors

**Transistor–transistor logic , like diode–transistor logic but where the diodes have been replaced by more transistors**In software***

Logic Studio , a music production suite by Apple Inc.

**Logic Pro , a MIDI sequencer and Digital Audio Workstation application, part of Logic Studio

*Dolby Pro Logic , also known as Pro Logic, a surround sound processing technology

*Wikimedia Foundation.
2010.*

### Look at other dictionaries:

**Logic**— For other uses, see Logic (disambiguation). Philosophy … Wikipedia**! (disambiguation)**— ! is a punctuation mark called an exclamation mark, exclamation point, ecphoneme, or bang. ! may also refer to: Contents 1 Mathematics and computers 2 Music 3 … Wikipedia**Open world (disambiguation)**— Open world may refer to: Open world, a video game design concept Open world assumption, a knowledge representation assumption in formal logic This disambiguation page lists articles associated with the same title. If an … Wikipedia**Memory disambiguation**— is a set of techniques employed by high performance out of order execution microprocessors that execute memory access instructions (loads and stores) out of program order. The mechanisms for performing memory disambiguation, implemented using… … Wikipedia**Dynamic logic**— may mean: In theoretical computer science, dynamic logic (modal logic) is a modal logic for reasoning about dynamic behaviour In digital electronics, dynamic logic (digital electronics) is a technique used for (clocked) combinatorial circuit… … Wikipedia**Omega-logic**— In mathematics, ω logic can refer to: ω logic, an infinitary extension of first order logic Ω logic, a deductive system in set theory developed by Hugh Woodin This disambiguation page lists mathematics articles associated with the same title. If… … Wikipedia**Theory (mathematical logic)**— This article is about theories in a formal language, as studied in mathematical logic. For other uses, see Theory (disambiguation). In mathematical logic, a theory (also called a formal theory) is a set of sentences in a formal language. Usually… … Wikipedia**Diode–transistor logic**— DTL redirects here. For other uses, see DTL (disambiguation). Diode–transistor logic (DTL) is a class of digital circuits that is the direct ancestor of transistor–transistor logic. It is called so because the logic gating function (e.g., AND) is … Wikipedia**Boolean algebra (logic)**— For other uses, see Boolean algebra (disambiguation). Boolean algebra (or Boolean logic) is a logical calculus of truth values, developed by George Boole in the 1840s. It resembles the algebra of real numbers, but with the numeric operations of… … Wikipedia**PAL (disambiguation)**— PAL or Pal may refer to: Contents 1 Organizations 2 Science and technology 3 Medicine, biology, and psychology … Wikipedia