מהו כלל ההיסק של הדדוקציה הבאה: הנחה 1: אם תיאוריה X נכונה אז מתרחש Y הנחה 2: מתרחש Y מסקנה: תיאוריה X נכונה.