Connective (original) (raw)

Algebra Applied Mathematics Calculus and Analysis Discrete Mathematics Foundations of Mathematics Geometry History and Terminology Number Theory Probability and Statistics Recreational Mathematics Topology

Alphabetical Index New in MathWorld

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.

connective symbol
AND A ^ B, A·B,A.B, AB, A&B,A&&B
equivalent A=B, A<=>B, A<->B
implies A=>B,A superset B, A->B
NAND A nand B,A|B, A·B^_
nonequivalent A≢B,A<=>AdjustmentBox[/, BoxMargins -> {{-1.05, 0.13913}, {-0.5, 0.5}}]B,A<->AdjustmentBox[/, BoxMargins -> {{-1, 0.13913}, {-0.5, 0.5}}]B
NOR A nor B, AvB, A+B^_
NOT !A, ¬A,A^_, ∼A
OR A v B,A+B, A|B, A∥B
XNOR A XNOR B
XOR A xor B,A direct sum B

See also

AND, Binary Operator, Equivalent, Implies,OR, NAND, Nonequivalent,NOR, NOT, Propositional Calculus, Statement Form, Truth Table, XNOR, XOR

Explore with Wolfram|Alpha

References

Mendelson, E. Introduction to Mathematical Logic, 4th ed. London: Chapman & Hall, 1997.

Referenced on Wolfram|Alpha

Connective

Cite this as:

Weisstein, Eric W. "Connective." FromMathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/Connective.html

Subject classifications