TEORA DE CONJUNTOS

La teora de conjuntos es la rama de las matemticas a la que el matemtico alemn George

Cantor dio su primer tratamiento formal en el siglo XIX surgi de la necesidad de darle
rigurosidad lgica a las discusiones matemticas con el fin de eliminar la ambigedad del
lenguaje cotidiano. El concepto de conjunto es uno de los ms fundamentales en
matemticas, debido a que se puede encontrar implcita o explcitamente, en todas las
ramas de las matemticas puras y aplicadas. En su forma explcita, los principios y
terminologa de los conjuntos se utilizan para construir proposiciones matemticas bien
claras y precisas y para explicar conceptos abstractos como el infinito. El trmino conjunto
juega un papel fundamental en el desarrollo de las Matemticas modernas.
CONJUNTO.- Es un agregado o coleccin de objetos de cualquier naturaleza con
caractersticas bien definidas de manera que se puedan distinguir todos sus elementos. A los
objetos que lo componen se les llama, elementos del conjunto.
CONJUNTO.- Es una agrupacin, clase o coleccin de objetos denominados elementos
del conjunto: utilizando smbolos como a S representa que el elemento a pertenece o est
contenido en el conjunto S, o lo que es lo mismo, el conjunto S contiene al elemento a.

NOTACIN: A los conjuntos se les denota con letras maysculas y a sus elementos con
letras minsculas. Para especificar un conjunto se recurre usualmente a uno de los
siguientes mtodos:
1. Listar todos sus elementos, separarlos mediante comas y encerrarlos entre llaves { }
(llamado mtodo de enumeracin, de tabulacin, o "por extensin"), en donde las
llaves engloba los elementos del conjunto (S) ya sea de forma explcita, escribiendo
todos y cada uno de los elementos, o dando una frmula, regla o proposicin que los
describa. El mtodo "por extensin" es sumamente sencillo y no da lugar a
ambigedades.
2. Encerrar entre llaves una propiedad definitoria que exprese especficamente cules
son los requisitos que debe satisfacer un elemento para pertenecer al conjunto
(llamado mtodo "descriptivo" o "por comprensin"). El mtodo "por comprensin"
proporciona un criterio prctico, para determinar si un elemento arbitrario pertenece
a un conjunto determinado: los objetos que poseen la propiedad, y slo ellos,
pertenecen al conjunto.

EJEMPLO.- El conjunto cuyos elementos son los nmeros 0, 7 y 14, est formado por tres
elementos. Si se designa este conjunto con la letra G, queda especificado convenientemente
mediante el mtodo por "extensin", as: G = { 0 , 7 , 14 }.
Si se escribe V = { a , e , i , o , u } se ha especificado el conjunto de vocales del abecedario,
enumerando sus cinco elementos. Para especificar el conjunto mediante una propiedad
definitoria, se escribe: V = { x|x es una vocal del abecedario} y se lee as: V es el conjunto

de todos los elementos x, tales que x es una vocal del abecedario. La barra vertical | se lee
tal que. La x es un smbolo genrico, es decir un indicador de elementos. Cualquier otro
smbolo cumplira la misma funcin; por ejemplo z, y, un asterisco, o cualquier otro
smbolo genrico.(Mtodo Descriptivo).
SUBCONJUNTOS Y SUPERCONJUNTOS

OPERACIN DE CONJUNTOS
Las operaciones son formas especficas de combinar conjuntos para formar otros conjuntos.
Constituyen un sistema lgico de construccin de nuevos conjuntos en base a conjuntos
dados. Estas operaciones y sus propiedades nos llevan a la Teora de Conjuntos como un
lgebra, o sea como un sistema matemtico. En particular, se tratan las operaciones de
complementacin, interseccin, unin y diferencia.

UNIN.- Sean P y Q dos subconjuntos cualesquiera del conjunto universal U. La unin de

los conjuntos P y Q es el conjunto de los elementos de U que pertenecen por lo menos a
uno de los conjuntos P Q.
En smbolos:

Esta expresin se lee as: "P unin Q es el conjunto de elementos x que pertenecen a P, a Q,
o a ambos (P y Q)".
PROPIEDADES DE LA UNIN
i.
ii.

iii.

De la definicin de unin se deduce directamente que A U B = B U A La operacin

