94867

14 Definicja indukcyjna, definicja rekurencyjna, - definicja zbioru, w którym dają się wyróżnić elementy wyjściowe oraz elementy otrzymane z wyjściowych; składa się z 2 części: warunku wyjściowego (określającego obiekty, które na pewno należą do definiowanego zbioru) i warunku indukcyjnego (określającego stosunek, w jakim muszą pozostawać nowe obiekty do tych już należących do zbioru, aby też mogły być do tego zbioru zaliczone).

Definicje cząstkowe to zdanie lub zespól zdań, które co prawda me dają rozstrzygnięcia iż daną nazwą definiowaną oznacza się wszystkie przedmioty danego typu, i tylko przedmioty danego typu; ale podają one niektóre tzw. pozytywne albo negatywne kryteria stosowalności nazwy definiowanej; albo wskazują one na to, że desygnatami nazwy są z pewnością takie a takie przedmioty, a może również inne (pozytywne kryteria stosowalności - wrona jest czarna) albo na to że desygnatami nazwy z pewnością nie są przedmioty określonego rodzaju, a być może również inne (negatywne kryteria stosowalności - wrona nie jest rybą).

Zespół definicji cząstkowych trafnie dobranych tworzy definicję przez postulaty.