באופן ריק – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ סדר תבניות בסוף הערך (בוט סדר הפרקים) |
אין תקציר עריכה |
||
שורה 5:
אם כן, טענה מתקיימת באופן ריק אם היא מנוסחת בצורה <math>\ A\to B</math> אך A אינו מתקיים. מבחינה מתמטית אין בכך כל דופי, אך הדבר עלול להיראות כעומד בסתירה ל[[אינטואיציה]].
דרך נוספת ושקולה לראות טענה המתקיימת "באופן ריק" היא על ידי כך שחושבים עליה כעל טענה שמתקיימת רק עבור [[הקבוצה הריקה|קבוצה ריקה]] של עצמים. למשל, הטענה "כל הקרנפים ההולכים רק על שתיים הם שקרנים ואין לסמוך עליהם" מתקיימת באופן ריק, שכן אין קרנפים שהולכים רק על שתי רגלים. למעשה, אפשר להגדיר את הקבוצה הריקה עצמה באמצעות תנאי ריק, למשל כקבוצת כל האיברים שאינם שווים לעצמם. אכן קיים קושי בהבנת הלוגיקה של הנושא אך אפשר להסתכל על כך מנקודת מבט שאומרת שאין משמעות לשקר על דבר שקרי או כמטופרה לרוחב הדימיון האנושי
{{קצרמר|מתמטיקה}}
| |||