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