INTRODUCCION A LA TEORIA DE CONJUNTO

La Teora de Conjuntos es una teora matemtica, que estudia bsicamente a un cierto tipo de objetos llamados conjuntos y algunas veces, a otros objetos denominados no conjuntos, as como a los problemas relacionados con estos. Intuitiva e informalmente los objetos de estudio de la Teora de Conjuntos quedan descritos as: 1. Si x no tiene elementos, entonces x es un objeto de la Teora de Conjuntos. 2. Si x es un conjunto, entonces x es un objeto de la Teora de Conjuntos. 3. Los nicos objetos de la Teora de Conjuntos son los descritos en 1 y 2. La importancia de la Teora de Conjuntos radica en que a partir de ella se puede reconstruir toda la matemtica, salvo la Teora de Categorias. Por ejemplo, con la Teora de Conjuntos se pueden definir los siguientes conceptos y probar todas sus propiedades: par ordenado, relacin, funcin, particin, orden, estructuras algebraicas, los naturales, los enteros, los racionales, los reales, los complejos, etc.

TEORIA DE CONJUNTOS
Es la rama de las matemticas a la que el matemtico alemn Georg Cantor di su primer tratamiento formal en el siglo XIX , concepto de conjunto es uno de las mas fundamentales en matemticas, incluso mas que la operacin de contar, en todas las ramas de las matemticas puras y aplicadas. En su forma explica, los principios y terminologas de los conjuntos se utilizan para construir proposiciones matemticas mas claras y precisas y para explicar conceptos abstractos como el infinito.

DEFINICIONES
Un conjunto es una agrupacin, clase o coleccin de objetos denominados elementos del conjunto: utilizando smbolos de S presenta que el elemento a pertenece o esta contenido en el conjunto S. o lo que es el mismo, el conjunto S contiene al elemento a. Un conjunto S esta definido si dado un objeto a, se sabe con certeza que o a e S o a S. Esto es a no pertenece a S. Un conjunto se representa frecuentemente con el smbolo S = | | , en donde las llaves engloban los elementos de S, ya sea de forma explicita, escribiendo todos y cada uno de los elementos, a dando una formula , regla o proposicin que los describa.

Conceptos bsicos de la Teora de Conjuntos.

Son dos los conceptos bsicos de la Teora de Conjuntos: 1. Conjunto: Coleccin de cualquier tipo de objetos considerada como un todo, una multiplicidad vista como unidad; entidad completa bien determinada. Los objetos que forman al conjunto son nombrados elementos del conjunto o miembros del conjunto. Por coleccin entenderemos a una agrupacin que est determinada por una propiedad enunciada por medio de un lenguaje preciso. Todo conjunto es una coleccin de objetos, pero no toda coleccin de objetos es un conjunto. Esta afirmacin ser demostrada ms adelante.

Relacin de Pertenencia: El ser elemento de es una relacin binaria o de dos argumentos entre dos objetos de la Teora de Conjuntos. Esta relacin va de un objeto a otro, donde el segundo objeto es necesariamente un conjunto y el primero puede ser o no un conjunto.

Colecciones: Clases y Conjuntos.

Como se mencion anteriormente, una coleccin est determinada por una propiedad P formulada en un lenguaje preciso. Una clase es una coleccin, cuyos objetos son los objetos de la Teora de Conjuntos que cumplen la propiedad P que caracteriza a la coleccin. Las colecciones llamadas clases, son colecciones de objetos de la Teora de Conjuntos, y pueden ser o no conjuntos en el siguiente sentido: Todo conjunto es una clase, pero no toda clase es un conjunto.

Proposicin.

La clase de todos los objetos x tales que cumplen la propiedad "x no pertenece a x", no es un conjunto.

Prueba.

Supongamos que dicha clase s fuera un conjunto y llammosle R. Entonces: 1. Si R no pertenece a R, R cumple la propiedad que caracteriza a la clase y tenemos que R pertenece a R. 2. Si R pertenece a R, entonces R no cumple la propiedad que caracteriza a la clase y tenemos que R no pertenece a R. As pues, hemos mostrado que: si R no pertenece a R, entonces R pertenece a R; y si R pertenece a R, entonces R no pertenece a R. Pero como R pertenece a R o R no pertenece a R, entonces necesariamente se cumple que R pertenece a R y que R no pertenece a R, lo cual es absurdo. En conclusin, no es posible que dicha clase sea un conjunto. Si una clase no es un conjunto le llamaremos clase no conjunto o clase propia, y no es un objeto de estudio de la Teora de Conjuntos. Por lo anterior, la clase de todos los objetos x tales que x no pertenece a x, es una clase propia. Y se le conoce a dicha proposicin como la Paradoja de Russell.

El Conjunto Universo Local.

En la Teora de Conjuntos, se tiene como referencia, explcita o implcitamente, un universo local; es decir, un marco de referencia dentro del cual se trabaja. Este universo local o del discurso debe de ser un conjunto, quedando muy claro este concepto, ya que no se le debe confundir con la coleccin de todos los conjuntos, que es una coleccin que no es un conjunto, sino una clase propia; por lo tanto, aunque no existe el conjunto de todos los conjuntos, si existir en casi cada caso particular, un conjunto que tenga a todos los conjuntos de inters del discurso.

Axioma

