שינויים
/* תרגיל 5 שאלה 2 א' */ פסקה חדשה
זה בסדר להגדיר פונק' g ספציפית מ-A^A ל-(P(AxA ולהראות שהיא חח"ע ובכך להראות שקיימת פונק' חח"ע מ-A^A ל-(P(AxA ?
== תרגיל 5 שאלה 2 א' ==
אם אני רוצה להפריך את 2 א'.. אני צריך להוכיח שלכל f חח"ע מ A ל B היא על ?