typu.<br> Problem wyboru: dany jest zbiór hipotez (zakłada się, iż co najmniej jedna z nich jest prawdziwa); wybrać hipotezę posiadającą pewne pożądane własności (np. prawdziwość, dokładność).<br> Problem weryfikacji: dana jest określona hipoteza (zwana zazwyczaj hipotezą zerową); rozstrzygnąć, czy hipoteza ta jest prawdziwa.<br> Klasyfikacja powyższa oparta jest na dokonanym przez Kazimierza Ajdukiewicza rozróżnieniu dwóch rodzajów pytań: pytań uzupełnienia oraz pytań rozstrzygnięcia. Łatwo też zauważyć, że z formalnego punktu widzenia różnica między tymi dwoma typami problemów jest następująca. Jeśli klasa H ma więcej niż dwa elementy, wnioskowanie ma rozstrzygnąć problem wyboru; gdy ma ona dokładnie dwa elementy, rozstrzyga ono problem weryfikacji.<br> Wśród wnioskowań