Si A es un conjunto cualquiera y P es una propiedad acerca de conjuntos, la coleccin de elementos de A que tienen la propiedad P, es un conjunto. Ms precisamente, para toda propiedad P formulada en el lenguaje de la Teora de Conjuntos lo siguiente es cierto: Para todo conjunto A, existe un conjunto B cuyos elementos son exactamente los elementos z de A tales que z cumple la propiedad P.

de

Separacin

de

Comprehensin.

Teorema.

Para todo conjunto, hay un conjunto que no le pertenece.

Prueba. Sea A un conjunto cualquiera. Sea D el conjunto de las y que

pertenecen al conjunto A, tales que cumplen la propiedad "y no pertenece a y". De lo anterior, por el axioma de separacin, se sigue que D es un

conjunto y que es subconjunto de A. Se afirma que D no pertenece al conjunto A, pues suponiendo que D pertenece al conjunto A entonces se tiene que: 1. Si D no pertenece a D, entonces D pertenece a D, por cumplir la propiedad que caracteriza a D y por la suposicin de que D pertenece al conjunto A. 2. Si D pertenece a D, entonces D cumple la propiedad, por lo tanto, D no pertenece a D. Las dos conclusiones anteriores juntas, implican que D pertenece a D y que D no pertenece a D, y esto es absurdo. Por lo tanto, se tiene que D no pertenece al conjunto A. As pues, dado cualquier conjunto A, hay un conjunto D tal que D no pertece al conjunto A. Corolario. Ningn conjunto puede tener como elementos suyos, a todos los conjuntos.

SUBCONJUNTOS

Y SUPERCONJUNTOS

Si todo elemento de un conjunto R pertenece tambin al conjunto S. R es un subconjunto de S y S es un superconjunto de R. Utilizando smbolos, R SoS R. Todo conjunto es un subconjunto y un superconjunto de si mismo. Si R S. Y al menos un elemento S no pertenece a R, se dice que R es un subconjunto propio de S y S es un superconjunto propio de R. lo ue se representa con lo siguientes smbolos: R S. S R. Si R S son dos conjuntos iguales, lo que se escribe R = S . En los ejemplos anterior . S1 es un subconjunto propio de S2 .

OPERACIN DE CONJUNTOS
Union: Dados don conjuntos cualesquiera A y B llamamos union de A y B al conjunto formado por todos los elementos que pertenecen a A o a B.

Simblicamente:
A U B = { x : x A v x B}

Interseccin:

Dados dos conjuntos cualesquiera A y B llamamos interseccion de A y B al conjunto formado por todos los elementos que pertenecen a Y y pertenecen a B.

Simblicamente:
A B = {x: x A ^ x B}

Diferencia:
Dados dos conjuntos cualesquiera A y B llamamos diferencia de A menos B al conunto formado por los elementos que pertence a A y no pertenecen a B.

Simblicamente:
A-B = {x: x A ^ x B}

Complemento:
Dados dos conjuntos cualesquiera A y B con B A ( B subconjunto de A) llamamos complemento de B respecto de A al conjunto de elemento que pertenece a A y no a B. esto es lo que le falta a B para ser igual a A.

Producto Cartesiano:
Para definir el producto cartesiano de dos conjuntos cualesquiera A y B primero definiremos a lo que es un par ordenado.

Par ordenado:
Un par ordenado es un conjunto de dos elementos donde nos interesa el orden en que estos aparezcan, esto es posee un primer elemento y un segundo elemento. Se representan con parentesisi y a los elementos se les denominara componentes (a,b) representa el par ordeando cuya primer componente es a y su segunso componente es b. Debemos observar que para que dos pares ordenados sean iguales sus componentes deben serlo: (a,b) = (c,d) si y solo si a=c y b=d. Habiendo definido lo que es un par ordenado podemos decir que: El producto carteciano de dos conjuntos A y B es el conjunto de

todos los pares ordeandos cuya primera componentes pertenece a A y cuyo segundo componente pertenece a B. AXB {(a,b)/ a A y b B}

MULTIPLICACION DE CONJUNTOS
Si A y B son dos conjuntos, el conjunto de todos los posibles pares ordenados de elementos de la forma (a,b), donde a pertenece a A y b pertenece a B, se denomina producto cartesiano de A y B, que se escribe normalmente A*B.

CORRESPONEDENCIA ENTRE CONJUNTOS

Los elementos del conjunto A = {1,2,3} se puede relacionar, emparejar o hacer corresponder con los elementos del conjunto B = {x,y,z} de distintas maneras, de forma que a todos los elementos de B le corresponden uno de A, a todos los elementos de A le corresponde un elemento de B, elementos distintos de un conjunto estn emparejados con elementos distintos del otro.

DIAGRAMA DE VENN

A cada conjunto se le considera encerrado dentro de una curva (plana) cerrada. Los elementos del conjunto considerado pueden ser especficamente dibujados o pueden quedar (implcitamente) sobreentendidos. Los diagramas son empleados para representar tanto a los conjuntos como a sus operaciones y constituyen una poderosa herramienta geomtrica, desprovista de valide lgica.

PROPIEDADES DEL ALGEBRA DE CONJUNTOS Conmutativas

AUB= BUA A B= B A

Asociativas
(A U B) U C = (A B) C= A U (B U C) A (B C) A U (B C) = A (B U C)=

