Mapa mental: Mapa Mental: Relaciones Lógicas

Explorar

Mapa mental: Mapa Mental: Relaciones Lógicas · Formatom

Mapa Mental: Relaciones Lógicas

Contenido del mapa

Relaciones Lógicas — Estudio formal de las proposiciones, conectivos y esquemas de inferencia lógica.
- Proposiciones — Enunciados que pueden calificarse de forma unívoca como verdaderos o falsos.
  - Simples o Atómicas — Expresan una sola idea sin la presencia de conectivos lógicos.
  - Compuestas o Moleculares — Unión de dos o más proposiciones simples mediante enlaces lógicos.
- Conectivos Lógicos — Símbolos que combinan o modifican proposiciones simples.
  - Negación (~) — Invierte el valor de verdad original de una proposición.
  - Conjunción (∧) — Verdadera únicamente cuando ambas proposiciones son verdaderas.
  - Disyunción (∨ / △) — Inclusiva (falsa solo si ambas son falsas) y exclusiva (verdadera si tienen valores distintos).
  - Condicional (→) — Establece causa-consecuencia; solo es falsa si el antecedente es verdadero y el consecuente falso.
  - Bicondicional (↔) — Doble implicación; resulta verdadera si ambas proposiciones comparten el mismo valor de verdad.
- Tablas de Verdad — Método gráfico para determinar el valor de verdad global de un esquema molecular.
  - Tautología — El valor final es siempre verdadero para cualquier combinación de entrada.
  - Contradicción — El resultado final es enteramente falso en todos los casos evaluados.
  - Contingencia — Matriz final que combina resultados tanto verdaderos como falsos.
- Leyes Proposicionales — Equivalencias lógicas que permiten transformar y simplificar fórmulas complejas.
  - Leyes de De Morgan — Reglas para distribuir la negación sobre conjunciones y disyunciones.
  - Leyes de Absorción — Simplifican expresiones anidadas con conjunción y disyunción combinadas.
  - Condicional y Contrapositiva — Transforman la implicación a disyunción o a su forma recíproca negada.

Las relaciones lógicas constituyen el fundamento del razonamiento matemático formal y el análisis deductivo. En el marco preuniversitario, este tema aborda el estudio de los enunciados o proposiciones, sus conexiones mediante operadores lógicos y los criterios de validez a través de tablas de verdad y leyes de equivalencia.

El estudio inicia con la identificación de proposiciones lógicas simples y compuestas, diferenciándolas de enunciados abiertos o expresiones no proposicionales. A partir de estas, se emplean los conectivos lógicos fundamentales como la negación, conjunción, disyunción (débil y fuerte), condicional y bicondicional para construir fórmulas complejas.

Finalmente, se analiza el comportamiento de los esquemas moleculares clasificándolos en tautologías, contradicciones y contingencias, aplicando leyes del álgebra proposicional para simplificar expresiones e inferir conclusiones válidas mediante reglas lógicas.