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