5. Valor de verdad de una proposición

5.1 Introducción

Una proposición tiene un valor de verdad: puede ser verdadera o falsa. Esta idea parece simple, pero es la base de las condiciones, las decisiones y los razonamientos lógicos.

En programación, el valor de verdad se relaciona con el tipo booleano. Una expresión booleana produce uno de dos resultados: true o false.

5.2 Verdadero y falso

En lógica clásica, una proposición bien definida tiene exactamente uno de estos dos valores:

• Verdadero: la proposición afirma algo que se cumple.
• Falso: la proposición afirma algo que no se cumple.

5.3 Ejemplos básicos

5.4 Valor de verdad y contexto

Algunas proposiciones dependen de un contexto. Por ejemplo, la afirmación el usuario está activo puede ser verdadera para un usuario y falsa para otro.

const usuario = {
  nombre: "Ana",
  activo: true
};

console.log(usuario.activo);

La proposición "Ana está activa" es verdadera en este contexto porque la propiedad activo tiene el valor true.

5.5 Proposiciones con variables

Una expresión con variables puede cambiar su valor de verdad según los valores asignados.

Esta expresión no puede evaluarse por completo hasta conocer el valor de x.

let x = 15;
console.log(x > 10);

x = 4;
console.log(x > 10);

La misma forma lógica puede ser verdadera o falsa dependiendo del valor concreto de la variable.

5.6 Evaluar condiciones en JavaScript

JavaScript evalúa expresiones lógicas y devuelve valores booleanos.

5.7 Valor de verdad en estructuras condicionales

Una estructura if ejecuta un bloque de código cuando la condición es verdadera. Si la condición es falsa, puede ejecutar otro bloque o continuar con el programa.

const stock = 3;

if (stock > 0) {
  console.log("Producto disponible");
} else {
  console.log("Producto agotado");
}

La expresión stock > 0 tiene valor de verdad verdadero, por eso se ejecuta el primer bloque.

5.8 Negar un valor de verdad

La negación cambia el valor de verdad de una proposición.

const cuentaBloqueada = false;

console.log(!cuentaBloqueada);

Si cuentaBloqueada es falso, entonces !cuentaBloqueada es verdadero.

5.9 Valores booleanos y expresiones booleanas

Un valor booleano es directamente true o false. Una expresión booleana es una expresión que produce uno de esos valores.

5.10 Cuidado con truthy y falsy

JavaScript permite usar valores que no son booleanos dentro de condiciones. Algunos se comportan como verdadero y otros como falso. A estos comportamientos se los conoce como truthy y falsy.

const nombre = "";

if (nombre) {
  console.log("Hay un nombre");
} else {
  console.log("El nombre está vacío");
}

La cadena vacía se comporta como falso en una condición. Aunque esto es útil, en lógica matemática trabajaremos principalmente con proposiciones que tienen un valor verdadero o falso explícito.

5.11 Convertir una regla en valor de verdad

Una buena práctica es convertir reglas importantes en variables booleanas con nombres claros.

const edad = 17;
const autorizacionPadres = true;

const esMayorDeEdad = edad >= 18;
const puedeParticipar = esMayorDeEdad || autorizacionPadres;

console.log(puedeParticipar);

Cada variable expresa una proposición. Esto hace que el código sea más fácil de leer y de revisar.

5.12 Valor de verdad en pruebas

Las pruebas de software también se basan en proposiciones. Una prueba verifica si cierta afirmación sobre el programa es verdadera.

function esPar(numero) {
  return numero % 2 === 0;
}

console.log(esPar(8) === true);
console.log(esPar(7) === false);

En cada línea se evalúa una afirmación sobre el comportamiento de la función.

5.13 Errores comunes

• Confundir una proposición con una pregunta o una instrucción.
• Evaluar una expresión con variables sin conocer sus valores.
• Usar valores truthy o falsy cuando conviene obtener un booleano explícito.
• Nombrar variables booleanas de forma ambigua.
• Olvidar que negar una proposición cambia su valor de verdad.

5.14 Qué debes recordar de este tema

• El valor de verdad indica si una proposición es verdadera o falsa.
• En JavaScript, los valores booleanos son true y false.
• Las comparaciones producen valores booleanos.
• Una misma expresión con variables puede cambiar su valor según el contexto.
• Las condiciones de un programa dependen del valor de verdad de sus expresiones.

5.15 Conclusión

El valor de verdad es el punto de partida para evaluar proposiciones. En programación, esta idea aparece en cada condición, validación, comparación y prueba lógica.

En el próximo tema estudiaremos los operadores lógicos fundamentales.