de unin de conjuntos es conmutativa.
Sea A un subconjunto cualquiera del conjunto universal U. La unin de A y es
igual al conjunto A. En smbolos A U = A. Por definicin de unin

Sea A un subconjunto cualquiera del conjunto universal S. La unin de A y el

conjunto universal es igual al conjunto universal.
En smbolos: A U S = S. Por definicin de unin

iv.

Para cualquier conjunto A se cumple que A U A = A. Por definicin de unin

.
v.

La unin de un conjunto A y de su complemento Aes el conjunto universal

En smbolos: A U A= U.
Por definicin de unin de conjuntos
vi.
vii.

Si la unin de dos conjuntos es vaca, ambos conjuntos deben serlo. En smbolos: si

A U B = entonces A = y B = .
La unin se ha definido como una operacin binaria. No hay inconveniente en
extender su mbito de aplicacin y definir la unin de cualquier nmero (finito o
infinito) de conjuntos, como el conjunto formado por los elementos que pertenecen
al menos a uno de ellos.
Por ejemplo, para el caso de tres conjuntos A, B y C, se tiene:

para

cualesquiera
viii.

conjuntos
.

La operacin de unin es asociativa:

A U ( B U C ) = ( A U B ) U C = A U B U C.

INTERSECCIN.- Sean A y B dos conjuntos cualesquiera del conjunto universal

interseccin de los conjuntos A y B , es el conjunto de los elementos de
miembros tanto de A como de B. Se simboliza por A
comprensin como sigue:

. La

que son

B, y se especifica por

Esta expresin se lee as: "A interseccin B, es el conjunto de elementos de

pertenecen a A y a B."

que

PROPIEDADES DE LA INTERSECCIN
i.

De la definicin de interseccin se deduce directamente que:

La operacin de interseccin es conmutativa.

ii.

la interseccin de dos conjuntos da lugar a dos posibilidades distintas:

1.
El conjunto de interseccn no es vaco; al menos, hay un elemento comn a
ambos conjuntos A y B.
En smbolos

2.

Los conjuntos A y B no tienen elementos en comn; son disjuntos o

mutuamente excluyentes.
En smbolos

iii.

Para cualquier subconjunto A del conjunto universal

.

Por

definicin

de

interseccin

se cumple que
de

conjuntos

.
iv.

Para cualquier subconjunto A del conjunto universal

se cumple que

Por definicin de interseccin de conjuntos

v.

Para cualquier conjunto A se cumple que

Por definicin de interseccin

vi.

Para cualquier conjunto A se cumple que

Por definicin de interseccin

vii.

Se ha definido a la interseccin como una operacin binaria. No hay inconveniente

en extender su mbito de aplicacin y definir la interseccin de cualquier nmero
(finito o infinito) de conjuntos, como el conjunto formado por los elementos
comunes a todos ellos. Por ejemplo, para el caso de tres conjuntos A, B y c, se

define
viii.

Para los conjuntos cualesquiera

La

operacin

de

interseccin

es

asociativa:

DIFERENCIA.- Sean A y B dos subconjuntos cualesquiera del conjunto universal U. La

diferencia de dos conjuntos A y B es el conjunto de elementos que pertenecen a A pero no a
B.
El conjunto diferencia se denota por A -B y se especifica por comprensin mediante la
expresin

PROPIEDADES DE LA DIFERENCIA
i.

La operacin de diferencia de conjuntos no es conmutativa.

En smbolos:

En efecto A-B se ha definido como el conjunto de los elementos de A que no

pertenecen a B, o sea
conjunto de los elementos

de

que

no

; mientras que B - A es el
pertenecen a A, o sea:

.
ii.

De

la

definicin

de

diferencia

se

deduce

directamente

que:

iii.

.
Si A es un subconjunto de B, no hay elementos de A que no estn en B, por lo que
el conjunto A - B carece de elementos.
En smbolos:

iv.

Los conjuntos (A - B), (B - A) y

son mutuamente excluyentes; la
interseccin de dos cualesquiera de estos conjuntos es vaca.
En smbolos:

Ntese adems que

conjuntos son totalmente exhaustivos.

. Se dice que estos

COMPLEMENTO.- Sea B un subconjunto cualquiera del conjunto universal

. El

complemento de B con respecto a U se define como el conjunto de elementos de que no

pertenecen a B. Se simboliza al complemento de B por B, y se lo especifica por
comprensin mediante la expresin simblica:

