'''אפשרי. נחליט לפי ההתקדמות בשיעור. עדי
== תרגיל 4 שאלה 4 ==
היי עדי, אני בתרגיל 4 שאלה 4
איך אני מתחיל להוכיח? האם גם פה מתחילים ממה שצריך להוכיה או מהנתונים?
ולדוגמא בסעי' 1 איך מוכיחים שאם C אז או A או B?
כי אם מנסים בשלילה-אז גם אם לא A, עדיין ייתכן שכן C, כיוון שאולי כן B.
תודה
'''תמיד תתחיל ממה שצריך להוכיח ותשתמש בנתונים.
'''(*) תזכרו שביחס להרכבה הראינו שאם היא חח"ע אז הפונ' הפנימית חח"ע ואם היא על אז הפונ' החיצונית על. השתמשו בתכונות אלו בשאלה זו.
'''הכוונה האם קורה אחד מהם. בדוק כל אחד בנפרד.
'''הערה: בסעיפים 2,3 קיימים נתונים מיותרים. את 2 ניתן להוכיח לפי (*) גם בלי <math>hg</math> חח"ע וב-3, לפי (*) <math>hg</math> על גם בלי שיהיה נתון.
'''המלצה: אם התכונה שציינתי לא נותנת את המבוקש נסו לקבל אינטואיציה לדוגמא נגדית בדיאגרמה ואז תרגמו אותה למיספרים באופן פורמלי. דוגמא נגדית צריכה להיות פשוטה ככל האפשר.
'''לדוגמא סעיף 1:
'''<math>hgf</math> חח"ע ועל. אזי, לפי (*) <math>f,gf</math> חח"ע ו-<math>h,hg</math> על (חישבו ונמקו למה). מאף אחד מהם לא נובע ש-g חח"ע או על. ננסה למצוא דוגמא נגדית.
'''נרצה ש-f חח"ע, h על ו-g לא זה ולא זה:
<math>A\rightarrow B \rightarrow C \rightarrow D</math>
<math>\ \ \ f\ \ \ g\ \ \ h</math>