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