Distributivas Neutros
(A U B) A E=A (A U ( A B) U ( A AUO=A C)

Propiedades Negativas
A U Ae = E A A=O

Idemponentes
AUA=A A A=A

Absorbentes
AUE=E A O=O

Doble

negacion (DN)
(Ae)e = A (A U B)e = A Be Be (A B)e = Ae U

Leyes de morgan (LM) Simplificativas

A U (A A B) = A A

(A U B ) =

LOGICA PROPOSICIONAL
La lgica proposicional es la ms antigua y simple de las formas de lgica. Utilizando una representacin primitiva del lenguaje, permite representar y manipular aserciones sobre el mundo que nos rodea. La lgica proposicional permite el razonamiento, a travs de un mecanismo que primero evala sentencias simples y luego sentencias complejas, formadas mediante el uso de conectivos proposicionales, por ejemplo Y (AND), O (OR). Este mecanismo determina la veracidad de una sentencia compleja, analizando los valores de veracidad asignados a las sentencias simples que la conforman. Una proposicin es una sentencia simple que tiene un valor asociado ya sea de verdadero (V), o falso (F). Por ejemplo: Hoy es Viernes Ayer llovi

Hace fro La lgica proposicional, permite la asignacin de un valor verdadero o falso para la sentencia completa, no tiene facilidad par analizar las palabras individuales que componen la sentencia. Por este motivo, la representacin de las sentencias del ejemplo, como proposiciones, sera: hoy_es_Viernes ayer_llovi hace_fro La proposiciones pueden combinarse para expresar conceptos ms complejos. Por ejemplo: hoy_es_Viernes y hace_fro. A la proposicin anterior dada como ejemplo, se la denomina frmula bien formada (well-formed formula, wff). Una frmula bien formada puede ser una proposicin simple o compuesta que tiene sentido completo y cuyo valor de veracidad, puede ser determinado. La lgica proposicional proporciona un mecanismo para asignar valores de veracidad a la proposicin compuesta, basado en los valores de veracidad de las proposiciones simples y en la naturaleza de los conectores lgicos involucrados. En la Lgica Formal se estudian los principios y mtodos a travs de los cuales podemos determinar la validez de argumentos, desde el punto de vista solamente de su estructura, sin tomar en cuenta el contenido semntico de las expresiones de los argumentos. De esta manera si se argumenta que: Todos los majadistanenses son de Majadistn Majadistanense En consecuencia,Rudistein es de Majadistan. Rudistein es

En este argumento, no tomamos en cuenta si los majadistanenses son humanos, perros, pericos o un concepto abstracto de cualquier rea. Tampoco nos importa si Rudinstein es un ciudadado de alguna ciudad del mundo o si es el nombre de un perro. De esta manera desde el punto de vista de su estructura este argumento es vlido. Se hace incapi que la Lgica no se hace responsable de su aplicacin a nivel semntico.

Se puede decir que la Lgica es una herramienta para el anlisis de la veracidad de argumentos en base slo a la estructura de stos, donde el significado de los elementos que intervienen no es tomado en cuenta. El argumento anterior tiene dos partes principales: A) B) Las premisas: los majadistanenses son de Majadistn Rudistein es Majadistanense La conclusin: Rudistein es de Majadistn Todos

De esta manera el argumento es vlido, ya que de las premisas sigue la conclusin, lo cual hasta cierto punto nos parece totalmente natural. Consideremos el siguiente argumento: Argentina est en Africa o Argentina est en Asia. Argentina no est en Asia En consecuencia, Argentina est en Africa. Nuevamente este argumento es vlido desde el punto de vista lgico, an cuando sabemos que la conclusin es falsa. Cmo puede ser sto? A partir de la Lgica se pueden obtener conclusiones equivocadas? La respuesta es afirmativa, ya que la lgica no verifica el significado de las premisas. Debido a lo anterior es necesario distinguir entre proposiciones verdaderas y proposiciones lgicamente verdaderas. Las primeras son verdaderas independientemente de su estructura, mientras que las segundos no lo son. De esta manera, las proposiciones: Argentina est en Africa Argentina est en Africa o Argentina est en Asia

Son verdaderas lgicamente debido a que la primera es una premisa y a que la segunda ha sido derivada lgicamente de sus premisas. Las proposiciones son expresiones que pueden ser evaluadas como verdaderas o falsas. En los lenguajes naturales (Espaol, Ingls, etc), las proposiciones slo pueden ser expresiones declarativas y nunca interrogativas o imperativas. De esta manera las siguientes son proposiciones:

Los cantantes no duermen. Comer mucho, engorda Las montaas cantan bonito Los mosquitos viven menos de un ao El hombre desciende del elefante Sin embargo, las siguientes no son proposiciones por no poder ser evaluadas como verdaderas ni falsas: Levntate temprano! Has entendido lo que es una proposicin? Estudia esta leccin! Cul es la direccin de la pgina de Lgica Computacional? En este mdulo estudiamos la lgica proposicional, es decir, se estudian los principios para determinar la validez de argumentos conformados con proposiciones. Esto involucra los siguientes tipos de proposiciones: * Proposiciones simples o tomos * Proposiciones compuestas Los tomos o proposiciones simples son tales que no es posible encontrar en ellas otras proposiciones, mientras que las proposiciones compuestas estn conformadas de varias proposicones simples a travs de lo que se denomina conectores lgicos, entre los cuales se encuentran: y, o, implica. Ejemplo de proposiciones compuestas son: Las montaas cantan bonito o Los mosquitos viven menos de un ao. El hombre desciende del elefante y Comer mucho, engorda. Los conectadores bsicos de la lgica proposicional, se dan en la Tabla 4.1. Las tablas de verdad para las operaciones bsicas, se muestran en la Tabla 4.2. NOMBRE Conjuncin Disyuncin CONECTOR AND OR SMBOLO ^ v

