You are on page 1of 26

TEORÍA DE CONJUNTOS La teoría de conjuntos es la rama de las matemáticas a la que el matemático alemán George Cantor dio su primer tratamiento

formal en el siglo XIX surgió de la necesidad de darle rigurosidad lógica a las discusiones matemáticas con el fin de eliminar la ambigüedad del lenguaje cotidiano. El concepto de conjunto es uno de los más fundamentales en matemáticas, debido a que se puede encontrar implícita o explícitamente, en todas las ramas de las matemáticas puras y aplicadas. En su forma explícita, los principios y terminología de los conjuntos se utilizan para construir proposiciones matemáticas bien claras y precisas y para explicar conceptos abstractos como el infinito. El término conjunto juega un papel fundamental en el desarrollo de las Matemáticas modernas. CONJUNTO.- Es un agregado o colección de objetos de cualquier naturaleza con características 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 agrupación, clase o colección de objetos denominados elementos del conjunto: utilizando símbolos 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. NOTACIÓN: A los conjuntos se les denota con letras mayúsculas y a sus elementos con letras minúsculas. Para especificar un conjunto se recurre usualmente a uno de los siguientes métodos: 1. Listar todos sus elementos, separarlos mediante comas y encerrarlos entre llaves { } (llamado método de enumeración, de tabulación, o "por extensión"), en donde las llaves engloba los elementos del conjunto (S) ya sea de forma explícita, escribiendo todos y cada uno de los elementos, o dando una fórmula, regla o proposición que los describa. El método "por extensión" es sumamente sencillo y no da lugar a ambigüedades. 2. Encerrar entre llaves una propiedad definitoria que exprese específicamente cuáles son los requisitos que debe satisfacer un elemento para pertenecer al conjunto (llamado método "descriptivo" o "por comprensión"). El método "por comprensión" proporciona un criterio práctico, para determinar si un elemento arbitrario pertenece a un conjunto determinado: los objetos que poseen la propiedad, y sólo ellos, pertenecen al conjunto.

EJEMPLO.- El conjunto cuyos elementos son los números 0, 7 y 14, está formado por tres elementos. Si se designa este conjunto con la letra G, queda especificado convenientemente mediante el método por "extensión", 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 símbolo genérico, es decir un indicador de elementos. Cualquier otro símbolo cumpliría la misma función; por ejemplo z, y, un asterisco, o cualquier otro símbolo genérico.(Método Descriptivo). SUBCONJUNTOS Y SUPERCONJUNTOS

OPERACIÓN DE CONJUNTOS Las operaciones son formas específicas de combinar conjuntos para formar otros conjuntos. Constituyen un sistema lógico de construcción de nuevos conjuntos en base a conjuntos dados. Estas operaciones y sus propiedades nos llevan a la Teoría de Conjuntos como un álgebra, o sea como un sistema matemático. En particular, se tratan las operaciones de complementación, intersección, unión y diferencia.

UNIÓN.- Sean P y Q dos subconjuntos cualesquiera del conjunto universal U. La unión 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 símbolos:

Esta expresión se lee así: "P unión Q es el conjunto de elementos x que pertenecen a P, a Q, o a ambos (P y Q)". PROPIEDADES DE LA UNIÓN i. ii. De la definición de unión se deduce directamente que A U B = B U A La operación de unión de conjuntos es conmutativa. Sea A un subconjunto cualquiera del conjunto universal U. La unión de A y Ø es igual al conjunto A. En símbolos A U Ø = A. Por definición de unión

iii.

Sea A un subconjunto cualquiera del conjunto universal S. La unión de A y el conjunto universal es igual al conjunto universal. En símbolos: A U S = S. Por definición de unión

La que son B. vii. Por ejemplo. Si la unión de dos conjuntos es vacía. No hay inconveniente en extender su ámbito de aplicación y definir la unión de cualquier número (finito o infinito) de conjuntos. como el conjunto formado por los elementos que pertenecen al menos a uno de ellos. Por definición de unión .. Para cualquier conjunto A se cumple que A U A = A. Se simboliza por A comprensión como sigue: . INTERSECCIÓN. es el conjunto de elementos de pertenecen a A y a B. La unión se ha definido como una operación binaria.iv.Sean A y B dos conjuntos cualesquiera del conjunto universal intersección de los conjuntos A y B ." que . La unión de un conjunto A y de su complemento A´es el conjunto universal En símbolos: A U A´= U. es el conjunto de los elementos de miembros tanto de A como de B. En símbolos: si A U B = Ø entonces A = Ø y B = Ø. La operación de unión es asociativa: A U ( B U C ) = ( A U B ) U C = A U B U C. B y C. ambos conjuntos deben serlo. cualesquiera viii. v. y se especifica por Esta expresión se lee así: "A intersección B. . se tiene: para k conjuntos . Por definición de unión de conjuntos vi. para el caso de tres conjuntos A. .

