المرجع الألكتروني للمعلوماتية
القرآن الكريم وعلومه
العقائد الإسلامية
الفقه وأصوله 
الرجال والحديث 
سيرة الرسول وآله 
علوم اللغة العربية 
الأدب العربي 
الأسرة والمجتمع 
الأخلاق والأدعية 
التاريخ 
الادارة والاقتصاد 
علم الفيزياء 
علم الكيمياء 
علم الأحياء 
الرياضيات 
الهندسة المدنية 
الزراعة 
الجغرافية 
القانون 
اللغة الأنكليزية 
الأخبار 
الإعلام 
مكتبة الصور 
أقلام بمختلف الألوان 
إضاءات
مفتاح
أجوبة الإستفتاءات الشرعية
وثائقيات
تاريخ الرياضيات
الرياضيات في الحضارات المختلفة
الرياضيات المتقطعة
الجبر
الهندسة
المعادلات التفاضلية و التكاملية
التحليل
علماء الرياضيات | Connective |
 1420
 01:47 صباحاً
date: 2-1-2022 |
Author : Mendelson, E 
Book or Source : Introduction to Mathematical Logic, 4th ed. London: Chapman & Hall, 1997. 
Page and Part : ...|
Read More
Date: 23-12-2021
1047
Date: 9-1-2022
1049
Date: 29-12-2021
995
|
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 -> {{-1.05, 0.13913}, {-0.5, 0.5}}]B](https://mathworld.wolfram.com/images/equations/Connective/Inline17.gif) , ![A<->AdjustmentBox[/, BoxMargins -> {{-1, 0.13913}, {-0.5, 0.5}}]B](https://mathworld.wolfram.com/images/equations/Connective/Inline18.gif) |
| NOR |  ,  ,  |
| NOT |  ,  ,  ,  |
| OR |  ,  ,  ,  |
| XNOR |  XNOR  |
| XOR |  ,  |
REFERENCES:
Mendelson, E. Introduction to Mathematical Logic, 4th ed. London: Chapman & Hall, 1997.
|
|
|
|
دخلت غرفة فنسيت ماذا تريد من داخلها.. خبير يفسر الحالة
|
|
|
|
|
|
|
ثورة طبية.. ابتكار أصغر جهاز لتنظيم ضربات القلب في العالم
|
|
|
|
|
|
|
قسم شؤون المعارف ووفد من جامعة البصرة يبحثان سبل تعزيز التعاون المشترك
|
|
|
