Si quiero hacer una conjunción, de modo que las personas en el núcleo deben ser compatibles, puedo hacer una conjunción para una persona i y j desde 1 hasta k? (el largo del núcleo) o las personas deben estar obligatoriamente hasta n. (En este caso se está suponiendo que si un núcleo existe, sus personas son compatibles, entonces no se si se puede hacer como esa asunción)
Debes notar que $k\leq n$, por ende el núcleo puede tener un largo menor o igual a n, dentro de tu demostración debes considerar todos los casos posibles.
Si quiero hacer una conjunción, de modo que las personas en el núcleo deben ser compatibles, puedo hacer una conjunción para una persona i y j desde 1 hasta k? (el largo del núcleo) o las personas deben estar obligatoriamente hasta n. (En este caso se está suponiendo que si un núcleo existe, sus personas son compatibles, entonces no se si se puede hacer como esa asunción)