Negacin Implicacin Equivalenci a

NOT If-Then Igual

~ => =

Tabla 4.1 Conectores bsicos de la lgica proposicional

P V V F F

q V F V F

Disyuncin pvq V V V F

Conjuncin p^q V F F F

Negacin ~p F F V V

Implicacin p => q V F V V

Equivalencia p=q V F F V

Tabla 4.2 Tablas de verdad para operadores lgicos

El conectador de implicacin, puede ser considerado como un condicional expresado de la siguiente forma: Si A => B va a ser verdadero, Entonces toda vez que A sea verdadero, B debe ser siempre verdadero. Para los casos en los cuales A es falso, la expresin A => B, es siempre verdadera, independientemente de los valores lgicos que tome B, ya que el operador de implicacin no puede hacer inferencias acerca de los valores de B.

Existen varias equivalencias en lgica proposicional, similares a las del lgebra Booleana. Estas se dan en la Tabla 4.3.

DENOMINACIN Leyes Equipotenciales

REPRESENTACIN LGICA A => B = ~A v B A ^ ~A = F A v ~A = V

Leyes Conmutativas Leyes Distributivas Leyes Asociativas Leyes Absortivas Leyes de DeMorgan

A^B=B^A AvB=BvA A ^ (B v C) = (A ^ B) v (A ^ C) A v (B ^ C) = (A v B) ^ (A v C) A ^ (B ^ C) = (A ^ B) ^ C A v (B v C) = (A v B) v C A ^ (A v B) = A A v (A ^ B) = A ~(A ^ B) = ~A v ~B ~(A v B) = ~A ^ ~B

Tabla 4.3 Equivalencias en lgica proposicional

CONECTIVAS LOGICAS
Las conectivas lgicas tambin se llaman a veces operadores, y son de dos tipos: Operadores unarios: NEGACION: not, Operadores binarios: CONJUNCION: and, &, y DISYUNCION: or CONDICIONAL: implies, ==>, implica BICONDICIONAL: <==>

FORMULAS BIEN FORMADAS

El Clculo Proposicional estudia frmulas proposicionales simples o compuestas. Las proposiciones simples o tomos son representadas por smbolos, generalmente las letras del alfabeto A,B,C,....

Para obtener proposiciones compuestas se utilizan, como se dijo antes, conectores lgicos. As la proposicin compuesta A or B puede corresponder por ejemplo a: El coronel no tienen quien le escriba or La jubilacin del Coronel Buenda es insuficiente para su familia Una frmula bien formada (fbf) es una expresin que representa una proposicin simple o compuesta, la cual esta bien escrita de acuerdo con determinada sintaxis. Ahora bien, una fbf del Clculo Proposicional, es una frmula que est bien escrita de acuerdo con la sintaxis del Clculo Proposicional. Las reglas de la sintaxis del Clculo Proposicional definen de esta manera la forma de escribir o reconocer susu fbf's. Estas reglas son: a) Un tomo es una frmula bien formada. b) Si G es una frmula bien formada entonces G tambin lo es. c) Si G y H son frmulas bien formadas, entonces tambin lo son: G&H G or H G ==> H G <==> H d) Todas las fbf's se obtienen aplicando a, b y c. Es necesario puntualizar en la regla c anterior, que es posible utilizar otras conectivas, pero sin embargo son reducibles a las que aqui presentamos. De esta manera, fijaremos nuestra atencin solo a las fbf's que aqu describimos. Ejemplos de frmulas bien formadas son: P&Q P ==> Q

Ejemplos de frmulas que no son bien formadas son: P &, ==>Q.

Resumen
Se presentan conceptos asociados a la lgica proposicional, cuyos elementos fundamentales son sentencias, que pueden ser evaluadas como falsas o verdaderas; se introduce el concepto de frmula bien formada y de su deduccin a partir de expresiones en lenguaje natural, as como la contraccin de frmulas en sus formas normales. Tambin se muestra la forma de construir circuitos lgicos equivalentes a frmulas de la lgica proposicional.

1 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. Existen proposiciones que son simples, as como proposiciones que estn construidas por otras proposiciones usando elementos (conectivas lgicas) que las asocian. Al construir una proposicin, se debe garantizar que esta puede ser evaluada (frmula bien formada); de la misma forma, podemos construir proposiciones usando solo un grupo de conectivas, produciendo frmulas que se dice estn en su forma normal. Las formas normales son importantes por el hecho que permiten definir esquemas generales para el tratamiento de estas frmulas (GSAT, por ejemplo). 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. Finalmente, existen varias formas de representar una frmula de la lgica proposicional; aqu se introduce el concepto de circuitos lgicos, donde se asocia a las conectivas lgicas un smbolo grfico.

2 Objetivos
Los objetivos que se persiguen dentro de este mdulo son los siguientes: 1. El alumno distinguir frmulas bien formadas a partir de oraciones en lenguaje natural para especificar y definir formalmente un conjunto de sentencias. 2. El alumno probar consecuencias lgicas (CL) para un conjunto de frmulas bien formadas, a partir de los teoremas 1 y 2 para distinguir cuando un enunciado es verdadero ante un conjunto de axiomas, o sigue de ellos.

