Uogólnienie klasy pojęciowej

Uogólnienie klasy pojęciowej – formalizacja rodzaju uogólniania matematycznego wprowadzona przez Tockiego.

Definicja

Klasa pojęciowa to układ $\langle K,U,\Phi ,t\rangle ,$ gdzie $K$ jest niepustym zbiorem, $\Phi$ jest warunkiem wyróżniającym zbiór $K$ z pewnego obszerniejszego zbioru $U,$ a $t$ jest terminem przyporządkowanym elementom zbioru $K$.

Uogólnieniem klasy pojęciowej $\langle K,U,\Phi ,t\rangle$ nazywa się taką klasę pojęciową $\langle K',U',\Psi ,n\rangle ,$ dla której $K\subset K',$ $U\subset U'$.

Przykład

Uogólnieniem klasy pojęciowej kwadratów w zbiorze równoległoboków jest klasa wszystkich rombów.

• $U=U'$ – zbiór równoległoboków
• $\Phi$ – warunek „równoległobok $x$ ma równe i prostopadłe przekątne”
• $t$ – termin „kwadrat”
• $\Psi$ – warunek „równoległobok $x$ ma prostopadłe przekątne”
• $n$ – termin „romb”.

Zobacz też

• uogólnianie matematyczne