Specialigo (logiko)
Specialigo estas grava vojo generi propozician scion, per apliko de ĝenerala scio, kiel la teorio de gravito, al specifaj kazoj, kiel "kiam mi liberigos ĉi tiun pomon, ĝi falos al la planko". Specialigo estas la malo de ĝeneraligo.
Koncepto B estas specialigo de koncepto A se kaj nur se:
- ĉiu kazo de koncepto B ankaŭ estas kazo de koncepto A; kaj
- estas kazoj de koncepto A, kiuj ne estas kazoj de koncepto B.
