تسجيل الدخول

تسجيل

Connective

المؤلف:  Mendelson, E

المصدر:  Introduction to Mathematical Logic, 4th ed. London: Chapman & Hall, 1997.

الجزء والصفحة:  ...

12-2-2022

1027

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.

connective	symbol
AND	, , , , ,
equivalent	, ,
implies	, ,
NAND	, ,
nonequivalent	, {{-1.05, 0.13913}, {-0.5, 0.5}}]B" src="https://mathworld.wolfram.com/images/equations/Connective/Inline17.svg" style="height:21px; width:51px" />, {{-1, 0.13913}, {-0.5, 0.5}}]B" src="https://mathworld.wolfram.com/images/equations/Connective/Inline18.svg" style="height:21px; width:47px" />
NOR	, ,
NOT	, , ,
OR	, , ,
XNOR	XNOR
XOR	,

---

REFERENCES

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