Esta expresin se lee as: "complemento de B es el conjunto de los elementos x que

pertenecen a U pero no pertenecen a B".
PROPIEDADES DE LA COMPLEMENTACIN
i.

El complemento del conjunto universal U es el conjunto vaco . Recprocamente,

el complemento del conjunto vaco es el conjunto universal.
En smbolos:

ii.

Cul es el complemento del complemento de un conjunto?

El complemento de A est formado por todos los elementos de U que no estn en A (o sea
por todos los que no quedan fuera de A) y stos son exactamente los elementos del
conjunto A.
En smbolos:

o sea (A) = A.
LA INTERSECCIN Y LA INCLUSIN
i.

Sean P, Q y T subconjuntos cualesquiera del conjunto universal U. si T est

contenido tanto en P como en Q, tambin est contenido en la interseccin
.

En smbolos: si
entonces
. A su vez, si un
conjunto T est incluido en la interseccin de dos conjuntos P y Q, entonces est
incluido tambin en cada uno de ellos.
En smbolos: si
Resumiendo

ii.

ambas

propiedades

se

llega

Sean A y B dos subconjuntos cualesquiera del conjunto universal

interseccin

iii.

entonces

que:

. El conjunto

est incluido tanto en A como en B. En smbolos:

Sean R y S dos subconjuntos cualesquiera del conjunto universal U. Si R es un

subconjunto de S, el conjunto interseccin
smbolos:
interseccin

es igual al conjunto R. En

A su vez, si el conjunto R es igual a la

,

esto

implica

Resumiendo

ambas

que

En

smbolos:

propiedades,

se

concluye

que
LA UNIN Y LA INCLUSIN
i.

Sean R, S y Q subconjuntos cualesquiera del conjunto universal U. Si el conjunto

unin R U S es subconjunto del conjunto Q, tanto R como S estn contenidos en Q.
En smbolos:

A su vez si dos conjuntos R y S estn contenidos en un tercero Q, su unin R U S,

es tambin un subconjunto de Q:

Resumiendo ambas propiedades, se llega a que

ii.

Sean A y B dos subconjuntos cualesquiera de U. Los conjuntos A y B son

subconjuntos de la unin A U B.

En smbolos:

Dados dos conjuntos no vacos A y B, si A est incluido en B, el conjunto unin es

igual al conjunto B.
A su vez, si la unin de dos conjuntos no vacos es igual a uno de ellos, entonces el
otro es subconjunto del primero. En smbolos: si A U B = B entonces

Resumiendo ambas propiedades se llega a que

para

Producto Cartesiano:
Para poder definir al producto cartesiano de dos conjuntos cualesquiera A y B
primero definiremos lo que es par ordenado:
Par Ordenado: Un par ordenado es un conjunto de dos elementos donde nos interesa el
orden en que estos aparezcan. Se representan con parntesis y a los elementos se les
denominar componentes: (a, b) representa el par ordenado cuya primera componente es a
y su segunda componente es b. Para que dos pares ordenados sean iguales sus componentes
deben serlo: (a, b) = (c, d) si y solo si a = c y b = d.
El producto cartesiano de dos conjuntos A y B es el conjunto de todos los pares
ordenados cuya primera componente pertenece a A y cuya segunda componente pertenece a
B. Simblicamente: A x B (a, b) / a A y b B
LGEBRA DE CONJUNTOS O LGEBRA DE BOOLE
Las siguientes propiedades utilizando las definiciones del apartado anterior se
cumplen si A, B y C... son subconjuntos de un conjunto I:
1.
2.
3.
4.
5.
6.
7.
8.

A B , B A
A B = B A
A B C = A B C
A B C A B C
A A
A
A I I
A I A

9. A B C A B A C
10. A B C A B A C
11. A A' I
12. A A'
13. A B ' A'B'
14. A B ' A'B'
15. A A A A A
16. A'' A
17. A B A B'
18. A B C A B C
19. Si A B , entonces A B B A
20. A B C A B A C
DIAGRAMA DE VENN
Al trabajar con conjuntos, con las relaciones y operaciones entre ellos, es til disponer de
un sistema de representacin grfica que permita visualizar lo que ocurre e interpretar con
diagramas las deducciones lgicas correspondientes.
El procedimiento usual consiste en dibujar rectngulos, crculos u otras figuras
geomtricas, segn un procedimiento que se conoce como "diagramas de Venn-Euler".
En un diagrama de Venn, el conjunto de puntos interiores de un rectngulo se toma como el
conjunto universal. Los subconjuntos del conjuntos universal se representan por los puntos
interiores de crculos (u otras regiones cerradas) trazados dentro del rectngulo.
Ilustraremos la utilidad de los diagramas de Venn, considerando diversos ejemplos de
representacin grfica.
i.Para un subconjunto A del conjunto universal

