באופן ריק – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
תיקון טעות הקלדה תגיות: עריכה ממכשיר נייד עריכה מיישום נייד |
ביטול גרסה: קראת את הפסקה? |
||
שורה 1:
ב[[מתמטיקה]], נהוג לומר על טענה כי היא '''נכונה באופן ריק''' אם נכונותה אינה עומדת כלל למבחן, משום שהיא עוסקת באובייקטים שאינם קיימים. לדוגמה, "כל [[מספר ראשוני]] המתחלק ב-6 מסתיים בספרה 9" - הטענה נכונה, מכיוון שאין ראשוניים שמתחלקים ב-6.
נכונותו הפורמלית של השימוש ב"באופן ריק" נובעת מתכונתו של [[קשר הגרירה]] ב[[לוגיקה]]. קשר הגרירה <math>\ A\to B</math>, שפירושו "אם A אז B" מקבל ערך "שקר" אך ורק כאשר A אמת ואילו B הוא שקר. למשל, הטענה "אם אתמול היה יום שני אז היום יום רביעי" היא שקר אך ורק אם טענה A: "אתמול היה יום שני" היא אמת,
אם כן, טענה מתקיימת באופן ריק אם היא מנוסחת בצורה <math>\ A\to B</math> אך A אינו מתקיים. מבחינה מתמטית אין בכך כל דופי, אך הדבר עלול להיראות כעומד בסתירה ל[[אינטואיציה]].
| |||