(2.2.) redukcyjna gdy następstwa nie są równoważne ze zdaniem sprawdzanym.
Tak rozumiane sprawdzanie występuje w dwóch odmianach:
sprawdzanie pozytywne, które również występuje w dwóch odmianach: weryfikacji czyli potwierdzenia całkowitego konfirmacji czyli potwierdzenia częściowego (przykład: „Wszystkie orbity planet są elipsami” – całkowite potwierdzenie tego zdania nie jest możliwe, nic nie wiemy ani o orbitach planet, których jeszcze nie ma, ani o orbitach planet, których już nie ma, o zdaniu tym powiemy, że jest konfirmowalne, a procedurę potwierdzenia – wskazując na orbity planet naszego układu słonecznego, czyli tylko na pewną podklasę planet – nazwiemy konfirmacją); sprawdzanie negatywne, które też występuje w dwóch odmianach: dyskonfirmacji, czyli osłabienia mocy danego twierdzenia (przykład: „Wszystkie dziewczyny w wieku 17–19 lat mieszkające obecnie w Łodzi są dziewicami” – o zdaniu tym powiemy, że jest dyskonfirmowalne i zostało zdyskonfirmowane wskazując, że niektóre z łodzianek znajdujące się w tym przedziale wiekowym nie są dziewicami;