, el diagrama de Venn es el siguiente:

en el que los puntos interiores a la circunferencia representan al conjunto A, y los puntos de

rectngulo exteriores al circulo representan al conjunto A, y los puntos de rectngulo
exteriores al crculo representan al conjunto complementario A.
ii.Para dos subconjuntos A y B del conjunto universal

, se tienen los siguientes diagramas:

En el primero se tienen dos conjuntos disjuntos, en el segundo se representan el caso de

inclusin
, en el tercero se observa el caso de inclusin
conjuntos con algunos elementos comunes.

, y en el ltimo dos

Para representar las operaciones entre conjuntos, se tienen los siguientes diagramas:

En el primero, la zona rayada representa la interseccin

; en el segundo, se
tiene la unin A U B; en el tercero, la diferencia A - B, y en el ltimo la diferencia B - A.
Tambin es necesario observar y comprobar algunas de las propiedades de esas
operaciones.
Por ejemplo, las propiedades

.
se aprecian en la figura BLa; las propiedades

.
se aprecian en la figura BLb; las propiedades

.
se aprecian en la figura BIb; las propiedades

.
se aprecian en la figura BH; las propiedades

.
se observan en los diagramas siguientes:

Finalmente, para representar grficamente el caso de 3 subconjuntos del conjunto

universal, son usuales los siguientes diagramas:

PROPIEDADES DEL LGEBRA DE CONJUNTOS

Ya hemos aprendido cmo obtener nuevos conjuntos a partir de subconjuntos dados del
conjunto universal U, aplicando ciertas operaciones y sus propiedades. Ahora resumiremos
en un cuadro nico las propiedades ms importantes a las que obedecen las operaciones
entre conjuntos.
Sean A, B y C subconjuntos cualesquiera no vacos de un conjunto universal U. Entonces,
independientemente de cules sean las especificaciones de U, A, B y C, se verifican las
siguientes leyes de los conjuntos:
I.

de identidad

II.

de idempotentes

.
III.

de complementacin

.
IV.

V.

de conmutatividad

de asociatividad

A B C A B C
A B C A B C
A B C A B C

VI.

de distributividad

.
VII.

de "De Morgan"

VIII.

Neutros
A E A
A A

IX.

Propiedad de Negacin
A A' E
A A'

X.

Absorbentes
A E E
A

XI.

Doble Negacin

A'' A
XII.

Simplificativas

A A B A
A A B A
LGICA PROPOSICIONAL
Introduccin.La lgica proposicional trabaja con sentencias u oraciones a las
cuales se les puede asociar un valor de verdad (cierto o falso), estas sentencias se conocen
como sentencias declarativas o simplemente proposiciones.
PROPOSICIN.- Es una idea, juicio, pensamiento, oracin, sentencia. Para que sea una
proposicin debemos asignarle un valor de verdadero falso y debe ser en forma
declarativa.
Ejemplo.- El da est soleado
Las proposiciones pueden ser simples o compuestas.
Proposicin Simple o Atmica.- Son aquellas que no tienen los conectivos y /o o una
negacin.
Proposicin Molecular o Compuesta.- Tienen los conectivos y/ o , la negacin,
si...entonces, ....si y solo si.....

Otro aspecto importante es el de determinar si una proposicin esta construida (o

puede ser deducida) a partir de un conjunto de proposiciones, es decir, si es una
consecuencia lgica de dicho conjunto.
La lgica proposicional (o clculo proposicional) tiene el propsito de simbolizar
cualquier tipo de razonamiento para su anlisis y tratamiento. Especficamente, para
simbolizar razonamiento, al lgica proposicional usa sentencias declarativas a las que se
puede asociar un valor de verdad; es decir usa proposiciones.
No existe una notacin generalmente utilizada para representar proposiciones, pero
en este curso se identifica a cada una de ellas con un letra mayscula (o una cadena de
letras maysculas).
Conectivas Lgicas.- La construccin de frmulas compuestas requiere del uso de
elementos que permitan establecer una relacin entre los tomos que la forman; estos
elementos se conocen como conectivas lgicas.
Las conectivas lgicas usadas en la lgica proposicional son cinco y son
representadas simblicamente de varias formas, como se muestra a continuacin:
Conectivo Conjuncin Y.- Se puede encontrar expresada como: adems, tambin, pero,
an, aunque, sin embargo, no obstante, a pesar de que, igualmente, tanto, como, e, lo
mismo que, incluye, an as, coma (,). Smbolos ms asociados: ,&,* .
Su tabla de verdad es la siguiente:

