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