Connective
المؤلف:
Mendelson, E
المصدر:
Introduction to Mathematical Logic, 4th ed. London: Chapman & Hall, 1997.
الجزء والصفحة:
...
2-1-2022
1698
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 |
 , ![A<=>AdjustmentBox[/, BoxMargins -> <span style=]() {{-1.05, 0.13913}, {-0.5, 0.5}}]B" src="https://mathworld.wolfram.com/images/equations/Connective/Inline17.gif" style="height:16px; width:40px" />, ![A<->AdjustmentBox[/, BoxMargins -> <span style=]() {{-1, 0.13913}, {-0.5, 0.5}}]B" src="https://mathworld.wolfram.com/images/equations/Connective/Inline18.gif" style="height:16px; width:38px" /> |
| NOR |
 ,  ,  |
| NOT |
 ,  ,  ,  |
| OR |
 ,  ,  ,  |
| XNOR |
 XNOR  |
| XOR |
 ,  |
REFERENCES:
Mendelson, E. Introduction to Mathematical Logic, 4th ed. London: Chapman & Hall, 1997.
الاكثر قراءة في نظرية المجموعات
اخر الاخبار
اخبار العتبة العباسية المقدسة
