שתי הערות קטנות (באופן כללי מבנה ההוכחה בסדר):
1) תוריד את ה'יהי' בהתחלה, ברגע שאתה רושם אותו אתה לא יכול להשתמש באמ"מ
2) צריך לפרט יותר את המעבר האחרון (מה זאת אומרת הפסוק מתקיים בלי תנאים לגבי-B, זה לא הסבר מדויק).
עוד טיפ קטן, זה יותר ברור ונוח לבדיקה כשהכתיבה היא לא מילולית אלא סימבולית (V במקום או וכו')
1) תוריד את ה'יהי' בהתחלה, ברגע שאתה רושם אותו אתה לא יכול להשתמש באמ"מ
2) צריך לפרט יותר את המעבר האחרון (מה זאת אומרת הפסוק מתקיים בלי תנאים לגבי-B, זה לא הסבר מדויק).
עוד טיפ קטן, זה יותר ברור ונוח לבדיקה כשהכתיבה היא לא מילולית אלא סימבולית (V במקום או וכו')
מחובר