Conectores lógicos
¿Qué son?
Son palabras que conectan proposiciones (oraciones lógicas).
Principales conectores
Y (∧)
todo debe ser verdadero
Ejemplo:
“A es verdadero Y B es verdadero” → ✅ Verdadero
Si uno es falso → ❌ Falso
O (∨)
basta con uno verdadero
Ejemplo:
“A es verdadero O B es falso” → ✅ Verdadero
Solo es falso si ambos son falsos
SI... ENTONCES (→)
Indica condición:
“Si A ocurre, entonces B ocurre”
👉 Solo es falso cuando:
A = Verdadero y B = Falso
SI Y SOLO SI (↔)
Ambos deben tener el mismo valor:
✅ Verdadero si ambos son verdaderos o falsos
❌ Falso si son diferentes
⚠️ Consejo importante (muy común)
👉 El conector “O” en lógica es inclusivo
Es decir, ambos pueden ser verdaderos también
Resumen rápido
Y → todo verdadero
O → al menos uno verdadero
SI... ENTONCES → falla en 1 caso
SI Y SOLO SI → mismos valores
¿Lo sabías?