שינויים

=תרגיל 1 להגשה ליום רביעי ה20 ביולי=

*הצרן את הטענות הבאות (מותר לכם להשתמש בפרדיקטים סבירים, בתנאי שתגדירו אותם):

**לכל מספר ממשי יש מספר טבעי הגדול ממנו.

**קיימים אינסוף תאומים (תאומים הם זוג ראשוניים אשר ההפרש בינהם הינו שתים.)

הגדרה: איחוד של שתי קבוצות A וB הוא קבוצת האיברים שנמצאים לפחות באחת הקבוצות. החיתוך הוא קבוצת האיברים שנמצאים בשתי הקבוצות.

*הצרן תנאי השקול לכך ש-a שייך לאיחוד של הקבוצות A וB

(מותר לכם להשתמש בכמתים באופן הבא <math>\forall a\in A, \exists a\in A</math>)

הגדרה: טענות <math>A_1,A_2,...,A_n</math> שקולות אם ((כולן אמיתיות יחד) או (כולן שקריות יחד)).

*הוכח שמספיק להוכיח את הטענות הבאות על מנת להוכיח ש<math>A_1,A_2,...,A_n</math> שקולות: