Mapa mental: Tablas de verdad de proposiciones compuestas

Explorar

Mapa mental: Tablas de verdad de proposiciones compuestas · Formatom

Tablas de verdad de proposiciones compuestas

Contenido del mapa

Tablas de verdad de proposiciones compuestas — Arreglo que muestra todos los valores de verdad posibles de una proposición compuesta.
- Proposiciones — Enunciados que solo pueden ser verdaderos o falsos.
  - Proposición simple — No contiene conectivos lógicos. Ejemplo: p: 5 es primo.
  - Proposición compuesta — Une dos o más simples mediante conectivos lógicos.
- Conectivos lógicos — Símbolos que unen proposiciones simples con reglas propias de verdad.
  - Negación (¬p) — Cambia V a F y F a V.
  - Conjunción (p ∧ q) — Es V solo si ambos son V.
  - Disyunción (p ∨ q) — Es F solo si ambos son F.
  - Condicional (p → q) — Es F solo si p es V y q es F.
  - Bicondicional (p ↔ q) — Es V si ambos tienen igual valor.
  - Disyunción exclusiva (p Δ q) — Es V si tienen valores diferentes.
- Construcción de la tabla — Pasos para armar la tabla de manera ordenada.
  - Número de filas — N = 2^n, según las n proposiciones simples.
  - Listar combinaciones — Alternar la última variable de 1 en 1, la anterior de 2 en 2, etc.
  - Jerarquía de conectivos — Paréntesis, ¬, ∧ y ∨, → y al final ↔.
- Ejemplo desarrollado — Evaluación de (p ∨ q) → (p ∧ q) con 4 filas.
  - Resolver paréntesis primero — Se calculan p ∨ q y p ∧ q por separado.
  - Columna principal al final — La última columna corresponde a toda la proposición.
- Clasificación según la columna final — Tipos de proposición compuesta según sus resultados.
  - Tautología — Todos los valores son V. Ejemplo: p ∨ ¬p.
  - Contradicción — Todos los valores son F. Ejemplo: p ∧ ¬p.
  - Contingencia — Hay al menos un V y un F.
- Aplicaciones — Uso de las tablas para demostrar relaciones lógicas.
  - Equivalencia lógica — Dos esquemas son equivalentes si sus columnas finales son idénticas.
  - Evaluación exacta — Permite decidir el valor de cualquier compuesta sin ambigüedad.

Las tablas de verdad son arreglos que muestran todos los valores de verdad posibles (V o F) de una proposición compuesta según los valores de sus proposiciones simples. Una proposición simple es un enunciado sin conectivos, mientras que una compuesta une dos o más simples mediante conectivos lógicos: negación (¬), conjunción (∧), disyunción inclusiva (∨), condicional (→), bicondicional (↔) y disyunción exclusiva (Δ). Cada conectivo tiene reglas propias: la conjunción es verdadera solo si ambos componentes son verdaderos, la disyunción es falsa solo si ambos son falsos, el condicional es falso solo cuando el antecedente es verdadero y el consecuente falso, el bicondicional es verdadero cuando ambos tienen el mismo valor y la disyunción exclusiva es verdadera cuando los valores difieren.

Para construir una tabla se calcula el número de filas con N = 2^n, donde n es la cantidad de proposiciones simples distintas. Luego se listan las combinaciones de V y F alternando la última variable de uno en uno, la anterior de dos en dos, etc., y se resuelve la expresión respetando la jerarquía: paréntesis, negación, conjunción y disyunción, condicional y finalmente bicondicional. La última columna corresponde a la proposición completa.

Según la columna final, una proposición compuesta se clasifica en tautología (todos V), contradicción (todos F) o contingencia (mezcla de V y F). Esta clasificación permite demostrar equivalencias e implicaciones lógicas, pues dos esquemas son equivalentes si sus columnas finales son idénticas. Dominar las tablas de verdad permite evaluar de forma mecánica y exacta cualquier proposición compuesta, sin ambigüedad.