Connective
A function, or the symbol representing a function, which corresponds to English conjunctions such as "and," "or," "not," etc. that takes one or more truth values as input and returns a single truth value as output. The terms "logical connective" and "propositional connective" (Mendelson 1997, p. 13) are also used. The following table summarizes some common connectives and their notations.
![👁 A<=>AdjustmentBox[/, BoxMargins -> {{-1.05, 0.13913}, {-0.5, 0.5}}]B](https://mathworld.wolfram.com/images/equations/Connective/Inline17.svg){kind=link}
![👁 A<->AdjustmentBox[/, BoxMargins -> {{-1, 0.13913}, {-0.5, 0.5}}]B](https://mathworld.wolfram.com/images/equations/Connective/Inline18.svg){kind=link}
See also
AND, Binary Operator, Equivalent, Implies, OR, NAND, Nonequivalent, NOR, NOT, Propositional Calculus, Statement Form, Truth Table, XNOR, XORExplore with Wolfram|Alpha
More things to try:
References
Mendelson, E. Introduction to Mathematical Logic, 4th ed. London: Chapman & Hall, 1997.Referenced on Wolfram|Alpha
ConnectiveCite this as:
Weisstein, Eric W. "Connective." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/Connective.html