Jones és Davis elmélete az egymásnak megfelelő (korrespondáló) következtetésekről