3 Proposiciones
Al escuchar algo como La rosa es una flor o El cocodrilo es un mamfero, fcilmente se puede determinar si estas sentencias son ciertas o falsas; sin embargo, al escuchar No seas flojo! o Quin ganar las elecciones?, no es posible asociar a ellas un valor de verdad. Sentencias como las primeras dos son los elementos fundamentales con los que trabaja la lgica proposicional. La lgica proposicional (o clculo proposicional) tiene el propsito de simbolizar cualquier tipo de razonamiento para su anlisis y tratamiento. Especficamente, para simbolizar razonamiento, la lgica proposicional usa sentencias declarativas a las que se puede asociar un valor de verdad (cierto o falso); 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 una letra mayscula (o una cadena de letras maysculas). Ejemplo: P y Q son proposiciones: P : La rosa es una flor Q : El cocodrilo es un mamfero

La asociacin de proposiciones produce otras proposiciones conocidas como compuestas, por lo que es posible diferenciar a las proposiciones simples llamndolas frmulas atmicas o, simplemente tomos y a las compuestas llamndolas frmulas compuestas. Del ejemplo, P y Q son tomos.

4 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. En la proposicin ''El agua esta fra y el calentador est descompuesto'' se tienen dos tomos (El agua esta fria, el calentador est descompuesto), unidos por la partcula ''y'' la cual se dice que es una conectiva lgica. Otro ejemplo sera ''Si Luis es ingeniero, entonces Luis es inteligente'', donde la conectiva lgica es ''Si ... entonces''. Las conectivas lgicas usadas en la lgica proposicional son cinco y son representadas simblicamente de varias formas, como se muestra en la tabla 1.