P
V
V
F
F

Q
V
F
V
F

PQ
V
F
F
F

Conectivo Disyuncin O.- La disyuncin tiene dos significados: el exclusivo (uno, el

otro pero no ambos), el inclusivo (uno, el otro u ambos positivos). Los podemos encontrar
expresados como: al menos P o Q, como mnimo P o Q, en otro caso, de otra manera, ya
sea que, elija entre. Smbolos ms asociados: , |, .

Su tabla de verdad es:

O Exclusivo
P
V
V
F
F

Q
V
F
V
F

P Q
F
V
V
F

O Inclusivo
P
V
V
F
F

Q
V
F
V
F

PQ
V
V
V
F

Conectivo Negacin (No).- La negacin cambia el valor de verdad. Smbolos asociados:

, ,
Tabla de verdad:
P P
V F
F V

Conectivo Condicional (Si ... entonces).- P Q, Q siempre que P, P es condicin

suficiente para que Q, Q es condicin necesaria para que P, Q si P, P solamente si Q, Q con
tal de que P, dado que P entonces se asigna que Q. Su smbolo es. .
Tabal de verdad:
P
V
V
F
F

Q
V
F
V
F

P Q
V
F
V
V

Conectivo Bicondicional (Si y solo si).- P si Q, solo si Q. Sus smbolos son: , .

Tabla de verdad:
P
V
V
F
F

Q
V
F
V
F

P Q
V
F
F
V

Jerarqua de Conectivas.- La jerarqua de conectivas no es ms que el orden con el que se

utilizaran las conectivas ya que unas tienen mayor valor jerrquico que otras y su jerarqua
es la siguiente: negacin es el operador con mayor jerarqua en la secuencia, despus
teniendo el mismo nivel de potencia siguen la disyuncin y conjuncin, despus la
condicional y por ltimo el bicondicional.
Al tener una frmula con la presencia de dos o ms conectivas iguales, el orden de
asociatividad siempre ser de izquierda a derecha.
Interpretacin de frmulas.- Es una asignacin de valores de verdad a un conjunto de
tomos: para una frmula con dos tomos se tienen dos posibles interpretaciones, para una
con tres se tienen ocho interpretaciones, y en general para una frmula con n tomos se
tienen 2n interpretaciones.
Tautologa o frmula vlida.- Una frmula es tautologa si es verdadera para todas sus
posibles interpretaciones.
Cuando una proposicin molecular es siempre cierta para cualquier valor que se le
asigne a las proposiciones atmicas que la constituye.
Contradiccin, Frmula inconsistente, frmula insatisfactible o Absurdo.- Cuando una
proposicin molecular es siempre falsa para cualquier asignacin de valores de certeza de
las proposiciones atmicas que la constituyen.
Contingencia.- Cuando una proposicin molecular contiene los dos valores de cierto y
falso.
Proposiciones Equivalentes.- Si ellos tienen el mismo valor de certeza para las mismas
condiciones de valores de certeza de las proposiciones atmicas que la constituyen.
Frmula Consistente o Satisfactible.- Una frmula que al menos tiene una interpretacin
verdadera.
Como consecuencia de las definiciones anteriores, se tiene que:
Una frmula es vlida si y solo si su negacin es inconsistente.
Una frmula es inconsistente si y solo si su negacin es vlida.
Una frmula es invlida si y solo si existe por lo menos una interpretacin sobre la cual
la frmula es falsa.
Una frmula es consistente si y solo si existe por lo menos una interpretacin sobre la
cual la frmula es verdadera.
Si una frmula es vlida, entonces es consistente, pero no viceversa.
Si una frmula es inconsistente, entonces es invlida, pero no viceversa.

Frmulas Equivalentes.- Existen varias equivalencias entre frmulas de la lgica

