כל מה שרצית לדעת על נוסחה (לוגיקה):
בהינתן שפה L {\displaystyle {\mathcal {L}}} , נוסחה בשפה היא הפעלת אחד מבין סימני היחס על שמות העצם של השפה, כאשר כל שם עצם הוא שם משתנה או שם קבוע, או צרוף של נוסחאות על ידי קשרים לוגיים.
נוסחה בתחשיב היחסים זקוקה לסמנטיקה (פרשנות) על מנת להיקבע כנכונה או לא.
מבנה M המוגדר מעל מילון T (אוסף סימני היחסים, קבועים, פונקציות) מוגדר להיות בעל תחום לא ריק והגדרת הקבועים, יחסים ופונקציות המוגדרות במילון.
הנוסחא לרוב מוגדרת מעל המילון ומשמעותה נקבעת על פי המבנה.

נלקח מויקיפדיה

הגדרות נוספות הקשורות לנוסחה (לוגיקה):
•קצרמר מתמטיקה
•לוגיקה