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

[[הפרכה]] בלוגיקה היא היסק או סדרה של היסקים תקפים שמסקנתם ידועה כשקרית. מכוח תקפותו של ההיסק, נובעת משקריות המסקנה שיקריותשקריות אחת ההנחות. העקרון של היסק כזה משמש בעיקר ב[[הוכחה על דרך השלילה]], דהיינו הוכחה שבה אנו מניחים את ההפך ממה שאנו מעוניינים להסיק. מן ההנחה (השלילית) שלנו אנו גוזרים סתירה כלשהי (למשל, אנו גוזרים מסקנה שסותרת את אחת ההנחות האחרות), ולאור הסתירה הזו אנו מסיקים שההנחה שלנו הייתה בלתי אפשרית, ושאנו מחויבים לדחות אותה.