# Logical connective

<https://en.wikipedia.org/wiki/Logical_connective>

A **logical connective** is a symbol used to connect two or more statements of a formal language in a grammatically valid way, such that the value of the compound sentence produced, depends only on that of the original sentences and on the meaning of the connective.

Strictly speaking, a logical connective may be just a connective that links (parts of) statements without affecting their truth value. A logical connective may be called a *logical operator* only in some cases:

> When a compound statement is constructed using individual statements connected by logical connectives, if the truth value of the compound statement is entirely determined by the truth values of the constituent statements, the compound statement is called a truth function, and any *logical connectives* used are said to be *truth functional*.

The most common logical connectives are binary 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.

A logical connective is similar to but not equivalent to a *conditional operator*.


---

# Agent Instructions: Querying This Documentation

If you need additional information that is not directly available in this page, you can query the documentation dynamically by asking a question.

Perform an HTTP GET request on the current page URL with the `ask` query parameter:

```
GET https://mandober.gitbook.io/math-debrief/300-logic/terms/logical-connective.md?ask=<question>
```

The question should be specific, self-contained, and written in natural language.
The response will contain a direct answer to the question and relevant excerpts and sources from the documentation.

Use this mechanism when the answer is not explicitly present in the current page, you need clarification or additional context, or you want to retrieve related documentation sections.
