*"ערן לובש חולצה סגולה אם הוא לובש מכנסיים בצבע שחור", "כאשר ערן לובש מכנסיים בצבע שחור אז הוא לובש חולצה סגולה", "יחד עם מכנסיים בצבע שחור, ערן לובש חולצה סגולה בלבד", וכן הלאה.
=== ערך אמת תרגיל===כתוב את הפסוק המתאר שלשה '''לא חוקית''' בSET.
'''ערך אמת''' הוא אחת משתי האפשרויות - אמת או שקר===תרגיל=== בניסוי מפורסם בתורת ההחלטות, שמסמנים לשם הקיצור T ו-F (מ-True ו-Falseמציגים לנבדק ארבעה כרטיסים שבגבם הסימנים A, כמובן). אם האטומים מפורטים מספיק (מי יגמור מה ומתי מאיזו צלחת)P, כל אטום מקבל ערך אמת. או שתגמור מהצלחת2, או שלא3. או שיבוא שוטר, או שלאעל כל כרטיס יש אות ומספר. אלו כרטיסים יש להפוך על-מנת לבדוק את הטענה "אם תגמור מהצלחת, בצד אחד של הכרטיס יש אות ניקוד (AEIOU) אז ערך האמת בצידו האחר יש מספר זוגי?" רוב גדול של הפסוק "תגמור מהצלחת" הוא T, ואחרת, הוא F. זו הדרך לחבר האנשים עונים שיש להפוך את תמונת העולם של המציאות, עם הפסוקים הלוגיים הפורמלייםהכרטיס הראשון והשלישי.מה התשובה הנכונה?
שימו לב שערך האמת עשוי להיות T או F; אומרים "לפסוק יש ערך אמת T" או "לפסוק יש ערך אמת F", ולא "לפסוק יש ערך אמת" או "לפסוק יש ערך שקר"===תרגיל=== * לוגיקן הלך לאכול במסעדת גורמה. (למתחכמיםהוא ניגש אל המלצר בתחילת הארוחה ואומר לו: כתוב כאן - אומרים ("לפסוק יש ערך אמת T" או "לפסוק יש ערך אמת F"), ולא ("לפסוק יש ערך אמת" או "לפסוק יש ערך שקר"), ולא - אומרים "לפסוק יש ערך אמת T" או ("לפסוק יש ערך אמת F", ולא "לפסוק יש ערך אמת") או "לפסוק יש ערך שקר").
כאשר משייכים לכל אטום של פסוק לוגי ערך אמת, אפשר לחשב את ערך האמת של הפסוק עצמו"תקבל טיפ אלא אם: 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 ) \rightarrow P </math>
== תחשיב פרידקטים ==
