תרגיל 1, 4.ג'
צ"ל
ואח"כ אתה משתמש בזה פעמיים (כדי להראות ש:
). -אור שחף, שיחה, 19:01, 26 ביולי 2010 (IDT)
תרגיל 1, 2.8א
אתה רוצה להראות ש-
. מתקיים:
. מכיוון ש-
הטענה נכונה. -אור שחף, שיחה, 18:46, 27 ביולי 2010 (IDT)
ולכן
. לפי הגדרת
ולפי דיסטריביוטיביות (שאותה צ"ל, זה קל) נובע ש-
ואז, לפי
(צ"ל),
ואסוציאטיביות (צ"ל) מתקיים
. -אור שחף, שיחה, 19:44, 27 ביולי 2010 (IDT)