(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 (przykład: „Wszystkie dziewczyny w wieku 17–19 lat mieszkające obecnie w Łodzi są dziewicami” – całkowite potwierdzenie tego zdania jest możliwe, o zdaniu tym powiemy, że jest weryfikowalne, a procedurę potwierdzenia go – wskazując na owe dziewice – nazwiemy weryfikacją);