1. ¿Qué es la lógica matemática y por qué es importante en programación?

1.1 Introducción

La lógica matemática estudia las reglas que permiten distinguir razonamientos correctos de razonamientos incorrectos. Trabaja con enunciados, valores de verdad, conectores lógicos, argumentos, inferencias y demostraciones.

En programación, la lógica aparece cada vez que un programa evalúa una condición, decide qué instrucción ejecutar, valida datos, combina reglas o verifica que un algoritmo produce el resultado esperado.

En este curso utilizaremos el lenguaje JavaScript para mostrar ejemplos prácticos.

1.2 Qué estudia la lógica matemática

La lógica matemática no se ocupa de calcular precios, distancias o porcentajes. Su objetivo principal es analizar la estructura de los razonamientos.

• Determina si una afirmación puede ser verdadera o falsa.
• Permite combinar afirmaciones mediante operadores como AND, OR y NOT.
• Ayuda a saber cuándo una conclusión se deriva correctamente de ciertas premisas.
• Permite simplificar expresiones condicionales y evitar contradicciones.

1.3 Una idea central: verdadero o falso

Muchos elementos de la lógica se basan en proposiciones. Una proposición es un enunciado que puede clasificarse como verdadero o falso.

1.4 Lógica y condiciones en programación

Una condición de programación es una expresión que se evalúa como verdadera o falsa. Según ese resultado, el programa toma una decisión.

const edad = 20;

if (edad >= 18) {
  console.log("Puede registrarse");
} else {
  console.log("Debe ser mayor de edad");
}

La expresión edad >= 18 funciona como una proposición dentro del programa: para un valor concreto de edad, el resultado será verdadero o falso.

1.5 Operadores lógicos básicos

Los operadores lógicos permiten combinar condiciones. En JavaScript se usan con mucha frecuencia dentro de estructuras como if, while y expresiones booleanas.

1.6 Ejemplo: combinar reglas

Supongamos que una plataforma permite acceder a un contenido solo si el usuario está registrado y tiene una suscripción activa.

const registrado = true;
const suscripcionActiva = false;

if (registrado && suscripcionActiva) {
  console.log("Acceso permitido");
} else {
  console.log("Acceso denegado");
}

La condición completa solo será verdadera cuando ambas condiciones simples sean verdaderas. Esta idea corresponde a la conjunción lógica.

1.7 Por qué la lógica evita errores

Muchos errores de programación no se producen por escribir mal una instrucción, sino por expresar mal una condición. Una condición incorrecta puede permitir accesos indebidos, rechazar datos válidos o ejecutar una acción en el momento equivocado.

const edad = 16;
const tienePermiso = true;

if (edad >= 18 || tienePermiso) {
  console.log("Puede participar");
}

El operador || significa OR. En este caso alcanza con que una de las condiciones sea verdadera. Si la regla real exige mayoría de edad y permiso al mismo tiempo, entonces debería usarse &&.

1.8 Lógica en algoritmos

Un algoritmo necesita reglas claras para decidir qué hacer en cada paso. La lógica ayuda a expresar esas reglas y a comprobar que no se contradigan.

• Un algoritmo de búsqueda compara si un elemento coincide con el valor buscado.
• Un sistema de login valida usuario, contraseña y estado de la cuenta.
• Un formulario verifica que los campos obligatorios estén completos.
• Un videojuego decide si un personaje colisionó con un objeto.
• Un sistema experto aplica reglas para llegar a una conclusión.

1.9 Lógica y legibilidad del código

Una expresión lógica puede ser correcta pero difícil de leer. Cuando una condición crece demasiado, conviene separarla en variables con nombres claros.

const edad = 22;
const emailVerificado = true;
const cuentaBloqueada = false;

const esMayorDeEdad = edad >= 18;
const puedeIngresar = esMayorDeEdad && emailVerificado && !cuentaBloqueada;

if (puedeIngresar) {
  console.log("Ingreso permitido");
}

Nombrar condiciones intermedias mejora la comprensión del programa y reduce la probabilidad de errores lógicos.

1.10 Dónde se aplica la lógica matemática

1.11 Pensamiento lógico y depuración

Depurar un programa exige razonar paso a paso. Si un resultado no es el esperado, debemos revisar qué condiciones se evaluaron, qué valores tenían las variables y qué camino tomó el programa.

const puntaje = 72;

if (puntaje >= 90) {
  console.log("Excelente");
} else if (puntaje >= 60) {
  console.log("Aprobado");
} else {
  console.log("Reprobado");
}

Este tipo de estructura depende de condiciones ordenadas correctamente. Cambiar el orden puede modificar el comportamiento del programa.

1.12 Qué aprenderemos en el curso

A lo largo del curso estudiaremos la lógica desde sus fundamentos hasta sus aplicaciones en programación.

• Proposiciones, valores de verdad y operadores lógicos.
• Tablas de verdad, tautologías, contradicciones y contingencias.
• Equivalencias lógicas y simplificación de expresiones.
• Argumentos, premisas, conclusiones y reglas de inferencia.
• Lógica de predicados, cuantificadores y lenguaje natural.
• Álgebra booleana, circuitos digitales y condiciones en programas.

1.13 Qué debes recordar de este tema

• La lógica matemática estudia la validez de enunciados, reglas y razonamientos.
• En programación, una condición se evalúa como verdadera o falsa.
• Los operadores lógicos permiten combinar condiciones simples en expresiones más complejas.
• Una condición mal formulada puede producir errores aunque el código no tenga errores de sintaxis.
• Comprender lógica ayuda a escribir algoritmos más claros, seguros y fáciles de depurar.

1.14 Conclusión

La lógica matemática es importante en programación porque permite expresar decisiones con precisión. Cada vez que un programa evalúa una condición, combina reglas, valida datos o decide qué camino seguir, está aplicando ideas lógicas.

En el próximo tema veremos la historia y los fundamentos de la lógica formal.