conjuntos
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í:
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:
A È B = { x/x Î A ó x Î B }
Ejemplo: Sean los conjuntos A={ 1, 3, 5, 7, 9 } y B={ 10, 11, 12 }
A È B ={ 1, 3, 5, 7, 9, 10, 11, 12 }
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 }
Q Ç P={ a, b, o, r, s, y }
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.
A Ç 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:
A Ç B=Æ
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.
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.
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.
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 A, B, C, ... que pueden ser verdaderas V, o falsas F, los operadores fundamentales se definen así:
- La negación es un operador que se ejecuta, sobre un único valor de verdad, devolviendo el valor contradictorio de la proposición considerada.
- 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 verdaderasLa tabla de verdad de la conjunción es la siguiente:
- 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:
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:
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:
