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