Martínez Ruíz, IvánRamírez Páramo, AlejandroMartínez Ruíz, Iván; 0000-0003-2631-7113Ramírez Páramo, Alejandro; 0000-0002-2777-1118Romano Carrillo, Martha Angélica2026-04-212026-04-212025-10https://hdl.handle.net/20.500.12371/32046“Lo que este trabajo pretende es dar una justificación rigurosa en teoría de conjuntos y cálculo proposicional de la inducción matemática y también del método general de definición conocido como “recursión” pues la recursión y la inducción están estrechamente relacionadas: la recursión es una forma de definir funciones que dependen de sus valores anteriores, y se puede demostrar que la definición produce una única función usando inducción. “Recursión” se usa en el sentido de ’definición por recursión’ o ’definición por inducción’, es decir, definir una función f para el argumento x usando los valores previamente definidos. Los significados actuales de recursión y recursivo derivan del verbo ’recurrere’ en su sentido de ’volver una cosa al lugar de donde salió’. Una recursión es un procedimiento que define un conjunto o una función y al definirlo apela a elementos de dicho conjunto o a valores de la función”. Este trabajo tiene como objetivo proporcionar una justificación rigurosa de la inducción matemática y el método recursivo en los contextos de teoría de conjuntos y cálculo proposicional".pdfspaCIENCIAS FÍSICO MATEMÁTICAS Y CIENCIAS DE LA TIERRAMatemáticas--Filosofía--Lógica matemática--Teoría de la recursiónMatemáticas--Álgebra--Teoría de conjuntosMatemáticas--Filosofía--Lógica matemática--Sistemas lógicos clásicos--Cálculo proposicionalInducción (Matemáticas)Tesis de licenciaturaopenAccess