En el teorema 4.1 del Grimaldi, habla de proposicion abierta , no encontre la definicion. a que se refiere?
Hola, Silvia.
Una proposición abierta simplemente es una proposición que depende de una o más variables. En el curso nos concentramos mayormente en proposiciones abiertas que dependen de una variable
en el conjunto de los números naturales. A algunas de estas les podemos aplicar alguno de los principios de inducción para demostrar que son verdaderas para todo natural.
En el libro de Grimaldi es la definición 2.5, pasa que está en la sección de lógica y en este curso no abordamos ese capítulo.
Una proposición abierta simplemente es una proposición que depende de una o más variables. En el curso nos concentramos mayormente en proposiciones abiertas que dependen de una variable
en el conjunto de los números naturales. A algunas de estas les podemos aplicar alguno de los principios de inducción para demostrar que son verdaderas para todo natural.En el libro de Grimaldi es la definición 2.5, pasa que está en la sección de lógica y en este curso no abordamos ese capítulo.