Primera unidad de logica matematica

Page 1

Consideremos en dejar que el mĂĄximo nĂşmero posible de miembros de đ?‘Şđ?’Œ sea đ?’?đ?’Œ siendo para đ?’?đ?&#x;Ž = đ?&#x;Ž y đ?’?đ?&#x;? = đ?&#x;?. Por lo que entonces đ?‘Şđ?’Œ+đ?&#x;? puede incluir el mĂĄximo en todos los miembros de đ?‘Şđ?’Œ . Entonces siendo para đ?’ˆ(đ?’™) dĂłnde se considera a đ?’™ ∈ đ?‘Şđ?’Œ − đ?‘Şđ?’Œâˆ’đ?&#x;? , despuĂŠs siendo para đ?’‡(đ?’™, đ?’™) dĂłnde se considera a đ?’™ ∈ đ?‘Şđ?’Œ − đ?‘Şđ?’Œâˆ’đ?&#x;? , luego siendo para đ?’‡(đ?’™, đ?’š) donde se considera a đ?’™ ∈ đ?‘Şđ?’Œ − đ?‘Şđ?’Œâˆ’đ?&#x;? ; a đ?’š ∈ đ?‘Şđ?’Œâˆ’đ?&#x;? y entre los miembros que se utilizan para construir đ?’™, o viceversa. En este Ăşltimo caso hay que restringir y para los que se utilizan para la construcciĂłn de đ?’™ por la siguiente razĂłn. Debido a que no se dan de manera explĂ­cita en el problema đ?’‡ y đ?’ˆ, podemos suponer (para el mĂĄximo nĂşmero posible de miembros de cada đ?‘Şđ?’Œ ) por lo que đ?‘Ş se genera libremente de đ?‘Š por {đ?’‡, đ?’ˆ}, es decir, cada miembro de đ?‘Şđ?’Œ − đ?‘Şđ?’Œâˆ’đ?&#x;? tiene una secuencia de construcciĂłn Ăşnica de longitud đ?’Œ (hasta algunas permutaciones posibles). Entonces, para construir đ?’‡(đ?’™, đ?’š) para đ?’™ ∈ đ?‘Şđ?’Œ − đ?‘Şđ?’Œâˆ’đ?&#x;? y đ?’š ∈ đ?‘Şđ?’Œâˆ’đ?&#x;? , necesitamos una secuencia < đ?’™đ?&#x;? , ‌ , đ?’™đ?’Œ > de tal manera que đ?’™đ?’Œ = đ?’™ y đ?’š debe estar entre đ?’™đ?&#x;? , ‌ , đ?’™đ?’Œâˆ’đ?&#x;? , pues de lo contrario requerirĂ­a medidas adicionales para construir đ?’š. Por lo tanto, obtenemos đ?’?đ?’Œ+đ?&#x;? = (đ?&#x;?đ?’Œ + đ?&#x;?)đ?’?đ?’Œ − đ?&#x;?đ?’Œđ?’?đ?’Œâˆ’đ?&#x;? o el nĂşmero de nuevos miembros en đ?‘Şđ?’Œ+đ?&#x;? − đ?‘Şđ?’Œ es đ?’…đ?’Œ+đ?&#x;? = đ?’?đ?’Œ+đ?&#x;? − đ?’?đ?’Œ = đ?&#x;?đ?’Œđ?’…đ?’Œ , dĂłnde đ?’…đ?&#x;? = đ?&#x;?. En general đ?’…đ?’Œ+đ?&#x;? = đ?&#x;?đ?’Œ+đ?&#x;? đ?’Œ! con đ?’?đ?’Œ = đ?&#x;?đ?&#x;? đ?&#x;Ž! + â‹Ż + đ?&#x;?đ?’Œ (đ?’Œ − đ?&#x;?)! = đ?&#x;? + đ?&#x;’ + đ?&#x;?đ?&#x;” + đ?&#x;—đ?&#x;” + đ?&#x;•đ?&#x;”đ?&#x;– + â‹Ż + đ?&#x;?đ?’Œ (đ?’Œ − đ?&#x;?)! Para đ?‘Şđ?&#x;? obtenemos đ?’?đ?&#x;? = đ?&#x;” y para este caso los miembros son

Turn static files into dynamic content formats.

Create a flipbook
Issuu converts static files into: digital portfolios, online yearbooks, online catalogs, digital photo albums and more. Sign up and create your flipbook.