לוגיקה, הגיון

קטגוריה זו מדגישה כישורי חשיבה לוגית כלליים, המיושמים לעיתים קרובות בחידות או תרחישים שאינם פורמליים לחלוטין. היא כוללת דדוקציה, הסקה, זיהוי תבניות והסקת מסקנות מבוססות ממידע נתון. יש חפיפה עם לוגיקה פורמלית אך היא יכולה להיות רחבה יותר.

• חלוקת הגמלים (שאלה עתיקה)

  לסוחר ערבי זקן היו שלושה בנים. הוא הוריש להם 17 גמלים, ובצוואתו ביקש כי הבן הבכור יקבל חצי מכמות הגמלים, הבן הבינוני יקבל שליש והצעיר תשיעית. הבנים לא הצליחו לחלק את הגמלים ביניהם כמו שנאמר בצוואה בלי לשחוט חלק מהגמלים - והם לא רצו לעשות את זה. אזי הם פנו לקאדי לעזרה.

  הקאדי הוסיף ל-17 הגמלים גמל אחד משלו ואת 18 הגמלים הוא חילק כך: הבן הבכור קיבל 9 גמלים שהם חצי מהכמות, הבן בינוני קיבל 6 גמלים שהם שליש מהכמות והבן הצעיר קיבל 2 גמלים שהם תשיעית מהכמות, בסך הכול חולקו 17 גמלים ואת הגמל המיותר החזירו לקאדי.

  האחים התפעלו מחכמתו של הקאדי והתחילו לחשוב: איך זה קרה שכל אחד קיבל אפילו יותר ממה שהוא היה חייב לקבל לפי הצוואה?

   

  הצגת רמז

  התחברו כאן לאתר על מנת לקבל את הרמז
  נושאים:

  אלגברה -> בעיות מילוליות אריתמטיקה -> שברים לוגיקה -> הגיון -> פרדוקסים

• שלושה אצנים

  שלושה אצנים, א', ב' ו-ג', בצעו ריצת מאה מטר יחד מספר פעמים. השופט טוען כי א' הגיע לסוף המרוץ לפני ב' ביותר ממחצית הריצות, ב' הגיע לפני ג' ביותר ממחצית הריצות, ו-ג' הגיע לפני א' ביותר ממחצית הריצות.

  האם זה יתכן?

  נושאים:

  הוכחה ודוגמה -> בניית דוגמה לוגיקה -> הגיון -> פרדוקסים

• האם לכל הסוסים יש אותו צבע?

  שלומי טוען כי הוא הוכיח באמצעות אינדוקציה שבכל עדר כל הסוסים באותו צבע:

  אם יש סוס אחד, אז הוא בצבע של עצמו - כך הראנו כי בסיס אינדוקציה מתקיים.

  בשביל מעבר אינדוקציה, נמספר את הסוסים מ-`1` עד `n`. לפי הנחת אינדוקציה, הסוסים שמספרם מ-`1` עד `n-1`, כולם באותו צבע. באופן דומה, הסוסים שמספרם מ-`2` עד `n`, גם הם כולם באותו צבע. ובגלל שהצבעים של הסוסים מ-`2` עד `n-1`  הינם קבועים ולא יכולים להשתנות בהתאם לאיך ששייכנו אותם לקבוצה זו או אחרת, אז גם הסוסים ה-`1`  וה-`n` חייבים להיות באותו הצבע.

  האם שלומי ביצע טעות במהלך ההוכחה שלו? אם כן, מצאו את הטעות.

  נושאים:

  קומבינטוריקה -> אינדוקציה הוכחה ודוגמה -> בניית דוגמה לוגיקה -> הגיון -> פרדוקסים