לוגיקה מתמטית הוא תחום במתמטיקה, העוסק במערכות פורמליות ובדרך בה הן מגלמות מושגים אינטואיטיביים, כגון הוכחה או חישוביות. התחום הוא אחד מקבוצה של תחומים המכונים יסודות המתמטיקה משום שהם עוסקים בבסיס הפורמלי של המתמטיקה כולה. מתוך ויקיפדיה

קַשָּׁר לוגי הוא פונקציה המייצרת מקבוצה של פסוקים לוגיים, או תבניות לוגיות פסוק חדש או תבנית חדשה בהתאמה. קשרים משמשים בתחשיב הפסוקים ובתחשיב הפרדיקטים כדי לייצג פעולות לוגיות כגון "וגם", "לא" ו"אם⁻אז". מתוך ויקיפדיה

בלוגיקה מתמטית, טענה שלא ניתן להוכיח אותה, וגם לא את שלילתה, מתוך מערכת נתונה של אקסיומות, היא טענה עצמאית ביחס לאותה מערכת. מערכת הוכחה נתונה היא שלמה, אם אין לה טענות עצמאיות. מתוך ויקיפדיה

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