proposicional, las cuales se conocen como leyes de equivalencia. La siguiente tabla muestra
las leyes. Se utiliza el smbolo Tautologa para indicar una tautologa y el smbolo
Contradiccin para indicar una contradiccin.
Ley de Equivalencia Frmula
Doble Implicacin
F G ( F G) (G H )
Implicacin
F G F G
Distribucin
F (G H ) ( F G) ( F H )
F (G H ) ( F G) ( F H )
Asociacin
( F G) H F (G H )
Complementacin

Conmutacin
Cero
Identidad
Idempotencia
Absorcin

Leyes de Morgan

( F G) H F (G H )
F F Contradicc in
F F Tauto log a
F F
F G G F
F G G F
F Tauto log a Tauto log a
F Contradicc in Contradicc in
F Contradicc in F
F Tauto log a F
FF F
FF F
F F Q F
F ( F Q) F
F F Q F Q
( F Q H ) F Q H
( F Q H ) F Q H

Formas Normales.- En lgica proposicional son las formas para presentar frmulas que
son importantes debido a que permiten definir mtodos genricos de evaluacin y anlisis y
de forma particular reciben el nombre de forma normal conjuntiva y forma normal
disyuntiva.
Forma Normal Conjuntiva.- Una frmula est en su forma normal conjuntiva (FNC) si
es una conjuncin de disyunciones, es decir, si tiene la forma: F1 F2 ... Fn en la cual Fn
es una frmula construida por una agrupacin de tomos unidos por disyunciones, esto es
Fn es P1 P2 ... Pm . En ambos casos n y m pueden ser mayores o iguales a 1.

Forma Normal Disyuntiva.- Una frmula est en su forma normal disyuntiva (FND) si es
una disyuncin de conjunciones, es decir, tiene la forma: F1 F2 ... Fn , en la cual Fn es
una frmula construida por una agrupacin de tomos unidos por conjunciones; esto es Fn
es P1 P2 ... Pm .
Para poder transformar cualquier frmula a su forma normal (conjuntiva o
disyuntiva), es necesario aplicar la siguiente secuencia de operaciones de equivalencia
sobre la frmula original:
1. Sustituir todas las ocurrencias de conectivas y en la frmula usando las
correspondientes leyes de equivalencia.
2. Asegurarse que las negaciones afecten solo a tomos, usando las leyes de Morgan y la
eliminacin de dobles negaciones.
3. Aplicar las otras leyes para encontrar la forma normal (las principales leyes que se
aplican son las distributivas).
Consecuencias lgicas.- Uno de los aspectos a analizar en la lgica proposicional es el de
determinar la validez de argumentos representados por frmulas bien formadas.
ARGUMENTO.- Esta formado por las premisas, axiomas o postulados y por una
conclusin, objetivo o consecuencia lgica.
PREMISAS.- Son proposiciones que son base para la deduccin de una conclusin o
consecuencia.
En trminos de lgica proposicional, una consecuencia lgica es aquella frmula
(G) que es derivada de un grupo de frmulas (F) cumpliendo la restriccin de ser verdadera
para todas las interpretaciones verdaderas del grupo de frmulas (F). Esto es G es una
consecuencia lgica de las premisas F, si y solo si, al ser verdaderas las premisas G siempre
es verdadera.
Para comprobar si una frmula es una consecuencia lgica de un grupo de frmulas
se tienen dos mtodos, que se producen a partir de los conceptos de validez e
inconsistencia. Estos mtodos se conocen en forma de Teoremas:
Teorema 1.- Teniendo un grupo de frmulas F1, F2 ,.....Fn y otra llamada G. G es una
consecuencia lgica de F1,F2..Fn si y solo si la frmula ( F1 F2 ... Fn ) G es vlida.
Teorema 2.Teniendo un grupo de frmulas F1, F2,....Fn y otra llamada G. G es ua
consecuencia lgica de F1, F2...Fn si y solo si la frmula F1 F2 ...Fn G es
inconsistente.
Circuitos Lgicos.- Debido a que una proposicin puede ser evaluad y resultar solo
verdadera o falsa, se puede deducir alguna equivalencia con el lgebra boolenana, que

maneja solamente dos valores (0 y 1). Las propiedades del clculo proposicional son
equivalentes a la del lgebra booleana desarrollada por Boole.
En el lgebra booleana, una proposicin es equivalente a una variable y las
conectivas lgicas se utilizan como compuertas lgicas. Lo esquemas que resultan de
aplicar las compuertas lgicas se conocen como circuitos lgicos.
PRONTUARIO DE LGICA MATEMTICA

