שינויים

88-101 חשיבה מתמטית

נוספו 1,087 בתים, 13:03, 9 ביולי 2011
/* הצרנה */
הדוגמאות יכולות להיות מסובכות בהרבה:
*'''כאשר אני עייף ורעב אני נעשה עצבני או שאני הולך לישון, אבל אם אני לא עייף וכן עצבני אין לי תאבון.''' (כלומר, עבור הביטויים המתאימים A,B,C,D: (אם A וגם B אז C או D), וגם (אם לא A וגם C אז לא B)). '''הערה''': יש לשים לב היטב לבעיות הגדרה הנובעות מהשפה בעת הצרנה. למשל, חוסר תאבון לא בהכרח שווה לחוסר רעב.
*חוקי המשחק SET; על השולחן מונחים שנים-עשר קלפים. המוצא שלישיה חוקית צועק "SET!"; הראשון שצועק אוסף את השלישיה והדילר מחליף אותם בקלפים חדשים מהקופה. כאשר נגמרת הקופה או המשחק תקוע נגמר המשחק והזוכה הוא האדם שאסף את מספר השלשיות הכי גדול. לכל קלף במשחק יש שלוש תכונות: '''צורה''', '''צבע''', '''מספר''' ו'''מילוי'''. ''שלישיה חוקית'' הינה '''שלישיה של קלפים אשר כל תכונה שלהם בנפרד שווה בכולם או שונה בכולם'''. לכן שלישיה הינה חוקית אם "(((הצבע של שלושת הקלפים זהה) או (לכל קלף יש צבע אחר)) וגם ((המילוי של שלושת הקלפים זהה) או (לכל קלף יש מילוי אחר))וגם ...).
*מהי השלילה של המשפט לעיל? כלומר, מהו המשפט אשר יתאר שלישיה '''לא חוקית''' בSET?