1.6. Las conectivas logicas

Ya hemos visto las conectivas nularias: las constantes booleanas 0 (falso) y 1 (verdadero).
La conectiva binaria de la igualdad entre los Booleanos se escribe como ⇔ y se llama equivalencia: AB se lee «A es equivalente a B».

Presentemos otras conectivas útiles, con sus propiedades verdadero para todos los valores posibles de las variables booleanas (A, B, C, que pueden reemplazarse por las fórmulas).

Negación

La única conectiva unaria útil es la negación ¬, que intercambia los Booleanos (¬ A se lee como «no A»):
¬1
¬0
¬(¬A)
⇔ 0
⇔ 1
A
A menudo se denota por prohibición de la raíz de su argumento, formando con él el otro símbolo con el mismo formato:
xy
xE
(AB)
(AB)
⇔ ¬(x=y)
⇔ ¬(xE)
⇔ ¬(AB)
⇔ (A ⇔ ¬B))
(x no es igual a y)
(x no es un elemento de E)
(Inequivalencia)

Conjunciones, disyunciones

La conjunción ∧ significa «y», teniendo el valor True sólo cuando ambos argumentos son ciertos;
La disyunción ∨ significa «o», teniendo siempre el valor True excepto cuando ambos argumentos son falsos.
Cada uno de ellos es:
Idempotente
(AA) ⇔ A
(AA) ⇔ A
Conmutativa
(BA) ⇔ (AB)
(BA) ⇔ (AB)
Asociativa
((AB) ∧ C) ⇔ (A ∧ (BC))
((AB) ∨ C) ⇔ (A ∨ (BC))
Distributiva sobre la otra
(A ∧ (BC)) ⇔ ((AB) ∨ (AC))
(A ∨ (BC)) ⇔ ((AB) ∧ (AC))

La simetría entre las expresiones viene del hecho de que los símbolos están intercambiadas por la negación:

(AB) ⇎ (¬A ∧ ¬B)
(AB) ⇎ (¬A ∨ ¬B)

Las cadenas de conjunciones, tales como (ABC), abrevian cualquier fórmula con más paréntesis como ((AB) ∧ C), que son equivalentes a cualquier otro gracias a la asociatividad; y de manera similar para las cadenas de disyunciones, tales como (ABC).
Afirmando la conjunción de fórmulas equivale a la afirmación sucesiva de todas estas fórmulas.
La inequivalencia ⇎ también se llama «o exclusivo» porque (AB) también se puede escribir como ((AB) ∧ ¬(AB)).

Implicación

La conectiva binaria de implicación ⇒ se define como (AB) ⇔ ((¬A) ∨ B). Se puede leer «A implica B», «A es una condición suficiente para B», o «B es una condición necesaria para A». Siendo cierto a excepción del caso cuando A es verdadero y B es falso, eso expresa la veracidad de B cuando A es verdadero, pero no da la información sobre B cuando A es falso (ya que es entonces se convierte en verdadero).
Además,
(AB) ⇎
(AB) ⇔
(A ∧ ¬B)
B ⇒ ¬A)
La fórmula ¬B ⇒ ¬A se llama la contraposición de AB.
La equivalencia también puede ser redefinida como
(AB) ⇔ ((AB) ∧ (BA)).
Por lo tanto, la demostración de AB se puede hacer de la demostración de la primera implicación (AB), después una prueba de la segunda (BA), llamada inversa de (AB).

La fórmula (A ∧ (AB)) será abreviada como AB, que se lee como «A por lo tanto B». Es equivalente a (AB), pero indicando que se deduce de la veracidad de A y (AB).

Negations transform the associativity and distributivity formulas of conjunctions and disjunctions, into various formulas with implications:
(A ⇒ (BC)) ⇔ ((AB) ⇒ C)
(A ⇒ (BC)) ⇔ ((AB) ∨ C)
(A ⇒ (BC)) ⇔ ((AB) ∧ (AC))
((AB) ⇒ C) ⇔ ((AC) ∧ (BC))
((AB) ⇒ C) ⇔ ((AC) ∧ (BC))
(A ∧ (BC)) ⇔ ((AB) ⇒ (AC))
Finalmente,
((AB) ∧ (AC)) ⇒ (BC)
((AB) ∧ (AC)) ⇒ (BC)

Las cadenas de implicaciones y equivalencias

