związek miedzy dwoma twierdzeniami jakiejś teorii polegający na tym, że jedno twierdzenie daje się wyprowadzić z drugiego; wynikanie inferencyjne; wnioskowanie

związek miedzy dwoma twierdzeniami jakiejś teorii polegający na tym, że jedno twierdzenie daje się wyprowadzić z drugiego; wynikanie inferencyjne

wnioskowanie w sensie właściwym