Difference between revisions of "Logical connective"
Karl Jones (Talk | contribs) (Created page with "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 lang...") |
Karl Jones (Talk | contribs) (→See also) |
||
| Line 11: | Line 11: | ||
== See also == | == See also == | ||
| − | * Boolean domain]] | + | * [[Boolean domain]] |
| − | * Boolean function]] | + | * [[Boolean function]] |
| − | * Boolean logic]] | + | * [[Boolean logic]] |
| − | * Boolean-valued function]] | + | * [[Boolean-valued function]] |
| − | * List of Boolean algebra topics]] | + | * [[List of Boolean algebra topics]] |
| − | * Logical constant]] | + | * [[Logical constant]] |
| − | * Modal operator]] | + | * [[Modal operator]] |
| − | * Propositional calculus]] | + | * [[Propositional calculus]] |
| − | * Truth function]] | + | * [[Truth function]] |
| − | * Truth table]] | + | * [[Truth table]] |
| − | * Truth value]] | + | * [[Truth value]] |
== External links == | == External links == | ||
Latest revision as of 15:05, 6 September 2016
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.
Description
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.
A logical connective is similar to but not equivalent to a conditional operator.
See also
- Boolean domain
- Boolean function
- Boolean logic
- Boolean-valued function
- List of Boolean algebra topics
- Logical constant
- Modal operator
- Propositional calculus
- Truth function
- Truth table
- Truth value
External links
- Logical connective @ Wikipedia
