ENTREGA PREVIA 2 SEMANA 7
Subgrupo 17
Andrea Acevedo Soto
Sergio Junco Castro
German Arévalo Camacho
Lógica computacional
Politécnico grancolombiano
2025
Objetivo .............................................................................................................. 3
Aplicación al Análisis de la Composición Corporal de un Individuo .......................... 4
Ejemplo de Proposición Cuantificada: ................................................................... 4
Traducción al Lenguaje Natural: ............................................................................ 4
Otro Ejemplo de Proposición Cuantificada: ............................................................ 4
Traducción al Lenguaje Natural: ............................................................................ 5
Comentario sobre la "Verificación" desde el Punto de Vista del Cálculo de
Predicados: ......................................................................................................... 5
Para la primera proposición universal ................................................................. 5
Para la segunda proposición existencial ............................................................. 5
BIBLIOGRAFIA ..................................................................................................... 9
Objetivo
Presentar una aplicación, en el área de conocimiento del estudiante, del álgebra lineal, cálculo
o asignaturas afines a su carrera, de las proposiciones cuantificadas. Se sugiere investigar
cómo se usan los cuantificadores en teoremas o proposiciones propias de esas asignaturas.
Traducir un teorema a lenguaje formal (Expresiones cuantificadas) y comentar qué estrategia
se usa para su demostración desde el punto de vista del cálculo de predicados.
Aplicación al Análisis de la Composición Corporal de un Individuo
Decidimos implementar una aplicacion simple de el análisis detallado de la composición
corporal de un individuo a través de diferentes mediciones o componentes.
Ejemplo de Proposición Cuantificada:
Sea un individuo específico. Sea C (i) el conjunto de componentes de la masa corporal del
individuo i (por ejemplo: masa muscular, masa grasa, masa ósea, agua corporal). Sea m(c) la
función que devuelve la masa (en kg) del componente c∈ C(i). Sea p(c) la función que
devuelve el porcentaje del componente c respecto al peso total del individuo i.
Podríamos formular la siguiente proposición:
∀c ∈ C (i) ( m (c) > 0 ∧ p(c) > 0)
Donde:
∀ es el cuantificador universal ("para todo").
∈ significa "pertenece a".
m(c) > 0 significa que la masa del componente c es mayor que cero.
p(c) > 0 significa que el porcentaje del componente c es mayor que cero.
Traducción al Lenguaje Natural:
"Para todos los componentes de la masa corporal del individuo i, su masa es mayor que cero
y su porcentaje respecto al peso total también es mayor que cero."
Esta proposición establece una propiedad fundamental de la composición corporal: todos los
componentes principales contribuyen positivamente a la masa total y al porcentaje del peso.
Otro Ejemplo de Proposición Cuantificada:
Considerando las mediciones de la circunferencia de diferentes partes del cuerpo de un
individuo para estimar su tipo de cuerpo:
Sea Mediciones(i) el conjunto de circunferencias medidas en el individuo i (por ejemplo:
cintura, cadera, bíceps, muslo). Sea valor(m) la función que devuelve el valor de la
circunferencia (en cm) de la medición m∈ Mediciones(i).
Podríamos tener una proposición relacionada con la definición de un cierto tipo de cuerpo
(por ejemplo, una relación cintura-cadera para definir una forma de cuerpo tipo "reloj de
arena" en mujeres, aunque esto requeriría umbrales específicos):
∃m1∈Mediciones(i)∃m2∈Mediciones(i)(nombre(m1) = "cintura" ∧ nombre(m2) = "cadera" ∧
(valor(m1) / valor(m2) < 0 .8))
Donde:
∃ es el cuantificador existencial ("existe al menos uno").
nombre(m) es una función que devuelve el nombre de la medición.
valor(m1) / valor(m2) < 0.8 establece una relación específica entre la circunferencia de la
cintura y la cadera.
Traducción al Lenguaje Natural:
"Existen al menos una medición llamada 'cintura' y al menos una medición llamada 'cadera'
en el individuo i, tales que la razón de la circunferencia de la cintura a la circunferencia de la
cadera es menor que 0.8."
Comentario sobre la "Verificación" desde el Punto de Vista del Cálculo de Predicados:
Para verificar estas proposiciones para un individuo específico, necesitaríamos tener los datos
de su composición corporal o sus mediciones de circunferencias.
Para la primera proposición universal: Necesitaríamos la lista de todos los componentes de la
masa corporal del individuo i y sus respectivas masas y porcentajes. Luego, verificaríamos
que, para cada componente en la lista, tanto la masa como el porcentaje son mayores que
cero. Si encontramos algún componente con masa o porcentaje igual a cero o negativo (lo
cual no sería físicamente plausible para los componentes principales), la proposición sería
falsa para ese individuo.
Para la segunda proposición existencial: Necesitaríamos el conjunto de mediciones de
circunferencias del individuo i, incluyendo la identificación de la cintura y la cadera y sus
valores. Luego, calcularíamos la razón cintura-cadera. Si esta razón es menor que 0.8,
entonces la proposición es verdadera para ese individuo. Si, después de revisar todas las
mediciones identificadas como cintura y cadera, la condición no se cumple, la proposición
sería falsa.
En estos ejemplos, el cálculo de predicados nos permite formalizar las propiedades que deben
cumplir los componentes o las mediciones de un individuo. La "verificación" implica
examinar los datos específicos del individuo para determinar si estas propiedades
cuantificadas son verdaderas o falsas para él.
function calcularIMC(pesoEnKg, alturaEnMetros) {
if (alturaEnMetros <= 0) {
return "La altura debe ser mayor que cero.";
}
const imc = pesoEnKg / (alturaEnMetros * alturaEnMetros);
return imc;
}
function interpretarIMC(imc) {
if (imc < 18.5) {
return "Bajo peso";
} else if (imc >= 18.5 && imc < 25) {
return "Peso normal";
} else if (imc >= 25 && imc < 30) {
return "Sobrepeso";
} else {
return "Obesidad";
}
}
// Ejemplo de uso:
const pesoPersona = 75; // kg
const alturaPersona = 1.75; // metros
const imcCalculado = calcularIMC(pesoPersona, alturaPersona);
if (typeof imcCalculado === 'number') {
const interpretacion = interpretarIMC(imcCalculado);
[Link](`El IMC es: ${[Link](2)}`);
[Link](`Interpretación: ${interpretacion}`);
} else {
[Link](imcCalculado);
}
/*
Relación del IMC con la Explicación sobre el Análisis de la
Composición Corporal:
El Índice de Masa Corporal (IMC) es una métrica simple que
relaciona el peso con la altura de una persona. Aunque es
ampliamente utilizado como un indicador general de si una
persona tiene un peso saludable, tiene limitaciones
significativas en el análisis detallado de la composición
corporal, tal como se describe en el texto.
**Limitaciones del IMC en el Contexto del Análisis de la
Composición Corporal:**
1. **No distingue entre los componentes de la masa corporal:**
El IMC solo considera el peso total. No diferencia entre la
masa muscular, la masa grasa, la masa ósea o el agua corporal.
Dos individuos pueden tener el mismo IMC pero una composición
corporal muy diferente. Por ejemplo, un atleta con mucha masa
muscular y poca grasa puede tener un IMC en el rango de
"sobrepeso" según los criterios estándar, a pesar de ser
saludable. Esto contradice la proposición cuantificada:
`∀c ∈ C (i) ( m (c) > 0 ∧ p(c) > 0)`
Si bien esta proposición es generalmente verdadera (todos
los componentes contribuyen positivamente), el IMC por sí solo
no proporciona información sobre los valores específicos de
`m(c)` (masa de cada componente) ni `p(c)` (porcentaje de cada
componente).
2. **No considera la distribución de la grasa:** El IMC no
informa sobre dónde se almacena la grasa en el cuerpo. La grasa
abdominal (alrededor de la cintura) se considera más riesgosa
para la salud que la grasa en otras áreas (como las caderas y
los muslos). El segundo ejemplo de proposición cuantificada en
el texto aborda precisamente esta idea al considerar la
relación cintura-cadera:
`∃m1∈Mediciones(i)∃m2∈Mediciones(i)(nombre(m1) = "cintura"
∧ nombre(m2) = "cadera" ∧ (valor(m1) / valor(m2) < 0 .8))`
El IMC ignora por completo estas relaciones y, por lo tanto,
no puede identificar individuos con una distribución de grasa
riesgosa que podrían tener un IMC dentro del rango "normal".
3. **Factores individuales no considerados:** El IMC no tiene
en cuenta factores como la edad, el sexo y la etnia, que pueden
influir en la composición corporal saludable.
**En resumen:**
El IMC es una herramienta de cribado inicial útil a nivel
poblacional, pero es una medida **simplificada** que no
proporciona la **granularidad** necesaria para un análisis
detallado de la composición corporal de un individuo. La
explicación y los ejemplos de proposiciones cuantificadas en el
texto resaltan la necesidad de considerar **componentes
específicos** de la masa corporal y **mediciones de
circunferencias** para obtener una comprensión más precisa y
significativa de la salud y el estado físico de una persona.
Mientras que el IMC nos da un número único basado en el peso y
la altura, el análisis de la composición corporal busca
**cuantificar y cualificar** los diferentes elementos que
conforman el peso de un individuo, permitiendo una evaluación
más profunda y personalizada de su estado físico y riesgos para
la salud. El IMC, en su simplicidad, **no puede verificar** las
proposiciones más complejas y detalladas sobre la composición
corporal presentadas en el texto.
*/
Explicación del Código:
1. calcularIMC(pesoEnKg, alturaEnMetros):
a. Esta función toma el peso en kilogramos y la altura en metros como
argumentos.
b. Realiza la fórmula estándar para calcular el IMC: peso (kg) / (altura (m) *
altura (m)).
c. Incluye una validación básica para asegurarse de que la altura sea mayor que
cero.
d. Devuelve el valor del IMC calculado.
2. interpretarIMC(imc):
a. Esta función toma el valor del IMC como argumento.
b. Utiliza una serie de condicionales if-else if-else para clasificar el IMC en las
categorías estándar de peso: bajo peso, peso normal, sobrepeso y obesidad.
c. Devuelve una cadena de texto con la interpretación del IMC.
3. Ejemplo de Uso:
a. Se definen variables pesoPersona y alturaPersona con valores de ejemplo.
b. Se llama a la función calcularIMC para obtener el IMC.
c. Se verifica si el resultado es un número (para asegurar que el cálculo fue
exitoso).
d. Si es un número, se llama a interpretarIMC para obtener la categoría de peso y
se muestra tanto el IMC como su interpretación en la consola.
e. Si no es un número (debido a la validación de la altura), se muestra el mensaje
de error.
BIBLIOGRAFIA
Básicas, 1. 1. Definiciones. (s/f). Tema 1. Proposiciones y operadores Lógicos. [Link].
Recuperado el 24 de abril de 2025, de
[Link]
Ferre, N., Galli, A. C., & Guzmán Mattje, E. B. (2018). Álgebra y geometría: Una manera de
pensar. Editorial de la Universidad Nacional de La Plata (EDULP). Recuperado el 24 de abril
de 2025, de [Link]
Cardozo, L. A., Cuervo Guzman, Y. A., & Murcia Torres, J. A. (2016). Porcentaje de grasa
corporal y prevalencia de sobrepeso - obesidad en estudiantes universitarios de
rendimiento deportivo de Bogotá, Colombia. Nutrición Clínica y Dietética Hospitalaria,
36(3), 68–75. Recuperado el 24 de abril de 2025, de
[Link]
