TEORÍA DE CONJUNTOS

La teoría de conjuntos es una rama de la lógica matemática que estudia las propiedades y
relaciones de los conjuntos.
El desarrollo histórico de la lógica de conjuntos se atribuye a Georg Cantor, matemático y
físico alemán de origen ruso. Es considerado el padre de la teoría de conjuntos y en 1874
publicó su primer trabajo sobre la misma.
El propósito de Cantor era proporcionar un método para lidiar con asuntos relacionados al
infinito actual, un concepto que fue rechazado por algunos matemáticos, como Pitágoras y
Gauss, por considerarlo sin significado. Sin embargo, a principios del siglo XX, fue el
matemático alemán Ernst Zermelo quien puso la teoría de conjuntos sobre una base
aceptable reduciéndola a un sistema axiomático. Las ideas de Zermelo fueron después
precisadas por Thoralf Skolem y Abraham Fraenkel, resultando de ello la primera teoría
axiomática de conjuntos, conocido como teoría de Zermelo-Fraenkel (ZF), aunque sería
más adecuada llamarla teoría de Zermelo-Fraenkel-Skolem (ZFS).
Los axiomas de Zermelo-Fraenkel
1°) Axioma de extensionalidad: Dos conjuntos son iguales si tienen los mismos
elementos.
∀ a (a ∈ X ↔ a ∈ Y) ↔ X = Y
2°) Axioma de existencia o del conjunto vacío: Hay un conjunto sin elementos.
∃ϕ∀a (a∉ϕ)
3°) Axioma del par: Dados dos conjuntos hay otro cuyos elementos son estos dos.
∀x, y∃z∀a(a ∈ z ↔ a=x ∨ a=y
4°) Axioma de la Unión: Para cada conjunto hay otro cuyos elementos son los elementos
de los elementos del conjunto dado.
∀x∃y∀a(a ∈ y ↔ ∃z (z ∈ x ʌ a ∈ z))
5°) Axioma de las partes o potencia: Dado un conjunto hay otro cuyos elementos son
todos los subconjuntos.
∀x∃y∀z (z ∈ y ↔ ∀a(a ∈ z → a ∈ x))
6°) Axioma de Comprensión o del subconjunto: Dados un conjunto y una propiedad, hay
un conjunto cuyos elementos son aquellos de este conjunto que tienen dicha propiedad.
∀x∃z∀w [w∈z ↔ (w ∈ x ʌ ϕ (w))]
Donde ϕ es una ∈-formula en la cual la variable Z no ocurre.
7°) ABF: Axioma de Regularidad o Buena Fundación: Todo conjunto no vacío tiene un
elemento ∈-minimal.
∀x(x ≠ ϕ → ∃y (y ∈ x ∧ ∀ z (z ∈ y → z ∉ x)))
Álgebra de conjuntos
* Complemento: Dado un conjunto universal R y un conjunto A, perteneciente a R, se
llama complemento al conjunto Ā, que contiene todos los elementos de R que no están
incluidos en A.

Ā A
R

* Unión * Intersección * Diferencia

* Diferencia Simétrica * Producto Cartesiano

LA LÓGICA COMO SISTEMA AXIOMÁTICO

La lógica es el estudio de los métodos y principios usados para distinguir el buen
(correcto) razonamiento del malo (incorrecto). Por lo tanto, es el estudio de la validez de
los razonamientos.
La lógica fue una de las primeras disciplinas en adoptar el sistema axiomático. La
Silogística de Aristóteles y la lógica proposicional de Crisipo, presentan ya la forma de
sistemas axiomáticos.
El sistema adoptado se llama LP por “lógica de predicados”, el cual consta del lenguaje
formal de predicados, el símbolo de igualdad, 6 axiomas, 2 reglas y 4 definiciones.
*Esquemas de axioma del sistema LP
A1) A→ (B→A)
A2) [A→ (B→C)] → [(A→B) → (A→C)]
A3) (~A→~B) → (B→A)
A4) ∀x A(x) →A (t)
A5) ∀x (x=x)
A6) ∀xy [x=y→ [A(x) →A (y)]]
*Reglas de Inferencia del sistema LP
MP (Modus Ponens): De A y A→B se sigue B
GEN (generalización): De A→B(x) se sigue A→∀xB(x) donde x no está libre en A.
*Definiciones del sistema LP

 A∧B se define mediante ~(A→~B)

 A∨B se define mediante ~A→B
  A↔B se define mediante (A→B) ∧ (B→A)
 ∃xA se define mediante ~∀x~A