se . B y c. Se ha definido a la intersección como una operación binaria.PROPIEDADES DE LA INTERSECCIÓN i. para el caso de tres conjuntos A. Los conjuntos A y B no tienen elementos en común. En símbolos . Para cualquier subconjunto A del conjunto universal . El conjunto de interseccón no es vacío. Para cualquier conjunto A se cumple que Por definición de intersección vii. ii. En símbolos 2. se cumple que de conjuntos iii. No hay inconveniente en extender su ámbito de aplicación y definir la intersección de cualquier número (finito o infinito) de conjuntos. Para cualquier conjunto A se cumple que Por definición de intersección vi. Por definición . hay un elemento común a ambos conjuntos A y B. De la definición de intersección se deduce directamente que: La operación de intersección es conmutativa. son disjuntos o mutuamente excluyentes. como el conjunto formado por los elementos comunes a todos ellos. de intersección iv. Para cualquier subconjunto A del conjunto universal se cumple que Por definición de intersección de conjuntos v. al menos. la intersección de dos conjuntos da lugar a dos posibilidades distintas: 1. Por ejemplo.

A es el pertenecen a A. ii. La diferencia de dos conjuntos A y B es el conjunto de elementos que pertenecen a A pero no a B. En símbolos: En efecto A-B se ha definido como el conjunto de los elementos de A que no pertenecen a B. no hay elementos de A que no estén en B. la intersección de dos cualesquiera de estos conjuntos es vacía. por lo que el conjunto A . En símbolos: iv. La operación de Para los conjuntos cualesquiera intersección es asociativa: DIFERENCIA. o sea conjunto de los elementos ..define viii.A) y son mutuamente excluyentes. Si A es un subconjunto de B. De la definición de diferencia se deduce directamente que: de B que no .Sean A y B dos subconjuntos cualesquiera del conjunto universal U. (B . o sea: . iii. Los conjuntos (A . mientras que B . El conjunto diferencia se denota por A -B y se especifica por comprensión mediante la expresión PROPIEDADES DE LA DIFERENCIA i. La operación de diferencia de conjuntos no es conmutativa.B carece de elementos.B). En símbolos: .

Q y T subconjuntos cualesquiera del conjunto universal U. el complemento del conjunto vacío es el conjunto universal.Sea B un subconjunto cualquiera del conjunto universal . En símbolos: o sea (A´)´ = A. ¿ Cuál es el complemento del complemento de un conjunto? El complemento de A está formado por todos los elementos de U que no están en A´ (o sea por todos los que no quedan fuera de A) y éstos son exactamente los elementos del conjunto A. En símbolos: ii. también está contenido en la intersección . y se lo especifica por comprensión mediante la expresión simbólica: Esta expresión se lee así: "complemento de B es el conjunto de los elementos x que pertenecen a U pero no pertenecen a B". El complemento del conjunto universal U es el conjunto vacío Ø. PROPIEDADES DE LA COMPLEMENTACIÓN i.Nótese además que conjuntos son totalmente exhaustivos. . . Recíprocamente. El complemento de B con respecto a U se define como el conjunto de elementos de que no pertenecen a B. si T está contenido tanto en P como en Q. Se simboliza al complemento de B por B´. Sean P. LA INTERSECCIÓN Y LA INCLUSIÓN i. Se dice que estos COMPLEMENTO..

Los conjuntos A y B son subconjuntos de la unión A U B. Si el conjunto unión R U S es subconjunto del conjunto Q. . si un conjunto T está incluido en la intersección de dos conjuntos P y Q. el conjunto intersección símbolos: intersección . esto Resumiendo implica ambas que propiedades.En símbolos: si entonces . En . En símbolos: A su vez si dos conjuntos R y S están contenidos en un tercero Q. su unión R U S. llega a que: ii. entonces está incluido también en cada uno de ellos. tanto R como S están contenidos en Q. Sean R y S dos subconjuntos cualesquiera del conjunto universal U. S y Q subconjuntos cualesquiera del conjunto universal U. Sean R. Sean A y B dos subconjuntos cualesquiera de U. En símbolos: si Resumiendo ambas entonces propiedades se . Si R es un subconjunto de S. A su vez. se En símbolos: que A su vez. En símbolos: iii. Sean A y B dos subconjuntos cualesquiera del conjunto universal intersección . se llega a que ii. es igual al conjunto R. El conjunto está incluido tanto en A como en B. es también un subconjunto de Q: Resumiendo ambas propiedades. si el conjunto R es igual a la concluye LA UNIÓN Y LA INCLUSIÓN i.

8. b) = (c. 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. b) representa el par ordenado cuya primera componente es a y su segunda componente es b. Simbólicamente: A x B (a. 3. d) si y solo si a = c y b = d. En símbolos: si A U B = B entonces Resumiendo ambas propiedades se llega a que para . el conjunto unión es igual al conjunto B. B y C. Se representan con paréntesis y a los elementos se les denominará componentes: (a.. si A está incluido en B. son subconjuntos de un conjunto I: 1. 9. 6. 5. entonces el otro es subconjunto del primero.. B ∪ A B = B ∩ A B ) ∪ C = A A ∪∅ = A A ∩∅ = ∅ ∩C = A ∩( B ∩C) ∪ (B ∪ C ) A ∪ ( B ∩ C ) = ( A ∪ B) ∩ ( A ∪ C ) A∪ I = I A∩ I = A . 2. 4. 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.En símbolos: Dados dos conjuntos no vacíos A y B. si la unión de dos conjuntos no vacíos es igual a uno de ellos. Para que dos pares ordenados sean iguales sus componentes deben serlo: (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. A su vez. 7. ( A ∩B ) ∪ ∩ (A ∪ A A B . .

10. A ∩ A' = ∅ B' 13. ( A ∪B )' = A'∩ 14. es útil disponer de un sistema de representación gráfica que permita visualizar lo que ocurre e interpretar con diagramas las deducciones lógicas correspondientes. en el que los puntos interiores a la circunferencia representan al conjunto A. con las relaciones y operaciones entre ellos. Ilustraremos la utilidad de los diagramas de Venn. ( A ∩B )' = A'∪B ' 15. En un diagrama de Venn. Para un subconjunto A del conjunto universal siguiente: . y los puntos de rectángulo exteriores al circulo representan al conjunto A. A ∪ A = A ∩ A = A 16. A − ( B ∪ C ) = ( A − B ) ∩ ( A − C ) DIAGRAMA DE VENN Al trabajar con conjuntos. ( A')' = A 17. y los puntos de rectángulo exteriores al círculo representan al conjunto complementario A´. considerando diversos ejemplos de representación gráfica. ( A − B ) − C = A − ( B ∪ C ) 19. El procedimiento usual consiste en dibujar rectángulos. . Si A ∩B = ∅. entonces ( A ∪ B ) − B = A 20. círculos u otras figuras geométricas. A ∪ A' = I 12. el diagrama de Venn es el . según un procedimiento que se conoce como "diagramas de Venn-Euler". Los subconjuntos del conjuntos universal se representan por los puntos interiores de círculos (u otras regiones cerradas) trazados dentro del rectángulo. i. A − B = A ∩ B' 18. A ∩ ( B ∪ C ) = ( A ∩ B ) ∪ ( A ∩ C ) 11. el conjunto de puntos interiores de un rectángulo se toma como el conjunto universal.

en el tercero se observa el caso de inclusión conjuntos con algunos elementos comunes. . y en el último dos Para representar las operaciones entre conjuntos. en el segundo. Para dos subconjuntos A y B del conjunto universal diagramas: .A. . y en el último la diferencia B . En el primero. se tienen los siguientes diagramas: . se tiene la unión A U B. en el tercero. la zona rayada representa la intersección .ii. la diferencia A .B. en el segundo se representan el caso de inclusión . se tienen los siguientes En el primero se tienen dos conjuntos disjuntos.

También es necesario observar y comprobar algunas de las propiedades de esas operaciones. las propiedades . las propiedades . se aprecian en la figura BIb. las propiedades . se aprecian en la figura BLa. se aprecian en la figura BH. las propiedades . las propiedades . se aprecian en la figura BLb. Por ejemplo. .

B y C. independientemente de cuáles sean las especificaciones de U.se observan en los diagramas siguientes: Finalmente. aplicando ciertas operaciones y sus propiedades. II. de idempotentes . Entonces. Ahora resumiremos en un cuadro único las propiedades más importantes a las que obedecen las operaciones entre conjuntos. para representar gráficamente el caso de 3 subconjuntos del conjunto universal. son usuales los siguientes diagramas: PROPIEDADES DEL ÁLGEBRA DE CONJUNTOS Ya hemos aprendido cómo obtener nuevos conjuntos a partir de subconjuntos dados del conjunto universal U. A. B y C subconjuntos cualesquiera no vacíos de un conjunto universal U. de identidad . se verifican las siguientes leyes de los conjuntos: I. Sean A.

. de distributividad . de complementación . de conmutatividad V. III. Neutros A ∩E = A A ∪∅ = A . VII. de "De Morgan" VIII. de asociatividad ( A ∪ B) ∪C ≡ A ∪ ( B ∪C ) ( A ∩ B) ∩C ≡ A ∩ ( B ∩C ) A ∪ ( B ∩C ) ≡ A ∩ ( B ∪C ) VI. IV.

.Tienen los conectivos y/ o ... estas sentencias se conocen como sentencias declarativas o simplemente proposiciones.IX.. si es una consecuencia lógica de dicho conjunto. La lógica proposicional (o cálculo proposicional) tiene el propósito de simbolizar cualquier tipo de razonamiento para su análisis y tratamiento..si y solo si. Propiedad de Negación A ∪ A' = E A ∩ A' = ∅ X.. PROPOSICIÓN. sentencia. “.” Otro aspecto importante es el de determinar si una proposición esta construida (o puede ser deducida) a partir de un conjunto de proposiciones.La lógica proposicional trabaja con sentencias u oraciones a las cuales se les puede asociar un valor de verdad (cierto o falso). Ejemplo. juicio. Absorbentes A ∪E = E A ∩∅ = ∅ XI. Específicamente. la negación. pensamiento. Proposición Simple o Atómica. oración. para ..entonces”.El día está soleado Las proposiciones pueden ser simples o compuestas.. es decir.. Doble Negación ( A')' = A XII. Proposición Molecular o Compuesta. Para que sea una proposición debemos asignarle un “valor” de verdadero falso y debe ser en forma declarativa. Simplificativas A ∪( A ∩ B) = A A ∩( A ∪ B) = A LÓGICA PROPOSICIONAL Introducción...Son aquellas que no tienen los conectivos y /o o una negación.Es una idea. “si...

. no obstante. e. es decir usa proposiciones. ya . pero en este curso se identifica a cada una de ellas con un letra mayúscula (o una cadena de letras mayúsculas). Los podemos encontrar expresados como: al menos P o Q. lo mismo que.* . el otro pero no ambos).&.La disyunción tiene dos significados: el exclusivo (uno. de otra manera. aunque. |. estos elementos se conocen como conectivas lógicas. aún.. aún así. sea que. al lógica proposicional usa sentencias declarativas a las que se puede asociar un valor de verdad. Su tabla de verdad es la siguiente: P V V F F Q V F V F P∧ Q V F F F Conectivo Disyunción “O”. en otro caso. como se muestra a continuación: Conectivo Conjunción “Y”. también. el inclusivo (uno. pero..Se puede encontrar expresada como: además. coma (. +. igualmente. como. sin embargo. No existe una notación generalmente utilizada para representar proposiciones. Las conectivas lógicas usadas en la lógica proposicional son cinco y son representadas simbólicamente de varias formas. tanto. Símbolos más asociados: ∧. incluye. Símbolos más asociados: ∨ Su tabla de verdad es: “O” Exclusivo “O” Inclusivo . el otro u ambos positivos).). Conectivas Lógicas.La construcción de fórmulas compuestas requiere del uso de elementos que permitan establecer una relación entre los átomos que la forman.simbolizar razonamiento. a pesar de que. elija entre. como mínimo P o Q.

Tabal de verdad: P V V F F Q V F V F P→ Q V F V V . Q si P. P solamente si Q..P si Q. solo si Q. Símbolos asociados: ¬ .P V V F F Q V F V F P∀ Q F V V F P V V F F Q V F V F P∨ Q V V V F Conectivo Negación (No). P es condición suficiente para que Q.. Q es condición necesaria para que P. Sus símbolos son: ↔ Tabla de verdad: P↔ P Q Q V V V .. =.La negación cambia el valor de verdad. Su símbolo es.P → Q. Q con tal de que P.. Conectivo Bicondicional (Si y solo si). dado que P entonces se asigna que Q. Q siempre que P. entonces). . Tabla de verdad: P P V F F V ¬ Conectivo Condicional (Si . → ..

Cuando una proposición molecular es siempre falsa para cualquier asignación de valores de certeza de las proposiciones atómicas que la constituyen. Contingencia.Es una asignación de valores de verdad a un conjunto de átomos: para una fórmula con dos átomos se tienen dos posibles interpretaciones. después la condicional y por último el bicondicional. Fórmula Consistente o Satisfactible. pero no viceversa.V F F F V F F F V Jerarquía de Conectivas.. el orden de asociatividad siempre será de izquierda a derecha. para una con tres se tienen ocho interpretaciones.. Interpretación de fórmulas. Al tener una fórmula con la presencia de dos o más conectivas iguales. y en general para una fórmula con n átomos se tienen 2n interpretaciones.La jerarquía de conectivas no es más que el orden con el que se utilizaran las conectivas ya que unas tienen mayor valor jerárquico que otras y su jerarquía es la siguiente: negación es el operador con mayor jerarquía en la secuencia..Una fórmula que al menos tiene una interpretación verdadera. Cuando una proposición molecular es siempre cierta para cualquier valor que se le asigne a las proposiciones atómicas que la constituye.Si ellos tienen el mismo valor de certeza para las mismas condiciones de valores de certeza de las proposiciones atómicas que la constituyen.... Fórmula inconsistente. entonces es consistente. Tautología o fórmula válida.  Una fórmula es consistente si y solo si existe por lo menos una interpretación sobre la cual la fórmula es verdadera. se tiene que:  Una fórmula es válida si y solo si su negación es inconsistente.  Si una fórmula es válida. Contradicción.Una fórmula es tautología si es verdadera para todas sus posibles interpretaciones..  Una fórmula es inconsistente si y solo si su negación es válida. fórmula insatisfactible o Absurdo. después teniendo el mismo nivel de potencia siguen la disyunción y conjunción. Proposiciones Equivalentes.Cuando una proposición molecular contiene los dos valores de cierto y falso. Como consecuencia de las definiciones anteriores.  Una fórmula es inválida si y solo si existe por lo menos una interpretación sobre la cual la fórmula es falsa. .

En ambos casos n y m pueden ser mayores o iguales a 1. es decir. ∧ Fn en la cual Fn es una fórmula construida por una agrupación de átomos unidos por disyunciones. pero no viceversa. Ley de Equivalencia Fórmula F ↔ G = ( F → G ) ∧ (G → H ) Doble Implicación F → G = ¬F ∨ G Implicación F ∨ (G ∧ H ) = ( F ∨ G ) ∧ ( F ∨ H ) Distribución Asociación Complementación Conmutación Cero Identidad Idempotencia Absorción Leyes de Morgan F ∧ (G ∨ H ) = ( F ∧ G ) ∨ ( F ∧ H ) ( F ∨ G ) ∨ H = F ∨ (G ∨ H ) ( F ∧ G ) ∧ H = F ∧ (G ∧ H ) F ∧ ¬F = Contradicción F ∨ ¬F = Tauto log ía ¬¬F = F F ∨G = G ∨ F F ∧G = G ∧ F F ∨Tauto log ía = Tauto log ía F ∧ Contradicción = Contradicción F ∨Contradicción = F F ∧Tauto log ía = F F ∨F = F F ∧F = 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.. La siguiente tabla muestra las leyes. las cuales se conocen como leyes de equivalencia.. ∨ Pm . si tiene la forma: F1 ∧ F2 ∧. .... entonces es inválida.Existen varias equivalencias entre fórmulas de la lógica proposicional. Fórmulas Equivalentes.. Se utiliza el símbolo Tautología para indicar una tautología y el símbolo Contradicción para indicar una contradicción. Forma Normal Conjuntiva.En lógica proposicional son las formas para presentar fórmulas que son importantes debido a que permiten definir métodos genéricos de evaluación y análisis y de forma particular reciben el nombre de forma normal conjuntiva y forma normal disyuntiva. esto es Fn es P1 ∨ P2 ∨.Una fórmula está en su forma normal conjuntiva (FNC) si es una conjunción de disyunciones. Si una fórmula es inconsistente..

. si y solo si.. ∨ Fn .Esta formado por las premisas. Para comprobar si una fórmula es una consecuencia lógica de un grupo de fórmulas se tienen dos métodos.Fn si y solo si la fórmula F1 ∧ F2 ∧. G es una consecuencia lógica de F1... al ser verdaderas las premisas G siempre es verdadera... tiene la forma: F1 ∨ F2 ∨.. esto es Fn es P1 ∧ P2 ∧..Fn y otra llamada G.Teniendo un grupo de fórmulas F1. Aplicar las otras leyes para encontrar la forma normal (las principales leyes que se aplican son las distributivas). ∧ Pm .... En términos de lógica proposicional. 3. G es ua consecuencia lógica de F1.Fn si y solo si la fórmula ( F1 ∧ F2 ∧ .F2. Consecuencias lógicas. PREMISAS. una consecuencia lógica es aquella fórmula (G) que es derivada de un grupo de fórmulas (F) cumpliendo la restricción de ser verdadera para todas las interpretaciones verdaderas del grupo de fórmulas (F).. usando las leyes de Morgan y la eliminación de dobles negaciones.. Esto es G es una consecuencia lógica de las premisas F. Para poder transformar cualquier fórmula a su forma normal (conjuntiva o disyuntiva).... Sustituir todas las ocurrencias de conectivas → y ↔ en la fórmula usando las correspondientes leyes de equivalencia.. objetivo o consecuencia lógica. que se producen a partir de los conceptos de validez e inconsistencia.Son proposiciones que son base para la deducción de una conclusión o consecuencia. se puede deducir alguna equivalencia con el álgebra boolenana. ∧ Fn ) → G es válida.. Circuitos Lógicos. Asegurarse que las negaciones afecten solo a átomos. es necesario aplicar la siguiente secuencia de operaciones de equivalencia sobre la fórmula original: 1..Teniendo un grupo de fórmulas F 1.Forma Normal Disyuntiva.. Las propiedades del cálculo proposicional son equivalentes a la del álgebra booleana desarrollada por Boole.Una fórmula está en su forma normal disyuntiva (FND) si es una disyunción de conjunciones.. F2 . 2.. ARGUMENTO. Teorema 2.Uno de los aspectos a analizar en la lógica proposicional es el de determinar la validez de argumentos representados por fórmulas bien formadas. axiomas o postulados y por una conclusión. en la cual Fn es una fórmula construida por una agrupación de átomos unidos por conjunciones.Debido a que una proposición puede ser evaluad y resultar solo verdadera o falsa.. Estos métodos se conocen en forma de Teoremas: Teorema 1.. F2.. es decir..Fn y otra llamada G. F2. que maneja solamente dos valores (0 y 1). .Fn ∧ ¬G es inconsistente.

PRONTUARIO DE LÓGICA MATEMÁTICA IDEMPOTENCIA: p ∧q ⇔ p p ∨q ⇔ p LEY DE DOBLE NEGACIÓN: LEYES DE CONMUTACIÓN: ( p ' )' ⇔ p p ∧q ⇔ q ∧ p p ∨q ⇔q ∨ p p ↔q ⇔q ↔ p p ∧ (q ∧ r ) ⇔ ( p ∧ q) ∧ r LEYES DE ASOCIACIÓN: 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) p ∧ (q ∨ r ) ⇔ ( p ∧ q ) ∨ ( p ∧ r ) (q ∨ r ) ∧ p ⇔ (q ∧ p ) ∨ (r ∧ p) LEYES DE DISTRIBUCIÓN: LEYES DE ABSORCIÓN: p ∨ ( p ∧ q) ⇔ p p ∧ ( p ∨ q) ⇔ p ( p ∨q )' ⇔ p '∧ q' ( p ∧q )' ⇔ p '∨ q' LEYES DE DUALIDAD (LEYES DE DE MORGAN): p ∨V p ∧V p ∨F p ∧F ⇔V ⇔p ⇔p ⇔F LEYES DE IDENTIDAD: LEYES DE COMPLEMENTO: p ∨ p ' ⇔V p ∧ p ' ⇔F V ' ⇔F F ' ⇔V .En el álgebra booleana. una proposición es equivalente a una variable y las conectivas lógicas se utilizan como compuertas lógicas. Lo esquemas que resultan de aplicar las compuertas lógicas se conocen como circuitos lógicos.

TAUTOLOGÍAS: 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 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 NEGACIÓN Y CONJUNCIÓN: .

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 NEGACIÓN Y DISYUNCIÓN: 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 PROGRAMACIÓN AÑO LENGUAJE 1900s BINARIO 1946 1949 1950 1951 1952 1956 1956 1958 1960 1961 1961 1960 1964 1964 1965 1965 1965 1966 Plankalkul Short Code ASM (ensamblador) A-0 AUTOCODE FORTRAN COBOL ALGOL 58 LISP FORTRAN IV COBOL 61 Extendido ALGOL 60 Revisado PASCAL BASIC SNOBOL APL COBOL 65 PL/I solo anotación Niklaus Wirth Universidad de Dartmouth (California) programación estructurada Beginners All Purpose Symbolic Instruction Code IBM Interprete orientado a la Inteligencia Artificial sistema de TRAducción de FORmulas matemáticas Grace Hopper Alick E. Glennie IBM INVENTOR Bool Konrad Zuse DESCRIPCION primer lenguaje creado para jugar al ajedrez lenguaje traducido a mano lenguaje ensamblador fue el primer compilador compilador muy rudimentario sistema de TRAducción de FORmulas matemáticas Compilador .

AT&T Bell Laboratories (Bjarne Stroustrup) Microsoft® Microsoft® Microsoft® Microsoft® Microsoft® Microsoft® Centro de Investigación de Xerox en Palo Alto Laboratorios Bell antiguo y clásico BASIC pequeño y rápido lenguaje con tipos Lenguaje sencillo sistema de TRAducción de FORmulas matemáticas pequeño y rápido lenguaje con clases Lenguaje estándar para la Inteligencia Artificial lenguaje muy seguro compilador compilador para bases de datos Compilador de BASIC soporte de tarjeta gráfica EGA 43 líneas con la tarjeta EGA tarjetas Hercules.UU.0 CLIPPER SUMMER '87 QuickBASIC 4.0 QuickBASIC 4.1966 1967 1968 1968 1970 1972 1972 1974 1975 1977 1980 1981 FORTRAN 66 SIMULA 67 ALGOL 68 SNOBOL4 IBM sistema de TRAducción de FORmulas matemáticas 1970s GW-BASIC APL/360 SMALLTALK C COBOL 74 PL /I FORTRAN 77 C con clases PROLOG IBM Digitalk Laboratorios Bell Ministerio Japonés de Comercio Internacional e Industria (MITI) Ministerio de Defensa de los EE.0 QuickBASIC 3. Goldfarb Microsoft® lenguaje de script para internet para internet para internet para internet para internet para internet 1990s WML 1990s ASP 1990s PHP .5 QuickBASIC 7. M.1 BASIC v5. SperbergMcQueen Charles F.0 QuickBASIC 2. VGA compilador para bases de datos tarjeta SVGA ultima versión de QuickBASIC interprete tipo QBASIC shareware 1980s SMALLTALK/V 1982 1984 1985 1985 1986 1987 1987 1987 1988 1989 1989 ADA C++ CLIPPER QuickBASIC 1.0 1990s VISUAL C++ 1990s VISUAL BASIC Script 1990 1993 1993 HTML XML SGML Microsoft® Tim Berners-Lee C.

NET Sun Microsystems Ministerio de Defensa de los EE.0 VISUAL BASIC 4.0 VISUAL BASIC 2. IBM Microsoft® Microsoft® Microsoft® Microsoft® Microsoft® Microsoft® Microsoft® para internet y propósito general compilador para bases de datos lenguaje muy seguro sistema de TRAducción de FORmulas matemáticas 1990s C# La evolución de Visual Basic .0 VISUAL BASIC 6.UU.01 GNAT ADA95 FORTRAN 95 VISUAL BASIC 1.0 VISUAL BASIC 5.0 VISUAL BASIC 3.0 VISUAL BASIC .1995 1995 1995 1995 1991 1992 1993 1994 1995 1998 2001 JAVA CLIPPER 5.