נוסחה אטומית

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה לניווט קפיצה לחיפוש

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

נוסח רשמי[עריכת קוד מקור | עריכה]

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

תכונות[עריכת קוד מקור | עריכה]

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

הרחבת נוסחה אטומית[עריכת קוד מקור | עריכה]

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

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