*"אם אני גבוה, איני מגיע לתקרה. אם איני מגיע לתקרה, אני יכול להוריד את צנצנת העוגיות מהמדף העליון. לכן, מכיוון שהיני גבוה, אני יכול להוריד את צנצת העוגיות מהמדף העליון".
*"מכיוון ששלוש הינו מספר זוגי, 2 בחזקת שלוש אינו מספר שלם". (שימו לב ששני הטיעונים הינם תקפים, שכן אם ההנחות נכונות המסקנה נובעת מהן, במקרה השני ההנחה כלל אינה נכונה)
===תרגיל=== פרק את הטקסט הבא לטיעונים; טענות, ומסקנות:*"אומרים לנו כי אל זה, המצווה לסלוח ולמחול על כל משגה, איננו נוהג כך כל עיקר בעצמו, אלא עושה ממש את ההפך. שכן עונש הבא ככלות כל הדברים, כאשר העולם גמור ונסתם עליו הגולל, אינו יכול לשים לו לתכלית לשפר או לתקן, ולפיכך הוא נקמה גרידא". ====פתרון==== טיעון 1:#עונש הבא בסוף לא יכול להיות למטרת תיקון.מסקנה:*עונש מהאל הוא למטרת נקמה בלבד. טיעון 2:#עונש הבא מהאל הוא למטרת נקמה בלבד.*המסקנה - האל לא סולח.
=== ערך אמת ===
*"ערן לובש חולצה סגולה אם הוא לובש מכנסיים בצבע שחור", "כאשר ערן לובש מכנסיים בצבע שחור אז הוא לובש חולצה סגולה", "יחד עם מכנסיים בצבע שחור, ערן לובש חולצה סגולה בלבד", וכן הלאה.
==='''תרגיל=== '''. כתוב את הפסוק המתאר שלשה '''לא חוקית''' בSET.
==='''תרגיל==='''. נתונים שלושת הפסוקים הבאים:
A- הימים חולפים, B- שנה עוברת, C-המנגינה לעולם נשארת.
ב. נתון ש-A אמיתי, B אמיתי, C שקרי. קבעו את ערכי האמת של הפסוקים בסעיף הקודם.
==='''תרגיל=== '''. בניסוי מפורסם בתורת ההחלטות, מציגים לנבדק ארבעה כרטיסים שבגבם הסימנים A, P, 2, 3. על כל כרטיס יש אות ומספר. אלו כרטיסים יש להפוך על-מנת לבדוק את הטענה "אם בצד אחד של הכרטיס יש אות ניקוד (AEIOU) אז בצידו האחר יש מספר זוגי?" רוב גדול של האנשים עונים שיש להפוך את הכרטיס הראשון והשלישי. מה התשובה הנכונה?
==='''תרגיל=== '''. * לוגיקן הלך לאכול במסעדת גורמה. הוא ניגש אל המלצר בתחילת הארוחה ואומר לו:
"תקבל טיפ אלא אם: 1.תגיש את האוכל קר ובאיחור. 2. האוכל לא טעים ולא בררת איתי לגבי טעמו
פתרון:
* P - המלצר קיבל טיפ * H - האוכל הגיע חם * O - האוכל הגיע בזמן * K - האוכל הגיע טעים * B - המלצר בירר לגבי טעם האוכל * D - המלצר נתן קינוח חינם
התנאי לקבלת טיפ: <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 ) \leftrightarrow P </math>