שלב 11 מתוך 11
עשרה תרגילים על כל הפרק: מבנה ההוכחה (נתון, צ.ל., טענה ונימוק), הנימוקים המותרים, תכנון מהסוף, ומשפט מול המשפט ההפוך לו. מתחילים בקל ומסיימים באתגר.