كتب logical laws
اذا لم تجد ما تبحث عنه يمكنك استخدام كلمات أكثر دقة.
عرض المزيد
المصدر: wikipedia.org
القوانين المنطقية (معلومة)
القوانين المنطقية عبارة عن جمل مكونة من عدة عبارات مرتبطة فيما بينها بروابط منطقية وتكون دائما صحيحة بغض النظر عن صحة أو خطأ العبارات المكونة لها.
أمثلة:
المثالين الأخيرين، يعرفان بقوانين دي مورغان [De Morgan"s laws].
دوال العبارة
دالة العبارة، هي تطبيق من مجموعة قيم المتغيرات نحو مجموعة مكونة من العنصرين صحيح وخطأ.
مثال:
بالنسبة للعبارة: "x عدد صحيح طبيعي, x+3=10." نحصل على دالة من إلى بحيث:
المكممات
- طالع أيضًا: مكمم
هناك نوعان وجودية وكونية.
- الوجودية تعني وجود عناصر تحقق عبارة ما، مثل يوجد x من بحيث:
نرمز للوجودية بالرمز .
- الكونية تعني أن عبارة ما تكون دائما صحيحة مهما تغيرت قيمة المتغير، مثل مهما كانت قيمة x من لدينا
نرمز للكونية بالرمز .
المكممات والروابط المنطقية
عندما يكون هناك وجوديات، النفي يعبر عنه ب:
مع E مجموعة تتضمن الخاصية A.
