נוסחה אטומית

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

נוסח רשמי

תהי $ℒ$ שפה. אם $r_1\in ℛ$ סימן יחס $k$ מקומי, כאשר $ℛ$ היא אוסף סימני היחס של השפה $ℒ$, אז $r_1({\tau }_1,...{\tau }_k)$ כאשר ${\mathrm{\forall }}_{1\le i\le k}:{\tau }_i\in 𝒞\cup 𝒱$, כאשר $𝒞$ אלו שמות הקבועים של השפה $ℒ$ ו-$𝒱$ אלו שמות המשתנים שלה.

תכונות

נוסחה אטומית אינה משתנה תחת ייחוס.

הרחבת נוסחה אטומית

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

קישורים חיצוניים

• תבנית:MathWorld