ייחוס (תורת הקבוצות)

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

בתורת הקבוצות, ייחוס של נוסחה לקבוצה הוא נוסחה המסומנת המתקבלת מן הנוסחה המקורית לפי החוקים הבאים:

  1. אם היא נוסחה אטומית אז
  2. אם ישנן נוסחאות כך ש- באשר אז .
  3. אם ישנה נוסחה כך ש- אז .
  4. אם ישנה נוסחה כך ש- אז .
  5. אם ישנה נוסחה כך ש- אז .
P mathematics.svg ערך זה הוא קצרמר בנושא מתמטיקה. אתם מוזמנים לתרום לוויקיפדיה ולהרחיב אותו.