(3) Warunki wystarczające i konieczne. 41, (3) z C, (4) z CpApp, które jest izomorficzne z 8. Jeżeli jednak przeprowadza się redukcję progresywnie, wtedy zaczyna się od, co do swojej wartości prawdziwościowej jeszcze nieznanego, poprzednika i postępuje się do znanego i dającego się stwierdzić następnika. Przeciwnie jest w wypadku redukcji regresywnej, tu zaczyna się od znanego następnika i idzie się do nieznanego poprzednika.