La complementacin se le denomina al conjunto de elementos del
conjunto universal que no pertenecen al subconjunto A. As
tenemos en el siguiente caso que el complemento de A es A.
La interseccin es lo que se conoce en el clculo proposicional como el conector conjuncin. Para entender la interseccin, partimos del supuesto de que A y B son subconjuntos del conjunto universal.
La interseccin de los conjuntos A y B, es el conjunto de elementos que son miembros tanto de A como de B, es el conjunto formado por los elementos comunes de ambos conjuntos.
La interseccin se simboliza: A n B (A interseccin B) y se grfica de la siguiente forma:
La unin es lo que se conoce en el clculo proposicional como el conector disyuncin. Para entender la unin, partimos del supuesto de que A y B son subconjuntos del conjunto universal.
La unin de los subconjuntos A y B es el conjunto de elementos que pertenece por lo menos a uno de los conjuntos A B.
La unin se simboliza: AU B (A unin B) y se grfica de la siguiente forma:
A A A B B A
Finalmente para entender la diferencia de conjuntos, partimos del supuesto de que A y B son dos subconjuntos cualesquiera del conjunto universal. 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 grafica de la siguiente forma:
O bien, la expresin B A se representa de esta manera:
Uno de los principales fines que persigue la lgica de conjuntos, es establecer el orden de los X elementos que pueden integrar un conjunto.
Como se demuestra: (A U B)' = A' Interseccion B' y (A interseccion B)' = A' U B'? x en (AUB) si y solo si x no esta en AUB si y solo si x no esta en A y x no esta en B si y solo si x esta en el comlemento de A y x esta en el complemento de B es decir x esta en A y x esta en B osea x esta en Ainteseccion B
Esa es la primera parte
x en (A inter B) si y solo si x no esta en A inter B si y solo si x no esta en A y x no esta en B si y solo si x esta en el comlemento de A o x esta en el complemento de B es decir x esta en A o x esta en B osea x esta en AU B
Esa es la segunda parte parte Otras respuestas (4) te dare un ejemplo sencillo la union de un conjunto son todos los elementos que estan dentro de los elemntos de AY DE B A(1,2,3,4) B(2,6,7,8) ahora AUB=(1,2,3,4,,6,7,8
para encontrara la interseccion de A ^ B=(2,2) SE INTERCEPTAN PORQUE 2,2 SE REPITEN EN EL MISMO CONJUNTO EN A Y B ESO ES UNION E NTERSECCION MARIO BUNGE filosofo de la ciencia, nos dice que la investigacin cientfica obtiene verdades parciales y es capaz de corregirse as misma Nos dice que la nica critica que debe recibir la ciencia es la interna lo que implica necesariamente que los crticos de determinadas teoras cientficas, antes de criticarlas deben estudiarlas.
Diagrama de VENN EULER
El matemtico Suizo Leonhard Euler utilizaba crculos slo para representar proposiciones, exhibindose las relaciones de inclusin y exclusin relativas a las clases (conjuntos).
Al lgico y matemtico del siglo pasado John Venn se debe un mtodo intuitivo para decidir la validez de argumentos del tipo del silogismo. Aunque este mtodo desde el punto de vista lgico es limitado, es mucho ms simple y ms potente que las numerosas y tediosas reglas que formul Aristteles con el mismo fin. La superioridad de los llamados Diagramas de Venn en simplicidad y claridad se debe en gran medida, a la incorporacin de mtodos de algebra de conjuntos a la lgica, que es una de las notas ms saltantes de los desarrollados modernos de esta disciplina.
El mtodo de Venn consiste bsicamente en representar los trminos de las inferencias mediante crculos. Se postula que uno de tales crculos encierra al conjunto de individuos que tienen la propiedad denotada por un trmino dado. Esta postulacin resulta correcta porque uno de los axiomas de la teora de conjuntos, el de comprehensin, afirma que una propiedad determina inequvocamente un conjunto.
Las ideas de conjunto, subconjunto, relaciones, operaciones, etc. Se ilustran mediante los diagramas de Venn. El fue quien ilustr al conjunto universal (U), mediante un rectngulo, usando regiones planas limitadas por curvas cerradas (elipses, crculos etc, generalmente) que se usan para representar a los conjuntos que intervienen en la relacin de clases. Ejemplo. Los elementos de A estn dentro de la elipse y los que no estn en A (Ac) estn fuera de la elipse. Ejemplo. Regin (1): Son los elementos que no estn en A ni en B. Regin (2): Son los elementos que pertenecen slo a A. Regin (3): Son los elementos comunes de A y B. Regin (4): Son los elementos que pertenecen slo a B.
Ejemplo con el diagrama de Venn-Euler
Cuntas personas no tomaban ni t ni caf? Debe interpretarse el lenguaje coloquial en que se habla y no una doble negacin lgica.
En el diagrama que colocamos a continuacin, se han volcado los datos obtenidos en una encuesta, realizada a personas, donde se les pregunt si tomaban t o caf. Los nmeros que aparecen se refieren a las cantidades de personas que respondieron a la pregunta en las diversas formas posibles: solamente t, t y caf, ninguna de las dos bebidas, etc.
Resolucin: En base a estos datos responderemos a las siguientes preguntas: Cuntas personas tomaban t? Respuesta: 6 personas. a. Cuntas personas tomaban caf? Respuesta: 9 personas. b. Cuntas personas tomaban t y caf? Respuesta: 4 personas. c. Cuntas personas no tomaban ninguna de las dos bebidas? Respuesta: 1 persona. d. Cuntas personas no tomaban t? Respuesta: 6 personas. e. Cuntas personas no tomaban caf? Respuesta: 3 personas. f. Cuntas personas tomaban por lo menos una de esas dos bebidas? Respuesta: 11 personas. g. Cuntas personas tomaban slo una de esas dos bebidas? Respuesta: 7 personas. h. Cuntas personas tomaban slo caf? Respuesta: 5 personas. i. Cuntas personas tomaban alguna de esas bebidas? Respuesta: 11 personas.
Te caf
1 2 5 4 h. Cuntas personas tomaban slo caf? Respuesta: 5 personas. i. Cuntas personas tomaban alguna de esas bebidas? Respuesta: 11 personas.
REFERENCIAS
Bunge, Mario (1971), La Ciencia, su Mtodo y su Filosofa, Ediciones Siglo Veinte, Buenos Aires,
Ramrez, Tulio (1988). Ciencia, mtodo y sociedad. Editorial Panapo de Venezuela
Estany, Anna (1990). Modelos de cambio cientfico. Barcelona: Crtica,