Conectiva Negacin (No) Conjuncin (Y) Disyuncin (O) Condicional entonces) (Si ...

Smbolos asociados ~, , , &, , , +

Bicondicional (Si y solo ,= si) Tabla 1: Conectivas Lgicas. As, para los ejemplos representacin: mencionados, se tendra la siguiente

Ejemplo: C: ''El agua esta fra y el calentador est descompuesto'', se representa por AB. donde: A: El agua esta fra. B: El calentador esta descompuesto. Ejemplo: R: ''Si Luis es ingeniero, entonces Luis es inteligente'', se representa por P Q. donde: P: Luis es ingeniero. Q: Luis es inteligente. Como es posible determinar si una proposicin es cierta o falsa, al encontrarse con proposiciones unidas por conectivas lgicas, es necesario conocer cuales son las reglas que se aplican para determinar si la proposicin completa es cierta o falsa. La tabla 2 seala los valores resultantes para la evaluacin de proposiciones compuestas a partir de las diferentes combinaciones de valores de verdad de sus tomos. En esta tabla P y Q son los tomos y se utiliza V para un valor cierto y F para uno falso. P QP V V F V F F P P P P Q Q Q Q V F V V V F V F

F V V F F V

F F

V F

V V

F V

Tabla 2: Valores de verdad de proposiciones compuestas. Ejemplo: Si P tiene un valor V, Q tiene un valor F y R es V, el valor de P R es V y el valor de P Q es F.

5 Frmulas bien formadas

Como se ha explicado, las proposiciones compuestas son agrupaciones de tomos unidos por conectivas lgicas; es importante aclarar que al construir proposiciones, se requiere seguir una serie de reglas que establecen si una frmula esta bien formada. De acuerdo a lo anterior, una formula bien formada (fbf) es aquella que cumple los siguientes cuatro puntos: 1. Un tomo es una frmula bien formada. 2. Si P es una frmula bien formada, P tambin es una frmula bien formada. 3. Si P y Q son frmulas bien formadas, PQ, PQ, P Q y P Q son frmulas bien formadas. 4. Todas las frmulas bien formadas se obtienen aplicando las reglas 1, 2 y 3. De lo anterior, se puede decir que frmulas estn bien formadas y que frmulas no lo estn: Ejemplo: Las siguientes son frmulas bien formadas: P Q P Q S Ejemplo: Las siguientes no son frmulas bien formadas: S P P R

6 Jerarqua de conectivas
Como se estableci anteriormente, para determinar el valor de verdad de una proposicin compuesta, es necesario conocer cuales son las reglas que se aplican para determinar si la proposicin completa es cierta o falsa; asimismo, al tener frmulas con dos o ms conectivas, se deben conocer las reglas de precedencia y asociatividad de las conectivas para asegurar que la evaluacin es correcta. An cuando existen algunas diferencias en la determinacin de una jerarqua de conectivas, en este texto se utilizar el siguiente orden: , , , ,

donde (negacin) es el operador con mayor jerarqua en la secuencia y (bicondicional) es el operador con el menor peso. Ejemplo: El orden de evaluacin de PQR es, utilizando parntesis, ( ( P) ( QR) ) ; es decir, primero se evala P, posteriormente QR, y finalmente se aplica al resultado de ambas evaluaciones. Al tener una frmula con la presencia de dos o mas conectivas iguales, el orden de asociatividad siempre es de izquierda a derecha. Ejemplo: El orden de evaluacin de P Q R es ( ( P Q) R) .

7 Interpretacin de frmulas
Una interpretacin de una frmula 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 de tienen 2n interpretaciones. Considerando las condiciones discutidas anteriormente, es posible determinar el valor de verdad cualquier una frmula de la lgica proposicional. Ejemplo: Teniendo que P es V, Q es F, R es V y S es V, la interpretacin para la frmula ( P Q) ( RS) es: P QR S P ( P R ( P Q) Q Q) S ( RS)

V F V VF

En general, para evaluar una frmula, se deben considerar todas sus posibles interpretaciones.

Ejemplo: La evaluacin de ( P Q) ( RS) es: P QR S P ( P R ( P Q) Q Q) S ( RS) F F F F V V V V F F F F F F F F V F F F V F F F V F F F V F F F V V V V V F F F V V V V V V V V

V V V VV V V V F V V V F VV V V F F V V F V VF V F V F F V F F VF V F F F F F V V VV F V V F V F V F VV F V F F V F F V VV F F V F V F F F VV F F F F V

De la evaluacin de una frmula, se pueden definir los siguientes conceptos: Tautologa o frmula vlida: Una frmula es una tautologa si es verdadera para todas sus posibles interpretaciones. Una tautologa tambin se conoce como una frmula vlida. Contradiccin, frmula inconsistente o frmula insatisfactible: Una frmula es una contradiccin si es falsa para todas sus posibles interpretaciones. Una contradiccin tambin se conoce como una frmula inconsistente o una frmula insatisfactible. Frmula consistente o frmula satisfactible: Una frmula que al menos tiene una interpretacin verdadera se conoce como una frmula consistente o satisfactible. Frmula invlida: Una frmula es invlida si es falsa para al menos una interpretacin. Ejemplo: La frmula ( P Q) P es una tautologa, ya que todas sus interpretaciones son verdaderas.

P Q

P ( P Q) Q P V V V V

V V V V F F F V V F F V

Ejemplo: La frmula ( P Q) P es consistente, ya que de sus interpretaciones, dos son verdaderas. P QP V V F V F F F V V F F V P ( P Q P V F V V F F V V Q)

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.

8 Frmulas equivalentes
Al evaluar las frmulas P Q y PQ se observa que todas sus interpretaciones son iguales, por lo que se dice que ambas frmulas son equivalentes. Ejemplo: P Q y PQ son frmulas equivalentes: P QP V V F V F F F V V F F V P Q PQ V F V V V F V V

Existen varias equivalencias entre frmulas de la lgica proposicional, las cuales se conocen como leyes de equivalencia. La tabla 3 muestra estas leyes. Se utiliza el smbolo Tautologa para indicar una tautologa y el smbolo Contradiccin para indicar una contradiccin. Ley equivalencia Implicacin Distribucin Asociacin de Frmula

Doble Implicacin FG = (F G)(G H) F G = FG F(GH) = (FG)(FH) F(GH) = (FG)(FH) (FG)H = F(GH) (FG)H = F(GH) Complementacin F F = Contradiccin F F = Tautologa F=F Conmutacin FG = GF FG = GF

Cero

FTautologa = Tautologa FContradiccin Contradiccin =

Identidad Idempotencia Absorcin

FContradiccin = F FTautologa = F FF = F FF = F FFQ = F F(FQ) = F F FQ = FQ (FQH) = F Q H (FQH) = F Q H

Leyes de Morgan

Tabla 3: Leyes de equivalencias para frmulas lgicas.

9 Formas normales
Las leyes de equivalencia permiten transformar frmulas de la lgica proposicional en otras frmulas ms simples de evaluar o que estn escritas en alguna forma que sea til para su manipulacin. En lgica proposicional existen dos formas para presentar frmulas que son importantes ya que permiten definir mtodos genricos de evaluacin y anlisis; estas formas se conocen como formas normales, y en particular: 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, tiene la forma: F1F2...Fn, en la cual Fn es una frmula construida por una agrupacin de tomos unidos por disyunciones; esto es Fn es P1P2...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: F1F2...Fn , en la cual Fn es una frmula construida por una agrupacin de tomos unidos por conjunciones; esto es Fn es P1P2...Pm. Ejemplo: La frmula ( PQR) ( PR)R est en su forma normal conjuntiva construida de tres funciones F1:PQR, F2: PR y F3:R. Cada funcin es una agrupacin de tomos unidos por disyunciones. Ejemplo: La frmula ( PQR) ( PR)R no est en su forma normal conjuntiva. 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). Ejemplo: La forma normal conjuntiva de P Q S es ( PS) ( QS) ya que aplicando las reglas anteriores: Se eliminan las condicionales P Q por PQ y ( PQ) S por ( PQ) S. Se pasan las negaciones a los tomos usando leyes de Morgan produciendo P QS. Se elimina la doble negacin resultando P QS. Como la conjuncin tiene mayor prioridad, se distribuye la disyuncin, quedando ( PS) ( QS) , que ya esta en la forma normal conjuntiva. Ejemplo: La forma normal disyuntiva de P Q S es P QS.

10 Consecuencias lgicas
Otro concepto importante en la lgica proposicional es el de consecuencia lgica. Uno de los aspectos a analizar en la lgica proposicional es el de determinar la validez de argumentos

representados por frmulas bien formadas. Un argumento esta formado por las premisas, axiomas o postulados y por una conclusin, objetivo o consecuencia lgica. Las premisas son proposiciones que son base para la deduccin de una conclusin o consecuencia. As, en trminos de la 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 probar 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 ( F1F2Fn) G es vlida. Teorema 2: 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 F1F2Fn G es inconsistente. Para demostrar si G es una consecuencia lgica se pueden usar tablas de verdad o aplicar las leyes de equivalencia para encontrar su forma normal. Ejemplo: U es una consecuencia lgica de ( PS) ( SU) P ya que: 1) Definicin de consecuencia lgica: Aplicando la definicin de consecuencia lgica y aplicando tablas de verdad se tiene que: P S UP V VV F V VF F V F V F V F F F F VV V F VF V F F V V S F F V V F F V ( PS) ( PS SU SU)P V V F F V V V V F V V V F V V F F F F F F

