46835

schemat wnioskowania. Zatem jeśli przesłanki wnioskowania opartego na tym schemacie są prawdziwe, to wniosek będzie również prawdziwy.

Widzimy, że wnioskowanie przez indukcję enumeracyjną zupełną różni się od wnioskowania przez indukcję niezupełną tylko tym, że zawiera jedną dodatkową przesłankę, ale niezmiernie ważną, bo stwierdzającą, że przypadki zachodzenia określonej prawidłowości, o których mówi i które wymienia pierwsza przesłanka, stanowią zarazem wszystkie możliwe przypadki zachodzenia tejże prawi dl ow^f ości w ogóle (inaczej mówiąc, interesująca nas prawidłowość wyczerpuje się w tych przypadkach). Ta jedna dodana przesłanka czyni indukcję zupełną wnioskowaniem niezawodnym, a twierdzenie ogólne, wyprowadzone w tym wnioskowaniu, absolutnie prawdziwym (oczywiście pod warunkiem, że przesłanki w tym wnioskowaniu były prawdziwe).