חידודים סופר חשובים שאשבץ בהמשך

• בתחשיב הפרדיקטים עם כמתים: לפי המצגת של לילי, אסור לצאת מ-EI עם המשתנה שבחרנו להנחה המותנית, ולא עם המשתנה שהפעלנו עליו את הכלל (הספר כנראה טועה)
• בעצי אמת עם כמתים וזהות: כשאנחנו מדגימים טענה ישית (∃) - אנחנו מדגימים אותה על קבוע שלא הופיע עדיין!!! רק בהדגמה כללית (∀) אנחנו בוחרים קבוע שכבר יש (ואם אין - ממציאים אחד). (כל קבוע שהופיע כבר בכל דרך, כולל להדגמה של טענה ישית אחרת, לא יכול לשמש אותנו להדגמה ישית - בכלל!)
• צריך לכתוב חידוד על איך לנמק פשרים - זה קצת מבלבל, כדאי להביא את הממ"נים שלי איתי למבחן...

• לשים לב לביצוע נכון של מספור - יש כל מיני צורות, הכל כתוב מאוד ברור בחוברת

• כשמצרינים טיעון ממוספר - לא לחזור פעמיים על הטענה הישית... (הקיצור שמחבר את שתיהן לא יכול להיות טענה 2 כאשר 1 היא פשוט הטענה הישית... הטעות מהממן).