🏛️📜🤔Introducción a la lógica de Aristóteles: PARTE II 🏛️📜🤔Conectores básicos 🧠💡🔗
Los tres conectores básicos — ¬ (negación), ∧ (conjunción) y ∨ (disyunción)
El conector “∨” — Disyunción lógica
1. Significado básico
El símbolo ∨ se usa para expresar “o” en lógica proposicional. Por ejemplo:
p ∨ q
se lee:
“p o q” “al menos una de las dos proposiciones es verdadera”.
Ejemplo simple
• p: “El contrato es válido.”
• q: “El contrato es nulo.”
La proposición “p ∨ q” significa:
“El contrato es válido o es nulo.”
En este caso, el principio del tercero excluido dice que una de las dos debe ser verdadera (no hay tercera opción posible).
En relación con el tercero excluido
El principio del tercero excluido se formula así:
p ∨ ¬p
y significa:
“O bien p es verdadera, o bien no-p lo es.”
No puede haber un “tercer valor” entre ambas (por eso se llama tercero excluido).
Este es tan básico e importante como el anterior (∨, disyunción), pero expresa lo contrario: la simultaneidad de dos afirmaciones verdaderas.
El conector “∧” — Conjunción lógica
1. Significado básico
El símbolo ∧ se lee “y” (and en inglés).
p ∧ q
se interpreta como:
“p y q” “Ambas proposiciones son verdaderas.”
Ejemplo simple
• p: “El contrato fue celebrado entre partes capaces.”
• q: “El contrato fue celebrado sin vicios de consentimiento.”
La proposición p ∧ q significa:
“El contrato fue celebrado entre partes capaces y sin vicios de consentimiento.”
Para que esta afirmación sea verdadera, ambas condiciones deben cumplirse. Si alguna falta (por ejemplo, hay vicio del consentimiento), toda la afirmación se vuelve falsa.
Aplicación jurídica y filosófica
En el razonamiento jurídico, la conjunción suele expresar condiciones acumulativas:
“Para que exista homicidio doloso, debe haber (acto voluntario) ∧ (intención de matar).”
Si uno de esos elementos no se cumple, el tipo penal no se configura. La lógica “∧” ayuda a formalizar ese tipo de razonamiento.
Comments
Post a Comment