If you do not find what you're looking for, you can use more accurate words.
القوانين المنطقية عبارة عن جمل مكونة من عدة عبارات مرتبطة فيما بينها بروابط منطقية وتكون دائما صحيحة بغض النظر عن صحة أو خطأ العبارات المكونة لها.
أمثلة:
المثالين الأخيرين، يعرفان بقوانين دي مورغان [De Morgan"s laws].
دالة العبارة، هي تطبيق من مجموعة قيم المتغيرات نحو مجموعة مكونة من العنصرين صحيح وخطأ.
مثال:
بالنسبة للعبارة: "x عدد صحيح طبيعي, x+3=10." نحصل على دالة من إلى بحيث:
هناك نوعان وجودية وكونية.
نرمز للوجودية بالرمز .
نرمز للكونية بالرمز .
عندما يكون هناك وجوديات، النفي يعبر عنه ب:
مع E مجموعة تتضمن الخاصية A.