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