Operaciones proposicionales: Para eso definimos proposición como toda oración de
la cual puede decirse si es verdadera o falsa.

Negación: la negación de Conjunción: La conjunción Disyunción: la disyunción

una proposición p es la de las proposiciones p, q de las proposiciones p y q
proposición ~p (no p) cuya es la proposición p ∧ q (p y es la proposición p ∨ q (p o
tabla de verdad es: q), cuya tabla de verdad es: q), cuya tabla de verdad es:
p ~p P q p∧ p q p∨
V F q q
F V V V V V V V
V F F V F V
F V F F V V
F F F F F F
Implicación: la implicación Doble implicación: La doble
de las proposiciones p y q implicación de las
es la proposición p → q (p proposiciones p y q es la
implica q), cuya tabla de proposición p ↔ q (p sii q),
verdad es: cuya tabla de verdad es:
p q p→q P q p↔q
V V V V V V
V F F V F F
F V V F V F
F F V F F V

Circuitos Lógicos:
Entre algunas aplicaciones de la lógica aparece la construcción de circuitos lógicos en la
Electrónica y la Cibernética. Para cualquier fórmula proposicional podemos construir un
circuito eléctrico basándose en 3 conectores (^, ˅, ~).
Los interruptores también llamados conmutadores son los elementos que participan en la
instalación eléctrica. Son de dos tipos.
 Conmutador cerrado: permite el paso de la corriente eléctrica y equivale a un dato
verdadero que numéricamente toma el valor de 1. Se representa “p es V”

 Conmutador abierto: impide el paso de corriente y equivale a un dato falso que

numéricamente toma el valor de 0. Se representa “p es F”
Tipos de circuitos
 Circuito en serie: consta de 2 o más interruptores, donde un interruptor está a
continuación de otro y así sucesivamente. El gráfico de un circuito en serie es la
representación de la fórmula proposicional conjuntiva, cuya expresión más simple
es “p ^ q”
  Circuito en paralelo: Consta de 2 o más interruptores, donde un interruptor esta
encima de otro o en la otra línea y así sucesivamente. El grafico de un circuito en
paralelo es la representación de la fórmula proposicional disyunta, cuya expresión
más simple es “p ˅ q”

AXIOMAS DE KLEENE
El sistema axiomático de Stephen C. Kleene (1909-1994. Lógico y matemático
estadounidense) de la lógica proposicional denotado por K= (A, F, X, R), se define así:

A: El alfabeto está formado por: F: en conjunto de las formulas bien

 Los símbolos p, q, r, s... de construidas denotado por (fbc) se define
proposiciones atómicas. recursivamente así:
 Los símbolos lógicos de conectivos  Toda proposición atómica es una
~, ˄, ˅, →. fbc.
 Los símbolos de agrupación: (,)  Si P y Q son fbc entonces ~P,
P ˄ Q, P ˅ Q, P→Q son fbc.
X: El conjunto de axiomas es: R: La única regla de deducción o de
 K1: P→(Q→P) inferencia es la regla clásica llamada
 K2:(P→Q)→((P→(Q→R))→(P→R)) MODUS PONENS abreviada como MP:
 K3: P→(Q→P˄Q)  P; P→Q; Q
 K4: P˄Q→P P˄Q→Q
 K5: P→P˅Q Q→P˅Q
 K6: (P→Q)→((Q→R)→(P˅Q→R))
 K7: (P→Q)→((P→~Q)→~P)
 K8: ~~P→P

El sistema de Kleene está construido en su dimensión sintáctica y su interpretación

corresponde a la teoría de la lógica proposicional.
El sistema axiomático de Kleene de la lógica proposicional con algunas modificaciones se
transforma en un sistema axiomático de la lógica de primer orden utilizada como
fundamento en los métodos de demostración en matemáticas. La modificación del
alfabeto A es omitida y solamente se dirá que se agregan los cuantificadores universal y
existencial como símbolos lógicos denotados respectivamente como ∀, ∃.
Las modificaciones correspondientes exclusivamente a las reglas de inferencia y símbolos
lógicos son:

Axiomas del cálculo de predicados Reglas de inferencia

 K9: ∀x A(x) → A(t) A ( x )→ C
 K10: A(t) → ∃xA(x) ∃ xA ( x ) → C
 C → A (x)
C → ∀ A ( x )¿
¿