נוסחה אטומית

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

נוסח רשמי

תהי ${\mathcal {L}}$ שפה. אם $r_{1}\in {\mathcal {R}}$ סימן יחס $k$ מקומי, כאשר ${\mathcal {R}}$ היא אוסף סימני היחס של השפה ${\mathcal {L}}$, אז $r_{1}(\tau _{1},...\tau _{k})$ כאשר $\forall _{1\leq i\leq k}\,:\,\,\tau _{i}\in {\mathcal {C}}\cup {\mathcal {V}}$, כאשר ${\mathcal {C}}$ אלו שמות הקבועים של השפה ${\mathcal {L}}$ ו-${\mathcal {V}}$ אלו שמות המשתנים שלה.

תכונות

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

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

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

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

הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0