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