F F F V

Se observa que U es verdadero para la nica interpretacin verdadera de ( PS)( SU) P. 2) Teorema 1: Usando tablas de verdad la frmula ( ( PS) ( SU) P) U es una frmula vlida. ( PS) ( ( ( PS) ( SU) U SU) P P) U V F F F F F F F V V F V V V F V V V F V V V F V

Otra forma es transformando la frmula original en su forma normal disyuntiva: ( ( PS) ( SU) P) U ( ( PS) ( SU) P) eliminado condicional U ( ( PS) ( SU) aplicando De Morgan P) U ( ( P S) ( S aplicando De Morgan U) P) U ( ( P S) ( S U) P) aplicando De Morgan U eliminando parntesis ( P S) ( S U) PU innecesarios ( P S) P( S U) U aplicando la ley conmutativa ( ( P P) ( S P) ) distribuyendo P en P S ( S U) U ( Tautologa ( S P) ) aplicando complementacin ( S U) U en P P aplicando identidad en ( S P) ( S U) U Tautologa ( S P) ( S P) ( ( SU) ( distribuyendo U en S U

UU) ) ( S P) Tautologa )

( S P) ( SU) S PSU Tautologa PU Tautologa 2) Teorema 2:

SU) aplicando complementacin en UU aplicando identidad en ( SU) Tautologa eliminando parntesis innecesarios aplicando complementacin en SS aplicando complementacin en Tautologa PU

Usando tablas de verdad la frmula ( ( PS) ( SU) P) U es una frmula inconsistente. ( PS) ( U SU) P U V F F F F F F F V F F V V F F V V F F V V F F V (( PS) ( SU) P) U F F F F F F F F

11 Circuitos Lgicos
Debido a que una proposicin puede ser evaluada y resultar solo verdadera o falsa, se puede deducir alguna equivalencia con el lgebra booleana, que maneja solamente dos valores (0 y 1). Las propiedades del clculo proposicional son equivalentes a las del lgebra desarrollada por Boole. En el lgebra booleana, una proposicin es equivalente a una variables, y las conectivas lgicas se utilizan como compuertas lgicas. La figura 1 muestra las compuestas lgicas ms representativas de esta lgebra. Los esquemas que resultan de aplicar las compuertas lgicas se conocen como circuitos lgicos.

Figura 1: Compuertas Lgicas. Una frmula del clculo proposicional se puede representar grficamente usando compuertas lgicas. Como se observa, para representar frmulas con condicionales o bicondicionales se debe transformar la frmula para eliminarlas.

HISTORIA DE LOS LENGUAJES DE PROGRAMACION

AO 1900 s 1946 1949 1950 1951 1952 1956

LENGUAJE BINARIO Plankalkul Short Code ASM (ensamblador) A-0 AUTOCODE FORTRAN

INVENTOR Bool Konrad Zuse

DESCRIPCION primer lenguaje creado para jugar al ajedrez lenguaje traducido a mano lenguaje ensamblador fue el primer compilador E. compilador muy rudimentario sistema de Traduccin de Formulas matemticas Compilador Interprete orientado a la Inteligencia Artificial sistema de Traduccin de Formulas matemticas

Grace Hopper Alick Glennie IBM

1956 1958 1960 1961

COBOL ALGOL 58 LISP FORTRAN IV IBM

1961 1960 1964 1964

COBOL Extendido ALGOL Revisado PASCAL BASIC

61 60 Niklaus Wirth programacin estructurada Universidad de Beginners All Purpose Dartmouth Symbolic Instruction (California) Code solo anotacin

1965 1965 1965 1966 1966

SNOBOL APL COBOL 65 PL/I FORTRAN 66

IBM

sistema de Traduccin de Formulas matemticas

1967 1968 1968 1970 s 1970 1972

SIMULA 67 ALGOL 68 SNOBOL4 GW-BASIC APL/360 SMALLTALK

antiguo y clsico Basic

1972 1974 1975 1977

C COBOL 74 PL /I FORTRAN 77

Centro de pequeo y rpido Investigacin de Xerox en Palo Alto Laboratorios lenguaje con tipos Bell Lenguaje sencillo sistema de Traduccin de Formulas matemticas pequeo y rpido lenguaje con clases Lenguaje estndar para la Inteligencia Artificial

IBM

1980 s 1980 1981

SMALLTALK/V C con clases PROLOG

Digitalk Laboratorios Bell Ministerio Japons de Comercio Internacional e Industria (MITI) Ministerio de Defensa de los EE.UU

1982

ADA

lenguaje muy seguro

1984

C++

1985 1985 1986 1987 1987 1987 1988 1989 1989 1990 s 1990 s 1990 1993

AT&T Bell compilador Laboratorios (Bjarne Stroustrup) CLIPPER compilador para bases de datos QuickBASIC 1.0 Microsoft compilador de BASIC QuickBASIC 2.0 Microsoft soporte de tarjeta grfica EGA QuickBASIC 3.0 Microsoft 43 lneas con la tarjeta EGA QuickBASIC 4.0 Microsoft tarjetas Hrcules, VGA CLIPPER SUMMER compilador para bases '87 de datos QuickBASIC 4.5 Microsoft tarjeta SVGA QuickBASIC 7.1 Microsoft ultima versin de QuickBASIC ASIC v5.0 interprete tipo QBASIC shareware VISUAL C++ VISUAL BASICScript HTML XML Microsoft lenguaje de script

