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

נוסחה (לוגיקה מתמטית), נוסחה (לוגיקה), נוסחה אטומית, נוסחה אמפירית (כימיה), נוסחה אמפירית (פיזיקה), נוסחה כימית, נוסחה מולקולרית, נוסחה מתמטית, נוסחים מתקדמים, נוסחת DuPont