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

נכונותו הפורמלית של השימוש ב"באופן ריק" נובעת מתכונתו של [[קשר הגרירה]] ב[[לוגיקה]]. קשר הגרירה <math>\ A\to B</math>, שפירושו "אם A אז B" מקבל ערך "שקר" אך ורק כאשר A אמת ואילו B הוא שקר. למשל, הטענה "אם אתמול היה יום שני אז היום יום רביעי" היא שקר אך ורק אם טענה A: "אתמול היה יום שני" היא אמת, אך טענה B, "היום יום רביעי" היא שקר. אם נאמר את הטענה ביום חמישי, למשל, היא תהיה נכונה, שכן אתמול לא היה יום שני.

 

 

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