אמרנו שמשפט א גורר את משפט ב אם המידע שמשפט א מכיל כולל בתוכו את המידע שמשפט ב מכיל . הסתכלו על הדוגמאות הבאות . בכל זוגות המשפטים הבאים , משפט א גורר את משפט ב . בררו זאת לעצמכם ! ( 43 ) א . גילה אוכלת תפוח אדום . ב . גילה אוכלת תפוח . ( 44 ) א . גילה רצה . ב . גילה זזה . ( 45 ) א . גילה לא זזה . ב . גילה לא רצה . ( 46 ) א . דני אוהב את אישתו . ב . דני אוהב מישהי . ( 47 ) א . אישתו של דני היא טייסת חלל . ב . דני נשוי . ( 48 ) א . דני יסיים את התואר לפני שנת . 2010 ב . דני יסיים את התואר לפני שנת . 2011 ( 49 ) א . דני יסיים את התואר אחרי שנת . 2010 ב . דני יסיים את התואר אחרי שנת . 2009 ( 50 ) א . לא כל הסטודנטים קיבלו 100 במבוא לבלשנות תאורטית . ב . יש לפחות סטודנט אחד שלא קיבל 100 במבוא לבלשנות תאורטית . את מושג הגרירה ניתן להגדיר בעזרת מושג האמת . אם המידע ש א מוסר כולל כבר את המידע ש ב מוסר , הרי שאם א אמיתי אז גם ב חייב להיות אמיתי . הגדרה : משפט א גורר את משפט ב אם ורק אם בכל מצב עניינים שבו א אמיתי , גם ב אמיתי . שימו לב שמההגדרה לעיל נובע שאם יכול להתקיים מצב עניינים שבו א אמית...
אל הספר