שינויים
/* תרגיל 3 שאלה 1 */
כשפיתחתי את הביטוי AXB=BXA שבשאלה הגעתי ל:
'''לכל a,b:'''
(a∈A) & (b∈Ab∈B) <----> אם ורק אם (b∈Ba∈B) & (a∈Bb∈A)
איך אני ממשיך מפה? האם לנסות את 2 האפשרויות- פעם אחת כששניהם מתקיימים ופעם אחת כששניהם לא מתקיימים?
תודה, מרדכי.