En otro tipo de abreviatura, cualquier lista de fórmulas conectada por ⇔ y/o ⇒ significará la conjunción de todas estas implicaciones o equivalencias entre las fórmulas adyacentes:

(ABC) ⇔ ((AB) ∧ (BC)) ⇒ (AC)
(ABC) ⇔ ((AB) ∧ (BC)) ⇒ (AC)
0 ⇒ AA ⇒ 1
A) ⇔ (A ⇒ 0) ⇔ (A ⇔ 0)
(A ∧ 1) ⇔ A ⇔ (A ∨ 0) ⇔ (1 ⇒ A) ⇔ (A ⇔ 1)
(AB) ⇒ A ⇒ (AB)

Axiomas de la igualdad

Para cualquieres objetos (o abreviaturas de términos) x, y, cualquier funtor T y cualquier predicado unario A,
x = y
x = y
x = x
T(x) = T(y)
(A(x) ⇔ A(y))
La última fórmula también puede ser escrita como (A(x) ∧ x = y) ⇒ A(y), desde la conversión A(y) ⇒ A(x) puede ser deducida tanto por su contrapositivo (sustituyendo A por ¬A) o por la simetría de la igualdad (x = yy = x) obtenida tomando como A(z) la fórmula (z = x).
Eso también da para todos x, y, z, (x = yy = z) ⇒ x = z. La fórmula (x = yy = z) será abreviada como x = y = z.

Demostrabilidad

La demostración de una fórmula A en una teoría de primer orden T, es un modelo finito de teoría de la demostración, conectando la A a algunos axiomas de T.
Decimos que A es demostrable en T y escribimos TA si existe una demostración de A en T.
De nuevo en T, una refutación de una fórmula A es una demostración de ¬A. Si existe una (T⊢ ¬ A), la fórmula A se llama refutable (en T).
Una formula se llama indecidible (en T) si no es ni demostrable, ni refutable.

Si una fórmula es a la vez demostrable y refutable, eso significa que la teoría es inconsistente:

(A ∧ ¬A) ⇔ 0
((TA)∧(T⊢ ¬A))⇔(T⊢ 0).

La teoría T se llama contradictoria o inconsistente si T⊢ 0, en otro caso se llama consistente. En una teoría inconsistente, cada fórmula es demostrable. Tal teoría no tiene un modelo.

Sin intentar de formalizar que es una prueba, vamos a escribir simplemente las demostraciones de una forma natural, por lo general como una sucesión de fórmulas, cada verdadera por lo visto gracias a las anteriores y las propiedades anteriores de las conectivas y la igualdad. Las articulaciones del lenguaje natural también pueden aparecer, sobre todo cuando se trata de cuantificadores (1.9) y de la introducción de símbolos definidos por expresiones.
En particular, una igualdad entre los términos x = y permite sustituir cualquier ocurrencia de x por y en cualquier expresión sin afectar al resultado; cuando un símbolo está definido por un termino, ambos son iguales, por lo tanto pueden sustituir uno a otro en cualquier expresión. Axiomas y otras normas expresadas con símbolos de variables (en virtud de los cuantificadores universales, ver 1.9) pueden utilizarse sustituyendo de estas variables por términos.
Las fórmulas demostrables con una demostración conocida (tanto por personas como por equipos) pueden ser nombradas de manera diferente en un lenguaje usual de acuerdo con su importancia: un teorema es más importante que una proposición; ambos pueden deducirse de otro lema menos importante, y un corolario se puede deducir fácilmente.

La teoría de conjuntos y los fundamentos de las matemáticas
1. Primeros fundamentos de matemática
1.1. Introducción a los fundamentos de matemática
1.2. Variables, conjuntos, funciones y operaciones
1.3. Forma de teorías: nociones, objetos, meta-objetos
1.4. Estructuras de los sistemas matemátios
1.5. Expresiones y estructuras definibles
1.6. Conectivas lógicas
1.7. Clases en la teoría de conjuntos
1.8. Símbolos ligados en la teoría de conjuntos
1.9. Cuantificadores
1.10. Formalización de la teoría de conjuntos
1.11. El principio de generación de conjunto
Los aspectos filosóficos
Tiempo en la teoría del modelo
Tiempo en la teoría de conjuntos
Interpretación de clases
Conceptos de verdad en matemáticas
2. La teoría de conjuntos (continuación) 3. La teoría del modelo

Other languages:
FR : 1.6. Connecteurs