Características de la lógica formal

La lógica formal utiliza un lenguaje simbólico que reemplaza expresiones del lenguaje natural. Este sistema usa variables proposicionales (letras como P, Q, R) para representar afirmaciones completas.

Por ejemplo, la frase "La silla es verde y la puerta es verde" se puede convertir en símbolos para trabajarla con mayor precisión.

Las relaciones lógicas fundamentales que estudiaremos son:

• Negación (¬)
• Conjunción (∧)
• Disyunción (∨)
• Condicional (→)
• Bicondicional (↔)

💡 Consejo: Piensa en estos símbolos como los "operadores matemáticos" de la lógica. Así como sumas y restas en matemáticas, estos conectores te permiten construir expresiones lógicas complejas.

Tablas de verdad y negación

Las tablas de verdad son herramientas que nos muestran todos los posibles valores de una proposición. Para calcular el número de filas, usa la fórmula 2^n (donde n es el número de variables).

La negación (¬) es la relación lógica más sencilla. Simplemente convierte un valor de verdad en su contrario. Si P es verdadero, entonces ¬P es falso, y viceversa.

Por ejemplo, si P significa "La silla es verde", entonces ¬P significa "La silla no es verde".

La conjunción (∧) une dos proposiciones con el conector "y". Por ejemplo: "La silla es verde y la puerta es amarilla" se representa como P ∧ Q.

💡 Recuerda: La negación es como un interruptor que cambia V por F o F por V. Es el operador lógico más fácil de entender.

Reglas de la conjunción

La regla de la conjunción establece que para que una expresión P ∧ Q sea verdadera, ambas proposiciones (P y Q) deben ser verdaderas. En todos los demás casos, el resultado será falso.

Esto se visualiza claramente en la tabla de verdad:

• V ∧ V = V (única combinación verdadera)
• V ∧ F = F
• F ∧ V = F
• F ∧ F = F

Esta regla refleja nuestra intuición sobre el conector "y" en el lenguaje diario. Si digo "terminé la tarea y estudié para el examen", ambas cosas deben ser ciertas para que toda la afirmación sea verdadera.

💡 Truco: Para recordar la conjunción, piensa que es "exigente" - necesita que ambas proposiciones sean verdaderas para dar un resultado verdadero.

La disyunción

La disyunción (∨) representa la opción entre dos o más premisas. En el lenguaje natural se identifica con la palabra "o".

Por ejemplo: "La puerta es verde o la silla es amarilla" se representa como P ∨ Q.

La regla de la disyunción establece que para que una expresión P ∨ Q sea verdadera, al menos una de las proposiciones debe ser verdadera. Solo será falsa cuando ambas proposiciones sean falsas.

Su tabla de verdad muestra:

• V ∨ V = V
• V ∨ F = V
• F ∨ V = V
• F ∨ F = F (única combinación falsa)

💡 Comparación: Mientras la conjunción (∧) es estricta y requiere que todo sea verdadero, la disyunción (∨) es más flexible y solo necesita que algo sea verdadero.

El condicional

El condicional (→) expresa una condición y se traduce como "si... entonces". Por ejemplo: "Si te portas bien, vas a la fiesta" se representa como P → Q.

La regla del condicional establece que una expresión P → Q será falsa únicamente cuando el antecedente (P) es verdadero y el consecuente (Q) es falso. En todos los demás casos será verdadera.

La tabla de verdad del condicional muestra:

• V → V = V
• V → F = F (única combinación falsa)
• F → V = V
• F → F = V

El condicional resulta contra-intuitivo al principio porque cuando el antecedente es falso, la implicación siempre es verdadera, sin importar el valor del consecuente.

💡 Analogía: Piensa en el condicional como una promesa. Una promesa solo se rompe (es falsa) cuando prometes algo (V) pero no lo cumples (F).

El bicondicional

El bicondicional (↔) representa una doble condición y se traduce como "si y solo si". Es como dos condicionales en direcciones opuestas.

Por ejemplo: "Iré a la fiesta si y solo si tú vas" significa tanto "Si yo voy a la fiesta, tú vas" como "Si tú vas, yo voy".

La regla del bicondicional establece que para que P ↔ Q sea verdadera, ambas proposiciones deben tener el mismo valor de verdad (ambas verdaderas o ambas falsas).

Su tabla de verdad muestra:

• V ↔ V = V
• V ↔ F = F
• F ↔ V = F
• F ↔ F = V

💡 Pista fácil: El bicondicional (↔) es verdadero cuando P y Q tienen el mismo valor (como gemelos idénticos), y falso cuando tienen valores diferentes.