נביעה/גרירה בלוגיקה (מתמטיקה), אם משפט אחד הוא נכון בקומבינציה מסוימת של p ו-q, אז המשפט השני נכון

המונח נביעה/גרירה בשיעורי לוגיקה במתמטיקה מתייחס למקרה שבו יש לי שני ביטויים, נניח p ו-q, ואני יותרת מהם שני משפטים כלשהם, ואז אם אני מסתכלת על לוח האמת של המשפט הראשון ומחפשת את כל הפעמים שהוא נכון, true, אז אם אני אביט על המשפט השני תחת אותה קומבינציה של p ו-q אז אני אגלה שגם המשפט השני תחת אותה קומבינציה של p ו-q גם הוא אמת, true, באותה סיטואציה. אבל זה לא הולך לכיוון השני בהכרח, כלומר לגבי המשפט השני, אם אני אסתכל על כל המקרים שהוא true, אז אם אני אבדוק מה הולך עם המשפט הראשון באותה סיטואציה, לא בהכרח הכל יהיה שם true באותה עת, אלא דווקא יכול להיות שיהיה שם false, וזה מראה שהקשר הזה לא בהכרח מתקיים לשני הכיוונים.