Grupo N 4:

DIAGRAMAS DE VENN Son ilustraciones usadas en la rama de la Matemtica y Lgica de clases conocida como teora de conjuntos. Estos diagramas se usan para mostrar grficamente la agrupacin de cosas elementos en conjuntos, representando cada conjunto mediante un crculo o un valo. La posicin relativa en el plano de tales crculos muestra la relacin entre los conjuntos. Por ejemplo, si los crculos de los conjuntos A y B se solapan, se muestra un rea comn a ambos conjuntos que contiene todos los elementos contenidos a la vez en A y en B. Si el crculo del conjunto A aparece dentro del crculo de otro B, es que todos los elementos de A tambin estn contenidos en B. A. LGICA DE CLASES: 1. Nocin de clase o conjunto: Cantidad de objetos que tienen una cualidad comn. Ejemplos: sillas, personas, alumnos, virus, etc. 2. Delimitacin de una clase o conjunto: Existen dos formas: 2.1 Por extensin: nombrando cada uno de sus objetos. Ejemplo: A = {La Esperanza, Trujillo, Florencia de Mora, etc.} 2.2 Por comprensin: describiendo la cualidad comn. Ejemplo: A = {Distritos de Trujillo} B. ELEMENTOS PARA DIAGRAMACIN: El sombreado: Indicar que la zona o conjunto est vaca. La x: Indicar que en la zona o conjunto hay elementos. D. PROPOSICIONES ATPICAS: 1. PROPOSICIN: Todo no S en no P Mediante el lgebra de Boole S P = Tambin se interpretan como No existen elementos de S que estn en P.

3. Particular afirmativa: i Queda representada por el Diagrama de Venn.

Mediante el lgebra de Boole S P Tambin se interpretan como Existen elementos de S que estn en P.

4) Particular Negativa: o Queda representada por el Diagrama de Venn. Mediante el lgebra de Boole S P Tambin se interpretan como Existen elementos de S que no estn en P.

C. SON 4 LAS PROPOSICIONES CATEGORICAS: 1. Universal afirmativa: a Queda representada por el diagrama de Venn. Mediante el lgebra de Boole S P = Tambin se interpretan como No existen elementos de S que no estn en P. La zona sombreada indique que justo all no hay elementos. 2. Universal Negativo: Queda representado por el diagrama de Venn.

S a P = S e P = P e S= P a S Mediante el lgebra de Boole:

2.

PROPOSICIN: Todo no S es P

Mediante el lgebra de Boole:

3.

PROPOSICIN: Algn no S es P SiP=SoP

Grupo N 4:
Formulacin de las proposiciones mediante algebra de Boole: Premisa: R a M : RM Conclusin: R i M : RM Como se observara el termino se repite en forma idntica en la representacin booleana es R. Por lo tanto P: R diferente , asignndole en el diagrama de premisas una X al conjunto R. Como se ver en el grafico, ahora ya es posible leer la conclusin:

Mediante el lgebra de Boole:

4.

PROPOSICIN: Algunos no S son no P S i P = S o P

Mediante el lgebra de Boole: Por lo tanto ya es vlida la conclusin. Ejemplo:

Formas de las proposiciones categricas y diagramas de Venn:

P1: S a R SR = P2: T e S TS = C: R o T R T La conclusin no es vlida pues no se puede leer la conclusin en el diagrama. Aplicando ley del contenido existencial: 1er requisito premisas universales: si (a,e) 2do requisito conclusin Existencial: si (o) busquemos en la representacin booleana la variable que se repite en forma idntica.Esta variable es S P existente S diferente Por lo tanto ponemos una x en S. (Ver diagrama) Volvamos a leer la conclusin R g T Diferente Ahora ya se puede leer Conclusin valida!!

Ley del contenido existencial: Se usa para hacer valida una conclusin que supuestamente no era no valida: Requisitos para su uso: 1. las premisas deben ser universales. 2. la conclusin debe ser existencial. Aplicacin: Consiste en identificar en la representacin booleana a la variable a conjunto que se repita en forma idntica asignndole a esta variable o conjunto un elemento (una x en el grafico de las premisas). Hacindolo as diferente del vaci, luego se procede a leer nuevamente la conclusin supuestamente no valida. Ejemplo: P: Premisa todos los rumiantes son mamferos C: Conclusin: algunos rumiantes son mamferos.