נוסחה אטומית

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

נוסח רשמי

עריכה

תהי   שפה. אם   סימן יחס   מקומי, כאשר   היא אוסף סימני היחס של השפה  , אז   כאשר  , כאשר   אלו שמות הקבועים של השפה   ו-  אלו שמות המשתנים שלה.

תכונות

עריכה

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

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

עריכה

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

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

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