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

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

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

  1. אם ϕ היא נוסחה אטומית אז ϕ(A)=ϕ
  2. אם ישנן נוסחאות ψ,ζ כך ש-ϕ=ψ*ζ באשר *{,,} אז ϕ(A)=ψ(A)*ζ(A).
  3. אם ישנה נוסחה θ כך ש-ϕ=¬θ אז ϕ(A)=¬θ(A).
  4. אם ישנה נוסחה τ כך ש-ϕ=xτ אז ϕ(A)=xAτ(A).
  5. אם ישנה נוסחה δ כך ש-ϕ=xδ אז ϕ(A)=xAδ(A).
ערך זה הוא קצרמר בנושא מתמטיקה. אתם מוזמנים לתרום למכלול ולהרחיב אותו.

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