שינויים

לא הבנתי איך מוכיחים שפונקציה היא על

:פונקציה <math>f:A\rightarrow B</math> הינה על אם לכל איבר בB קיים מקור. בשפה הלוגית התנאי שצריך להוכיח הינו <math>\forall b\in B\exists a\in A : f(a)=b</math> --<font size='4'>[[משתמש:ארז שיינר|ארז שיינר]]</font>