בסעיף א' צריך להוכיח או להפריך.. לכאורה צריך להביא מקרה בו ימין נכון ושמאל לא כדי להפריך, וכדי להוכיח מספיק לי להראות ששמאל תמיד נכון?
:על מנת להוכיח צריך להראות שאם ימין נתון שמאל בהכרח נכון, כן. --<font size='4'>[[משתמש:ארז שיינר|ארז שיינר]]</font>
== שאלה על תרגיל 1 שאלה 4 ==
"לכל איש עם שם יש שם נוסף (שונה מהראשון)"
למה צריך לכלול את הקיום של הn גם בצד השני של הגרירה ב"אז" ולא רק את הקיום של השם הנוסף- הn'?
הרי כללנו את קיומו כבר בהנחה של ה"אם".
תודה.