Matemática discreta y lógica · Lección 10 de 10
Repaso de lógica
Encadenar conectivas, tablas y equivalencias.
Antes de empezar, una de repaso
Recordar algo cuesta más que releerlo, y por eso funciona mejor. Esta pregunta es de una lección anterior.
Las cuatro conectivas
Y exige las dos. O exige al menos una. NO invierte. La implicación solo falla con premisa verdadera y conclusión falsa. Con esas cuatro se construye todo lo demás.
De hecho basta con NAND —la negación de la Y— para construir todas las demás, y es lo que se usa en la fabricación de chips.
Qué llevarse a la práctica
Negar bien una condición compuesta con De Morgan. No confundir una implicación con su recíproca. Y recordar que «o» en matemáticas es inclusivo salvo que se diga lo contrario.
Esas tres cosas evitan la mayoría de los errores lógicos reales, dentro y fuera de un examen.
Practica
Cada ejercicio se genera con números nuevos y lo corrige el mismo motor que mueve las calculadoras del sitio. La lección se da por dominada al acertar 4 de los últimos 5.
¿Quieres comprobar tus propios números? Esta calculadora resuelve lo mismo paso a paso: Tablas de verdad.