IDEMPOTENCIA:

pq p
pq p

LEY DE DOBLE NEGACIN:

LEYES DE CONMUTACIN:

( p' )' p
pq q p
pq q p
pqq p

p (q r ) ( p q) r
p (q r ) ( p q) r

LEYES DE ASOCIACIN:

p (q r ) ( p q) r
p (q r ) ( p q) ( p r )

LEYES DE DISTRIBUCIN:

(q r ) p (q p) (r p)
p (q r ) ( p q) ( p r )
(q r ) p (q p) (r p)

LEYES DE ABSORCIN:

p ( p q) p
p ( p q) p

LEYES DE DUALIDAD (LEYES DE DE MORGAN):

p V V

LEYES DE IDENTIDAD:

p V p
pF p
pF F

( p q)' p'q'
( p q)' p' q'

LEYES DE COMPLEMENTO:

p p' V
p p' F
V' F
F' V

1) p p
2) p q p ( p q )
3) p q q ( p q )
4) p ' q q ' p
5) p ' q q p
6)( p q )' p q '
7)(q p )' p ' q
8) p (q q ' ) p '
9)( p q ) p p q
10)( p q ) q p q
11)( p q ) q ' ( p q )'
12)( p q ) q ' ( p q )'
13) p q ( p q ) ( p ' q ' )
14) p q ( p ' q ) ( p q ' )
15) p q ( p q ) (q p )
16) p q ( p q ) ( p ' q ' )
17) p ' q p q '
18) p ' q ' p q
19)( p q )' p q '
20)( p q )' p ' q
21)( p q ) q p
22)( p q ) q ' p '
23)( p q ) r p (q r )
24) p (q r ) q ( p r )
25)( p q ) ( p r ) p (q r )
26)( p r ) (q r ) ( p q ) r
27)( p q ) ( p r ) p (q r )
28)( p r ) (q r ) ( p q ) r
29)( p q ) (q r ) (r p ) p q r
30) p p
31) p p q
TAUTOLOGAS: 32) p q p
33) p ( p q ) q
34) p ( p q ) q

35) p ' p q
36) p ' ( p q ) q
37) p ' (q p ) q '
38) p p ' q
39) p q p
40) p q p q
41) p q p q
42) p q q p
43) p q p q
44)( p q ) p ' q
45)( p q ) ( p q ' )
46)( p q ) ( p ' q )
47)( p q )' p
48)( p q )' q '
49)( p q ) p q
50)( p q ) q ' p '
51) p q (q r ) ( p r )
52) p q (r p ) (r q )
53)( p q ) (q r ) p r
54)( p r ) (q r ) ( p q ) r
55)( p r ) (q s ) ( p q ) r s
56)( p r ) (q s ) (r ' s ' ) p ' q '
57) p q p q
58) p q q p
59) p q ( p r ) (q r )
60) p q ( p r ) (q r )
61) p q ( p r ) (q r )
62) p q (r p ) (r q )
63) p q ( p r ) (q r )
64)( p q ) (q r ) p r

EQUIVALENCIAS CON LOS CONECTIVOS NEGACIN Y CONJUNCIN:

65) p q ( p' q' )'

66) p q ( p q' )'
67) p q ( p q' )'( p' q)'
68) p q ( p' q ' )'( p q)'
69) p q ( p q)'
70) p q p' q'
EQUIVALENCIAS CON LOS CONECTIVOS NEGACIN Y DISYUNCIN:

71) p q ( p' q' )'

72) p q p' q
73) p q ( p' q' )' ( p q)'
74) p q ( p' q)' ( p q' )'
75) p q p' q'
76) p q ( p q)'
EQUIVALENCIAS CON EL CONECTIVO NAND:
77) p' p p
78) p q ( p q) ( p q )
79) p q ( p p) (q q )
80) p q p (q q )
81) p q ( p q ) (( p p) (q q ))
82) p q ( p (q q )) (q ( p p ))
83) p q (( p p) (q q )) (( p p) (q q))

EQUIVALENCIAS CON EL CONECTIVO NOR:

