*בניסוי מפורסם בתורת ההחלטות, מציגים לנבדק ארבעה כרטיסים שבגבם הסימנים A, P, 2, 3. על כל כרטיס יש אות ומספר. אלו כרטיסים יש להפוך על-מנת לבדוק את הטענה "אם בצד אחד של הכרטיס יש אות ניקוד (AEIOU) אז בצידו האחר יש מספר זוגי?" רוב גדול של האנשים עונים שיש להפוך את הכרטיס הראשון והשלישי. מה התשובה הנכונה?
*דוגמא להמחיש ששקר גורר כל דבר; ילד הרואה כלבה נחמדה מבקש מההורים שלו גור כלבים. ההורים היודעים שהכלבה מסורסת מבטיחים לו "אם הכלבה תמליט, תקבל גור אחד".
== כמתים ==
אפשר להיעזר בספר של ליניאל ופרנס לפרק זה.
לעתים מוכיחים טענה "לכל <math>a,b</math> מתקיימת איזשהי תכונה <math>P(a,b)</math>". אחר כך בקורס, צריך להשתמש בכך ש <math>P(b,a)</math> נכון. אבל לכאורה המשתנים לא כתובים כמו שהוכחנו. רעיון החלפת השמות של משתנים, במיוחד אם ממחזרים את אותם שמות בסדר אחר, הוא לא טריויאלי וצריך להציגו, בהדרגה:
בטענה עם כמתים, תקפותה לא תשתנה אם נשנה את שמות המשתנים.
תקפותה לא תשתנה גם אם נחליף את שמות המשתנים זה בזה.
דוגמא נוספת מאותו סוג: תהי <math>\sigma</math> תמורה על <math>1,\dots,n</math> ונניח שלכל <math>i=1,\dots,n</math>, יש ל <math>\sigma(i)</math> תכונה מסויימת. אזי אפשר, לכל <math>i</math>, להציב את <math>\sigma^{-1}(i)</math> ולהסיק שלכל <math>i</math> יש את התכונה הזו.
(זו רק הכוונה כללית, ההצגה טעונה שיפור, וגם כדאי להביא דוגמאות קונקרטיות.)
*בנושא אינדקסים ושמות משתנים - הוכחה כי מטריצה כפול המצורפת לה (adj) שווה למטריצת היחידה כפול הדטרמיננטה. ניתן להניח את הנוסחא של פיתוח לפי שורה, נוסחאת הכפל, ולומר שהדטרמיננטה של מטריצה בעלת שתי שורות זהות שווה לאפס. התלמידים צריכים להבין מדוע כל איבר במכפלה שאינו על האלכסון שווה לדטרמיננטה של מטריצה בעלת שתי שורות זהות.
== שלילה ==
