מפעיל, במתמטיקה, כל סמל המצביע על פעולה שיש לבצע. דוגמאות לכך הן שורש ריבועי של √x (מה שמעיד על נטילת השורש המרובע) ויש לבצע d / dx (מה שמצביע על הבחנה ביחס ל- x). ניתן לראות במפעיל פונקציה, טרנספורמציה או מפה, במובן זה שהוא משייך או "ממפה" אלמנטים מקבוצה אחת לאלמנטים ממערך אחר. ראה גם אוטומורפיזם.
היגיון רשמי: הגדרת המשמעות של מפעילים
הכללים שנאמרו זה עתה יאפשרו לחוק דה מורגן הראשון המופיע בטבלה 3 להפוך כל WFF המכיל מספר כלשהו של