1993 1990 s 1990 s 1990 s 1995 1995 1995

SGML WML ASP PHP JAVA CLIPPER 5.01 GNAT ADA95

Tim Berners- para Internet Lee C. M. para Internet SperbergMcQueen Charles F. para Internet Goldfarb para Internet Microsoft para Internet para Internet Sun Microsistemas para Internet y propsito general compilador para bases de datos Ministerio de lenguaje muy seguro Defensa de los EE.UU. IBM sistema de Traduccin de Formulas matemticas

1995

FORTRAN 95

1991 1992 1993 1994 1995 1998 1990 s 2001

VISUAL VISUAL VISUAL VISUAL VISUAL

BASIC BASIC BASIC BASIC BASIC

1.0 2.0 3.0 4.0 5.0

Microsoft Microsoft Microsoft Microsoft Microsoft Microsoft

VISUAL BASIC 6.0 C++ VISUAL .NET

BASIC Microsoft

La evolucin de Visual Basic

Los lenguajes de programacin son herramientas que nos permiten crear programas y software. Entre ellos tenemos Delphi, Visual Basic, Pascal, Java, etc.. Una computadora funciona bajo control de un programa el cual debe estar almacenado en la unidad de memoria; tales como el disco duro. Los lenguajes de programacin de una computadora en particular se conoce como cdigo de mquinas o lenguaje de mquinas. Estos lenguajes codificados en una computadora especfica no podrn ser ejecutados en otra computadora diferente. Para que estos programas funcionen para diferentes computadoras hay que realizar una versin para cada una de ellas, lo que implica el aumento del costo de desarrollo. Por otra parte, los lenguajes de programacin en cdigo de mquina son verdaderamente difciles de entender para una persona, ya que estn compuestos de cdigos numricos sin sentido nemotcnico. Los lenguajes de programacin facilitan la tarea de programacin, ya que disponen de formas adecuadas que permiten ser leidas y escritas por personas, a su vez resultan independientes del modelo de computador a utilizar. Los lenguajes de programacin representan en forma simblica y en manera de un texto los cdigos que podrn ser leidos por una persona. Los lenguajes de programacin computadoras a utilizar. son independientes de las

Existen estrategias que permiten ejecutar en una computadora un programa realizado en un lenguaje de programacin simblico. Los

procesadores del lenguaje son los programas que permiten el tratamiento de la informacin en forma de texto, representada en los lenguajes de programacin simblicos. Hay lenguajes de programacin que utilizan compilador.

La ejecucin de un programa con compilador requiere de dos etapas: 1) 2) Traducir el Ejecucin programa simblico y procesamiento a cdigo de los mquina datos.

Otros lenguajes de programacin utilizan un programa intrprete o traductor, el cual analiza directamente la descripcin simblica del programa fuente y realiza las instrucciones dadas. El intrprete en los lenguajes de programacin simula una mquina virtual, donde el lenguaje de mquina es similar al lenguaje fuente. La ventaja del proceso interprete es que no necesita de dos fases para ejecutar el programa, sin embargo su inconveniente es que la velocidad de ejecucin es ms lenta ya que debe analizar e interpretar las instrucciones contenidas en el programa fuente.

LENGUAJES FORMALES
A1= {A,B,C,D,E,F,G,,Z} A2= {0,1} A3= {0,1,2,3,4,5,6,7,8,9..} A4={|,|} Juan, pedro, luis ,dasdsada 0 1 11001100 1111 2 304 12.365 x = juna {sobre A|} y = //|{sobre A4} z = 123.56 {sobre A3} |x|=4 |y|=4 |z|=6 se define la palabra vacia amperson. W (A) = { amperson , p,pp,ppp,pp.,pp.,,,,} X W (A) , y W (A) Propiedades asociativas : x (yz) = (xy) z Existencia de elementos neutros x amperson = amperson x = x

Operaciones con estructura de monoide (semigrupo con elementos neutros) La concatenacin no cumple la propiedad conmutativa: Xy = ABCCDE Yx = CDEABC | xy | = | x | + | y |

LEMA
Para toda gramtica lineal derecha existe otra gramtica lineal izquierda equivalente, que no contiene reglas de la forma A= aS, donde a Er., A En y S es el axioma de la gramtica.

TEOREMA
Para toda gramtica lineal derecha existe otra gramtica lineal izquierda equivalente.

BIBLIOGRAFIA
Copias del Instituto Tecnolgica de Minatitlan Dpto. sistemas computacionales Lenguajes y Autmatas http://lenguajes-de-programacion.com/lenguajes-deprogramacion.shtml http://www.iespana.es/iabot/ciencia/software/historia_lenguajes_progr amacion.htm http://w3.mor.itesm.mx/~logica/log9808/cmodulo2.html http://www.monografiass.com/monografiass/EpZElAkVEVkknnOnrx.ph p http://w3.mor.itesm.mx/~logica/log9808/log_prop.html http://www.terra.es/personal/jftjft/Algebra/Teoria%20de %20Conjuntos/Conjuntos.htm http://www.fciencias.unam.mx/lytc/tc/ Ing. En