שינויים
/* דוגמאות */
'''תרגיל'''. בניסוי מפורסם בתורת ההחלטות, מציגים לנבדק ארבעה כרטיסים שבגבם הסימנים A, P, 2, 3. על כל כרטיס יש אות ומספר. אלו כרטיסים יש להפוך על-מנת לבדוק את הטענה "אם בצד אחד של הכרטיס יש אות ניקוד (AEIOU) אז בצידו האחר יש מספר זוגי?" רוב גדול של האנשים עונים שיש להפוך את הכרטיס הראשון והשלישי. מה התשובה הנכונה?
===דוגמאות=תרגיל====
'''תרגיל'''.
* לוגיקן הלך לאכול במסעדת גורמה. הוא ניגש אל המלצר בתחילת הארוחה ואומר לו:
התנאי לקבלת טיפ: <math>\neg \left[(\neg H\and \neg 0)\and (\neg K\and \neg B)\right] \or (\neg H\and K \and \neg O \and D ) \rightarrow P </math>
====תרגיל====
אומרים שקבוצת וקטורים <math>v_1,...,v_n</math> תלויים לינארית אם"ם לא קיימים קבועים <math>a_1,...,a_n</math> כך ש <math>a_1v_1+...+a_nv_n=0</math> וגם לפחות אחד מבין הקבועים שונה מאפס
הוכח ש<math>v_1,..,v_n</math> תלויים לינארית אם"ם <math>v_1+v_2,v_1-v_2,v_3,...,v_n</math> תלויים לינארית.
(ניתן להניח את חוקי האסוציאטיביות והפילוג על החיבור והכפל בקבועים.)
== תחשיב פרידקטים ==
