Fundamentos de Lógica

¿Alguna vez te has preguntado cómo saber si un argumento realmente tiene sentido? La lógica estudia exactamente eso: la validez de los razonamientos que usamos todos los días.

Las proposiciones son la base de todo. Son enunciados que afirman algo y solo pueden ser verdaderos (V) o falsos (F). Por ejemplo: "Llueve" o "El examen es mañana" son proposiciones porque puedes determinar si son ciertas o no.

Los conectores lógicos son como operadores matemáticos, pero para ideas. Cuando los usas con proposiciones, crear nuevas proposiciones más complejas. Los principales son: negación (~), conjunción (∧), disyunción (∨), condicional (→), bicondicional (↔) y disyunción excluyente (△).

Las tablas de verdad te muestran exactamente cómo funcionan estos conectores. Por ejemplo, una conjunción (p ∧ q) solo es verdadera cuando ambas proposiciones son verdaderas, mientras que una disyunción (p ∨ q) es falsa únicamente cuando ambas proposiciones son falsas.

💡 Tip clave: Memoriza que ∧ significa "y" (ambas deben ser ciertas), ∨ significa "o" (al menos una debe ser cierta), y → significa "si...entonces" (solo es falsa cuando la primera es cierta y la segunda falsa).

Finalmente, existen tres tipos importantes de fórmulas: tautologías (siempre verdaderas), contradicciones (siempre falsas) y contingencias (pueden ser verdaderas o falsas dependiendo del caso). Reconocer estos patrones te ayudará mucho en matemáticas y filosofía.