**Logical Connectives**

In logic, a **logical connective** (also called a **logical operator**) is a symbol or word used to connect two or more sentences (of either a formal or a natural language) in a grammatically valid way, such that the sense of the compound sentence produced depends only on the original sentences.

The most common logical connectives are **binary connectives** (also called **dyadic connectives**) which join two sentences which can be thought of as the function's operands. Also commonly, negation is considered to be a **unary connective**.

Logical connectives along with quantifiers are the two main types of logical constants used in formal systems such as propositional logic and predicate logic. Semantics of a logical connective is often, but not always, presented as a truth function.

Read more about Logical Connectives: Common Logical Connectives, Properties, Order of Precedence, Computer Science

### Famous quotes containing the word logical:

“It is possible—indeed possible even according to the old conception of logic—to give in advance a description of all ‘true’ *logical* propositions. Hence there can never be surprises in logic.”

—Ludwig Wittgenstein (1889–1951)