בהנדסת תוכנה, ובפרט במערכות enterprise, לוגיקה עסקית (באנגלית: business logic) היא חלק ממערכת תוכנה שתפקידו לממש את הכללים העסקיים מ"העולם האמיתי". כללים אלו קובעים כיצד נתונים יכולים: להיווצר, להשתנות, להיות מוצגים, ומאוחסנים. לרוב, המושג מתאר את החלק בתוכנה אשר מכיל את האלגוריתמים הפונקציונליים שמטפלים בהעברת מידע בין בסיס נתונים לממשק משתמש. מתוך ויקיפדיה

לוגיקה מסדר שני, לוגיקה מעורפלת, לוגיקה מתמטית, לוגיקה סימבולית, לוגיקה עמומה, לוגיקה פורמלית, לוגיקה פרטית, לוגיקה קונסטרוקטיבית, לוגיקה של אריסטו, לוגיקה תלמודית