Aprende las tablas de verdad de la logica proposicional: negacion, conjuncion, disyuncion, condicional y bicondicional. Con ejercicios y aplicaciones.
Una proposicion es una oracion que puede ser verdadera (V) o falsa (F). "2+2=4" es verdadera. "El sol es verde" es falsa. Las tablas de verdad muestran todos los posibles valores de verdad de una expresion logica combinada con conectivos.
El condicional "si p entonces q" es falso solo cuando p es verdadero y q es falso. Si p=F, el condicional es verdadero sin importar q (una premisa falsa no puede invalidar la implicacion). "Si llueve entonces el suelo se moja" es verdadero. Si no llueve (p=F), no podemos decir que la implicacion es falsa aunque el suelo este mojado por otra razon.
¬(p∧q) = ¬p∨¬q. La negacion de "llueve Y hace frio" es "no llueve O no hace frio". ¬(p∨q) = ¬p∧¬q. La negacion de "llueve O hace calor" es "no llueve Y no hace calor". Estas leyes son fundamentales en programacion: el NOT de un AND en un condicional se convierte en un OR con los NOT aplicados a cada condicion.
Las tablas de verdad son la base de la electronica digital. Los circuitos logicos (AND, OR, NOT gates) son implementaciones fisicas de las conectivas logicas. Una compuerta AND da 1 solo si ambas entradas son 1 — exactamente la conjuncion logica. Un procesador moderno tiene miles de millones de estas compuertas. Las matematicas que aprendes en logica proposicional son literalmente el lenguaje del hardware de todos los computadores del mundo.
La lógica matemática estudia el razonamiento usando valores de verdad: Verdadero (V) o Falso (F). Una proposición es una afirmación que puede ser verdadera o falsa, pero no ambas. "3 es un número primo" es V. "El sol es frío" es F. Las tablas de verdad muestran todos los posibles resultados de combinar proposiciones con conectivos lógicos.
Invierte el valor. Si p=V entonces ¬p=F. Si p=F entonces ¬p=V.
Si "llueve" es V, entonces "no llueve" es F.
Solo es V cuando AMBAS son V. En todos los demás casos es F.
"Llueve Y hace frío" — solo V si ambas condiciones se cumplen.
Es F solo cuando AMBAS son F. En todos los demás casos es V.
"Llueve O hace frío" — V con que una sola se cumpla.
Solo es F cuando p es V y q es F (la "promesa" se rompe).
"Si estudio entonces apruebo" → solo F si estudié y reprobé.
Es V cuando p y q tienen el mismo valor de verdad (ambas V o ambas F).
| p | q | ¬p | p∧q | p∨q | p→q | p↔q |
|---|---|---|---|---|---|---|
| V | V | F | V | V | V | V |
| V | F | F | F | V | F | F |
| F | V | V | F | V | V | F |
| F | F | V | F | F | V | V |
La lógica matemática es la base de la computación y la inteligencia artificial. Los circuitos de tu computadora implementan físicamente AND (∧), OR (∨) y NOT (¬) usando transistores. El condicional es especialmente importante: "si p entonces q" solo es falso cuando la hipótesis es verdadera y la conclusión es falsa.
Las leyes de De Morgan son fundamentales en lógica: ¬(p∧q) = ¬p∨¬q y ¬(p∨q) = ¬p∧¬q. En palabras: "no (p y q)" equivale a "no-p o no-q". Esto se verifica fácilmente con la tabla de verdad. En computación, estas leyes permiten simplificar circuitos lógicos y optimizar condiciones en programas. La lógica proposicional es además la base del álgebra booleana que estudiarás en preparatoria y universidad.
Una proposición es una afirmación que puede ser verdadera (V) o falsa (F), nunca ambas. "México es un país" es V. "2+2=5" es F. "¿Qué hora es?" no es proposición porque no tiene valor de verdad. La lógica proposicional estudia cómo combinar proposiciones con conectivos (y, o, no, si... entonces) y determinar cuándo la combinación es verdadera.
Invierte el valor de verdad. Si p=V entonces ¬p=F, y viceversa.
p="Hace calor" (V) → ¬p="No hace calor" (F)
| p | ¬p |
|---|---|
| V | F |
| F | V |
"Llueve y hace frío" es verdadero solo si llueve Y hace frío al mismo tiempo.
| p | q | p∧q |
|---|---|---|
| V | V | V |
| V | F | F |
| F | V | F |
| F | F | F |
"Llueve o hace frío" es falso solo si no llueve Y no hace frío.
| p | q | p∨q |
|---|---|---|
| V | V | V |
| V | F | V |
| F | V | V |
| F | F | F |
"Si estudias, apruebas" solo es falso si estudiaste Y reprobaste. Si no estudiaste, la promesa no aplica.
| p | q | p→q |
|---|---|---|
| V | V | V |
| V | F | F |
| F | V | V |
| F | F | V |
"No (p y q)" = "no p o no q"
"No (p o q)" = "no p y no q"
Las tablas de verdad son la base de la lógica digital — cada compuerta lógica (AND, OR, NOT, XOR) en tu procesador funciona exactamente como los conectivos que aprendiste aquí. La conjunción es AND, la disyunción es OR, la negación es NOT. Toda la computación moderna se construye sobre estos cuatro operadores lógicos.
Te los enviamos a tu correo al instante, en PDF profesional con hoja de respuestas. Sin costo.
¿Quieres generar exámenes ilimitados de cualquier tema? Prueba el generador →