באופן ריק – הבדלי גרסאות

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