رياضيات المنطق والمنطق

عامل ، في الرياضيات ، أي رمز يشير إلى عملية يجب إجراؤها. الأمثلة هي الجذر التربيعي لـ √x (الذي يشير إلى أن الجذر التربيعي يجب أن يؤخذ) و ^d / _dx (الذي يشير إلى التمايز فيما يتعلق بـ x سيتم إجراؤه). يمكن اعتبار العامل كوظيفة أو تحويل أو خريطة ، بمعنى أنه يربط أو "يعيّن" عناصر من مجموعة إلى عناصر من مجموعة أخرى. أنظر أيضا آلية.

المنطق الرسمي: قابلية تعريف عوامل التشغيل

القواعد التي تم ذكرها للتو ستمكّن قانون De Morgan الأول المدرج في الجدول 3 من تحويل أي wff يحتوي على أي عدد من