jueves, 30 de agosto de 2012

                                                                                                                             lógica   matemática 

                                                                         conjuntos


La palabra conjunto generalmente la asociamos con la idea de agrupar objetos, por ejemplo un conjunto de discos, de libros, de plantas de cultivo y en otras ocasiones en palabras como hato, rebaño, piara, parcelas, campesinado, familia, etc., es decir la palabra conjunto denota una colección de elementos claramente entre sí, que guardan alguna característica en común. Ya sean números, personas, figuras, ideas y conceptos.
En matemáticas el concepto de conjunto es considerado primitivo y ni se da una definición de este, sino que se trabaja con la notación de colección y agrupamiento de objetos, lo mismo puede decirse que se consideren primitivas las ideas de elemento y pertenencia. Por ejemplo el conjunto de las letras de alfabeto; a, b, c, ..., x, y, z. que se puede escribir así:

{ a, b, c, ..., x, y, z}
Como se muestra el conjunto se escribe entre llaves ({}) , o separados por comas (,).


OPERACIONES CON CONJUNTOS


UNION
La unión de dos conjuntos A y B la denotaremos por A È B y es el conjunto formado por los elementos que pertenecen al menos a uno de ellos ó a los dos. Lo que se denota por:
È B = { x/x Î A ó x Î B }

Ejemplo: Sean los conjuntos A={ 1, 3, 5, 7, 9 } y B={ 10, 11, 12 }
È B ={ 1, 3, 5, 7, 9, 10, 11, 12 }



INTERSECCION
Sean A={ 1, 2, 3, 4, 5, 6, 8, 9 } y B={ 2, 4, 8, 12 }
Los elementos comunes a los dos conjuntos son: { 2, 4, 8 }. A este conjunto se le llama intersección de A y B; y se denota por A Ç B, algebraicamente se escribe así:
A Ç B = { x/x Î A y x Î B }
Y se lee el conjunto de elementos x que están en A y están en B.

Ejemplo:
Sean Q={ a, n, p, y, q, s, r, o, b, k } y P={ l, u, a, o, s, r, b, v, y, z }
Ç P={ a, b, o, r, s, y }




CONJUNTO VACIO
Un conjunto que no tiene elementos es llamado conjunto vacío ó conjunto nulo lo que denotamos por el símbolo Æ .

Por ejemplo:
Sean A={ 2, 4, 6 } y B={ 1, 3, 5, 7 } encontrar A Ç B.
Ç B= { }
El resultado de A Ç B= { } muestra que no hay elementos entre las llaves, si este es el caso se le llamará conjunto vacío ó nulo y se puede representar como:
Ç B=Æ



CONJUNTOS AJENOS
Sí la intersección de dos conjuntos es igual al conjunto vacío, entonces a estos conjuntos les llamaremos conjuntos ajenos, es decir:
Si A Ç B = Æ entonces A y B son ajenos.




COMPLEMENTO
El complemento de un conjunto respecto al universo U es el conjunto de elementos de U que no pertenecen a A y se denota como A' y que se representa por comprehensión como:
A'={ x Î U/x y x Ï A }

Ejemplo:
Sea U = { 1, 2, 3, 4, 5, 6, 7, 8, 9 }
A= { 1, 3, 5, 7, 9 } donde A Ì U
El complemento de A estará dado por:
A'= { 2, 4, 6, 8 }




DIFERENCIA
Sean A y B dos conjuntos. La diferencia de A y B se denota por A-B y es el conjunto de los elementos de A que no están en B y se representa por comprehensión como:
A - B={ x/x Î A ; X Ï B }

Ejemplo:
Sea A= { a, b, c, d } y
B= { a, b, c, g, h, i }
A - B= { d }
En el ejemplo anterior se observa que solo interesan los elementos del conjunto A que no estén en B. Si la operación fuera B - A el resultado es
B – A = { g, h, i }
E indica los elementos que están en B y no en A.




DIAGRAMAS DE VENN
Los diagramas de Venn que de deben al filósofo inglés John Venn (1834-1883) sirven para encontrar relaciones entre conjuntos de manera gráfica mediante dibujos ó diagramas.Esencialmente, se conoce al diagrama de Venn como una forma de mostrar de manera gráfica, una agrupación de elementos según los conjuntos, siendo representado cada conjunto con una circunferencia. Esta clase de gráficos se emplean en la Teoría de Conjuntos, dentro de las matemáticas modernas y nos explica el funcionamiento de un conjunto de elementos al realizar alguna operación con ellos.
La manera de representar el conjunto Universal es un rectángulo, ó bien la hoja de papel con que se trabaje.
Un ejemplo de la representación del conjunto universal se muestra como:

                       

                                                      tabla de verdad




Fue desarrollada por Charles Sanders Peirce por los años 1880, pero el formato más popular es el que introdujo Ludwig Wittgenstein en su Tractatus logico-philosophicus, publicado en 1921



valor  verdadero
El valor verdadero se representa con la letra V, si se emplea notación numérica se expresa con un uno: 1, en un circuito eléctrico, el circuito esta cerrado.

valor falso
El valor falso se representa con la letra F, si se emplea notación numérica se expresa con un cero: 0, en un circuito eléctrico, el circuito esta abierto

variables

Para una variable lógica ABC, ... que pueden ser verdaderas V, o falsas F, los operadores fundamentales se definen así:

   \begin{array}{|c||c|}
      A &  A \\
      \hline
      V & V \\
      F & F \\
      \hline
   \end{array}


La negación es un operador que se ejecuta, sobre un único valor de verdad, devolviendo el valor contradictorio de la proposición considerada.

   \begin{array}{|c||c|}
      A & \neg A \\
      \hline
      V & F \\
      F & V \\
      \hline
   \end{array}

conjunciones 
La conjunción es un operador que opera sobre dos valores de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando ambas proposiciones son verdaderas, y falso en cualquier otro caso. Es decir es verdadera cuando ambas son verdaderas
La tabla de verdad de la conjunción es la siguiente:
\begin{array}{|c|c||c|}
           A & B & A \and B \\
      \hline
      V & V & V \\
      V & F & F \\
      F & V & F \\
      F & F & F \\
      \hline
   \end{array}

disyunciones 
La disyunción es un operador que opera sobre dos valores de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando una de las proposiciones es verdadera, o cuando ambas lo son, y falso cuando ambas son falsas.
La tabla de verdad de la disyunción es la siguiente:
\begin{array}{|c|c||c|}
      A & B & A \or B \\
      \hline
      V & V & V \\
      V & F & V \\
      F & V & V \\
      F & F & F \\
      \hline
   \end{array}

Implicación o Condicional

El condicional material es un operador que opera sobre dos valores de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad falso sólo cuando la primera proposición es verdadera y la segunda falsa, yverdadero en cualquier otro caso.
La tabla de verdad del condicional material es la siguiente:
\begin{array}{|c|c||c|}
      A & B & A \to B \\
      \hline
      V & V & V \\
      V & F & F \\
      F & V & V \\
      F & F & V \\
      \hline
   \end{array}

Bicondicional

El bicondicional o doble implicación es un operador que funciona sobre dos valores de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando ambas proposiciones tienen el mismo valor de verdad, y falso cuando sus valores de verdad difieren.
La tabla de verdad del bicondicional es la siguiente:





   \begin{array}{|c|c||c|}
      A & B & A \leftrightarrow B \\
      \hline
      V & V & V \\
      V & F & F \\
      F & V & F \\
      F & F & V \\
      \hline
   \end{array}


No hay comentarios:

Publicar un comentario