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. De la definicin de unin se deduce directamente que A U B = B U A La operacin

de unin de conjuntos es conmutativa.
ii. 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

iii. 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. Si la unin de dos conjuntos es vaca, ambos conjuntos deben serlo. En smbolos: si
A U B = entonces A = y B = .
vii. 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 k conjuntos cualesquiera

.

viii. 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 . La

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

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

pertenecen a A y a B."
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 se cumple que

. Por definicin de interseccin 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 Para los conjuntos cualesquiera

viii. 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 ; mientras que B - A es el
conjunto de los elementos de B que no 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 . Se dice que estos
conjuntos son totalmente exhaustivos.

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 entonces .

Resumiendo ambas propiedades se llega a que:

ii. Sean A y B dos subconjuntos cualesquiera del conjunto universal . El conjunto

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

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

subconjunto de S, el conjunto interseccin es igual al conjunto R. En
smbolos: A su vez, si el conjunto R es igual a la
interseccin , esto implica que . En smbolos:
Resumiendo ambas 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. A B , B A
2. A B = B A
3. A B C = A B C
4. A B C A B C
5. A A
6. A
7. A I I
8. 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 , y en el ltimo dos
conjuntos con algunos elementos comunes.

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. de conmutatividad

V. 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:

PQ
P Q
V V V
V F F
F V F
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 O Inclusivo

P Q
P Q
P Q
P Q
V V F
V V V
V F V
V F V
F V V
F V V
F F F
F F 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 Q
P Q
V V V
V F F
F V V
F F V
Conectivo Bicondicional (Si y solo si).- P si Q, solo si Q. Sus smbolos son: , .

Tabla de verdad:

P
P Q Q
V V V
V F F
F V F
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 )
( F G) H F (G H )
Complementacin F F Contradiccin
F F Tauto log a
F F
Conmutacin F G G F
F G G F
Cero F Tauto log a Tauto log a
F Contradiccin Contradiccin
Identidad F Contradiccin F
F Tauto log a F
Idempotencia FF F
FF F
Absorcin F F Q F
F ( F Q) F
F F Q F Q
Leyes de Morgan (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 F n
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 F n 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

pq p
IDEMPOTENCIA: pq p

LEY DE DOBLE NEGACIN: ( p' )' p

pq q p
LEYES DE CONMUTACIN: pq q p
pqq p

p (q r ) ( p q ) r
LEYES DE ASOCIACIN: p (q r ) ( p q ) r
p (q r ) ( p q) r

p (q r ) ( p q) ( p r )
(q r ) p (q p) (r p)
LEYES DE DISTRIBUCIN: p (q r ) ( p q) ( p r )
(q r ) p (q p) (r p)

p ( p q) p
LEYES DE ABSORCIN: p ( p q) p

( p q)' p'q'
LEYES DE DUALIDAD (LEYES DE DE MORGAN): ( p q)' p' q'

p V V
p V p
LEYES DE IDENTIDAD: pF p
pF F
 p p' V
p p' F
LEYES DE COMPLEMENTO:
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'
TAUTOLOGAS: 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
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

DESCRIPCION
AO LENGUAJE INVENTOR
1900s BINARIO Bool primer lenguaje
1946 Plankalkul Konrad Zuse creado para jugar al ajedrez
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

sistema de TRAduccin de
1956 FORTRAN IBM
FORmulas matemticas
1956 COBOL Compilador
1958 ALGOL 58
Interprete orientado a la Inteligencia
1960 LISP
Artificial
sistema de TRAduccin de
1961 FORTRAN IV IBM
FORmulas matemticas
1961 COBOL 61 Extendido
1960 ALGOL 60 Revisado
1964 PASCAL Niklaus Wirth programacin estructurada
Universidad de
Beginners All Purpose Symbolic
1964 BASIC Dartmouth
Instruction Code
(California)
1965 SNOBOL
1965 APL solo anotacin
1965 COBOL 65
1966 PL/I
sistema de TRAduccin de
1966 FORTRAN 66 IBM
FORmulas matemticas
1967 SIMULA 67
1968 ALGOL 68
1968 SNOBOL4
1970s GW-BASIC antiguo y clsico BASIC
1970 APL/360
Centro de
1972 SMALLTALK Investigacin de pequeo y rpido
Xerox en Palo Alto
1972 C Laboratorios Bell lenguaje con tipos
1974 COBOL 74
1975 PL /I Lenguaje sencillo
sistema de TRAduccin de
1977 FORTRAN 77 IBM
FORmulas matemticas
1980s SMALLTALK/V Digitalk pequeo y rpido
1980 C con clases Laboratorios Bell lenguaje con clases
Ministerio Japons
de Comercio Lenguaje estndar para la
1981 PROLOG
Internacional e Inteligencia Artificial
Industria (MITI)
Ministerio de
1982 ADA Defensa de los lenguaje muy seguro
EE.UU.
AT&T Bell
1984 C++ Laboratories (Bjarne compilador
Stroustrup)
1985 CLIPPER compilador para bases de datos
1985 QuickBASIC 1.0 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
1990 HTML Tim Berners-Lee para internet
C. M. Sperberg-
1993 XML para internet
McQueen
1993 SGML Charles F. Goldfarb para internet
1990s WML para internet
1990s ASP Microsoft para internet
1990s PHP para internet
1995 JAVA Sun Microsystems para internet y propsito general
1995 CLIPPER 5.01 compilador para bases de datos
Ministerio de
1995 GNAT ADA95 Defensa de los lenguaje muy seguro
EE.UU.
sistema de TRAduccin de
1995 FORTRAN 95 IBM
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