84) p ' p p
85) p q ( p p ) (q q)
86) p q ( p q ) ( p q)
87) p q (( p p ) q) (( p p) q)
88) p q ( p (q q)) (q ( p p))
89) p q ( p q) (( p p) (q q))
90) p q (( p p) (q q )) (( p p) (q q))

HISTORIA DE LOS LENGUAJES DE

PROGRAMACIN
AO LENGUAJE

INVENTOR

1900s BINARIO

Bool

primer lenguaje

1946 Plankalkul

Konrad Zuse

creado para jugar al ajedrez

DESCRIPCION

1949 Short Code

lenguaje traducido a mano

1950 ASM (ensamblador)

lenguaje ensamblador

1951 A-0

Grace Hopper

fue el primer compilador

1952 AUTOCODE

Alick E. Glennie

compilador muy rudimentario

1956 FORTRAN

IBM

sistema de TRAduccin de
FORmulas matemticas

1956 COBOL

Compilador

1958 ALGOL 58
1960 LISP
1961 FORTRAN IV
1961 COBOL 61 Extendido
1960 ALGOL 60 Revisado

IBM

Interprete orientado a la Inteligencia

Artificial
sistema de TRAduccin de
FORmulas matemticas

1964 PASCAL

Niklaus Wirth

programacin estructurada

1964 BASIC

Universidad de
Dartmouth
(California)

Beginners All Purpose Symbolic

Instruction Code

1965 SNOBOL
1965 APL

solo anotacin

1965 COBOL 65
1966 PL/I
1966 FORTRAN 66

IBM

sistema de TRAduccin de
FORmulas matemticas

1967 SIMULA 67
1968 ALGOL 68
1968 SNOBOL4
1970s GW-BASIC

antiguo y clsico BASIC

1970 APL/360
1972 SMALLTALK

Centro de
Investigacin de
Xerox en Palo Alto

pequeo y rpido

1972 C

Laboratorios Bell

lenguaje con tipos

1974 COBOL 74
1975 PL /I

Lenguaje sencillo

1977 FORTRAN 77

IBM

sistema de TRAduccin de
FORmulas matemticas

1980s SMALLTALK/V

Digitalk

pequeo y rpido

1980 C con clases

Laboratorios Bell

lenguaje con clases

1981 PROLOG

1982 ADA

1984 C++

Ministerio Japons
de Comercio
Internacional e
Industria (MITI)
Ministerio de
Defensa de los
EE.UU.
AT&T Bell
Laboratories (Bjarne
Stroustrup)

1985 CLIPPER
1985 QuickBASIC 1.0

Lenguaje estndar para la

Inteligencia Artificial

lenguaje muy seguro

compilador
compilador para bases de datos

Microsoft

Compilador de BASIC

1986 QuickBASIC 2.0

Microsoft

soporte de tarjeta grfica EGA

1987 QuickBASIC 3.0

Microsoft

43 lneas con la tarjeta EGA

1987 QuickBASIC 4.0

Microsoft

tarjetas Hercules, VGA

1987 CLIPPER SUMMER '87

compilador para bases de datos

1988 QuickBASIC 4.5

Microsoft

tarjeta SVGA

1989 QuickBASIC 7.1

Microsoft

ultima versin de QuickBASIC

1989

BASIC v5.0

interprete tipo QBASIC shareware

1990s VISUAL C++

1990s VISUAL BASIC Script

Microsoft

lenguaje de script

Tim Berners-Lee

para internet

1993 XML

C. M. SperbergMcQueen

para internet

1993 SGML

Charles F. Goldfarb

para internet

1990

HTML

1990s WML
1990s ASP

para internet
Microsoft

1990s PHP
1995 JAVA

para internet
para internet

Sun Microsystems

1995 CLIPPER 5.01

para internet y propsito general

compilador para bases de datos

1995 GNAT ADA95

Ministerio de
Defensa de los
EE.UU.

lenguaje muy seguro

1995 FORTRAN 95

IBM

sistema de TRAduccin de
FORmulas matemticas

1991 VISUAL BASIC 1.0

Microsoft

1992 VISUAL BASIC 2.0

Microsoft

1993 VISUAL BASIC 3.0

Microsoft

1994 VISUAL BASIC 4.0

Microsoft

1995 VISUAL BASIC 5.0

Microsoft

1998 VISUAL BASIC 6.0

Microsoft

1990s C#
2001 VISUAL BASIC .NET

Microsoft

La evolucin de Visual Basic