Negación, Conjunción y Disyunción: Los Tres Conectivos Fundamentales

La negación: invirtiendo la verdad

La negación es el conectivo más simple: toma una proposición y produce otra con el valor de verdad opuesto. Es el único conectivo unario, es decir, opera sobre una sola proposición.

Símbolos y notaciones de la negación

• ¬p (símbolo estándar en lógica)

• ~p (alternativa común)

• NOT p (en inglés)

• !p (en programación: C, Java, JavaScript)

• not p (en Python)

Tabla de verdad de la negación

La tabla de verdad de ¬p es la más sencilla:

Cuando p es V, ¬p es F.

Cuando p es F, ¬p es V.

Ejemplos de negación en lenguaje natural

• p: "El número 7 es par" (Falso)

• ¬p: "El número 7 no es par" (Verdadero)

• p: "Todos los mamíferos viven en tierra" (Falso, los delfines son mamíferos)

• ¬p: "No todos los mamíferos viven en tierra" (Verdadero)

Doble negación

Negar una negación nos devuelve al valor original. Esta es la ley de doble negación:

¬(¬p) ≡ p

"No es falso que llueva" significa "Llueve".

Negación de proposiciones compuestas

Negar proposiciones compuestas requiere las Leyes de De Morgan, que veremos más adelante. Por ahora, recuerda que ¬(p ∧ q) no es lo mismo que (¬p ∧ ¬q).

La conjunción: el poder del "y"

La conjunción combina dos proposiciones y afirma que ambas son verdaderas simultáneamente. Es verdadera únicamente cuando ambos componentes son verdaderos.

Símbolos y notaciones de la conjunción

• p ∧ q (símbolo estándar)

• p · q (notación multiplicativa)

• p AND q

• p && q (C, Java, JavaScript)

• p and q (Python)

Tabla de verdad de la conjunción

Para p ∧ q:

V ∧ V = V (solo este caso da Verdadero)

V ∧ F = F

F ∧ V = F

F ∧ F = F

La conjunción actúa como un filtro estricto: basta que una parte sea falsa para que todo sea falso.

Propiedades de la conjunción

Conmutatividad

p ∧ q ≡ q ∧ p

El orden no importa: "Hace frío y llueve" es lo mismo que "Llueve y hace frío".

Asociatividad

(p ∧ q) ∧ r ≡ p ∧ (q ∧ r)

Al combinar tres proposiciones con "y", el agrupamiento no afecta el resultado.

Elemento neutro

p ∧ V ≡ p

Combinar cualquier proposición con Verdadero mediante "y" no cambia su valor.

Elemento absorbente

p ∧ F ≡ F

Si una parte de la conjunción es falsa, todo es falso.

Ejemplos prácticos de conjunción

En matemáticas:

"x es mayor que 5 y menor que 10" se escribe: (x > 5) ∧ (x < 10)

Esto define el intervalo (5, 10).

En programación:

if (edad >= 18 && tieneLicencia) significa que ambas condiciones deben cumplirse.

La disyunción: la flexibilidad del "o"

La disyunción combina dos proposiciones y afirma que al menos una es verdadera. Es verdadera cuando una, la otra, o ambas son verdaderas.

Símbolos y notaciones de la disyunción

• p ∨ q (símbolo estándar)

• p + q (notación aditiva)

• p OR q

• p || q (C, Java, JavaScript)

• p or q (Python)

Tabla de verdad de la disyunción

Para p ∨ q:

V ∨ V = V

V ∨ F = V

F ∨ V = V

F ∨ F = F (solo este caso da Falso)

La disyunción es generosa: basta que una parte sea verdadera para que todo sea verdadero.

Disyunción inclusiva vs exclusiva

La disyunción estándar (∨) es inclusiva: permite que ambas sean verdaderas. En lenguaje cotidiano, el "o" a veces es exclusivo.

"¿Quieres café o té?" generalmente implica exclusividad (eliges uno).

"El examen incluirá álgebra o geometría" puede ser inclusivo (puede incluir ambos).

La disyunción exclusiva (XOR, ⊕) es verdadera solo cuando exactamente una proposición es verdadera:

V ⊕ V = F, V ⊕ F = V, F ⊕ V = V, F ⊕ F = F

Propiedades de la disyunción

Conmutatividad

p ∨ q ≡ q ∨ p

Asociatividad

(p ∨ q) ∨ r ≡ p ∨ (q ∨ r)

Elemento neutro

p ∨ F ≡ p

Elemento absorbente

p ∨ V ≡ V

Si una parte es verdadera, toda la disyunción es verdadera.

Combinando los tres conectivos

La potencia de estos conectivos emerge cuando los combinamos.

Ejemplo: ¬p ∨ q

Esta expresión es interesante porque es equivalente al condicional p → q. Construyamos su tabla:

Si p=V, q=V: ¬V ∨ V = F ∨ V = V

Si p=V, q=F: ¬V ∨ F = F ∨ F = F

Si p=F, q=V: ¬F ∨ V = V ∨ V = V

Si p=F, q=F: ¬F ∨ F = V ∨ F = V

¡Exactamente el mismo patrón que p → q!

Leyes de De Morgan

Estas leyes relacionan negación, conjunción y disyunción:

¬(p ∧ q) ≡ ¬p ∨ ¬q

¬(p ∨ q) ≡ ¬p ∧ ¬q

En palabras: al negar una conjunción, se convierte en disyunción de negaciones (y viceversa).

Ejemplo: "No es cierto que llueve y hace frío" equivale a "No llueve o no hace frío".

Aplicaciones en programación

Validación de datos

Para verificar que una contraseña cumple requisitos:

tieneMinuscula AND tieneMayuscula AND tieneNumero AND longitud >= 8

Control de acceso

Para permitir acceso a usuarios:

esAdmin OR (esUsuario AND tieneSuscripcion)

Filtrado de datos

Para buscar productos:

NOT agotado AND (categoria == 'electrónica' OR categoria == 'computación')

Ejercicios resueltos

Ejercicio 1

Evalúa (p ∧ ¬q) ∨ r cuando p=V, q=V, r=F

Paso 1: ¬q = ¬V = F

Paso 2: p ∧ ¬q = V ∧ F = F

Paso 3: (p ∧ ¬q) ∨ r = F ∨ F = F

Ejercicio 2

Demuestra que ¬(p ∧ q) ≡ ¬p ∨ ¬q (Ley de De Morgan)

Construimos las tablas de verdad para ambas expresiones y verificamos que son idénticas en todas las filas.

Conclusión

La negación, conjunción y disyunción son los bloques de construcción fundamentales de la lógica proposicional. Con solo estos tres conectivos podemos expresar cualquier función lógica (junto con las constantes V y F). Dominarlos es esencial para avanzar hacia conectivos más complejos como el condicional y el bicondicional.