Ayudanta N1 Lgica y Conjuntos

lgebra 2013-II Primera Parte: Lgica

Teora Es una rama de la matemtica que permite analizar el grado de verdad de una o ms proposiciones. En Ingeniera, es la base para la programacin computacional y para la construccin de algoritmos. Una proposicin slo puede tener dos valores de verdad: verdadero o falso, y la combinacin de valores de verdad para cada proposicin determinar el valor de verdad final para una proposicin compuesta, la cual se puede analizar utilizando las tablas de verdad. Operadores lgicos importantes: a) Negacin ( ): cambia el valor de verdad de la proposicin.

V F

F V

b) Disyuncin ( - o): conecta dos proposiciones simples, haciendo que slo sea necesario que una de ellas sea verdadera para que la proposicin compuesta tambin lo sea.

V V F F

V F V F

V V V F

c) Conjuncin ( - y): conecta dos proposiciones simples, haciendo que sea necesario que ambas sean verdaderas para que la proposicin compuesta tambin lo sea.

V V F F

V F V F

V F F F

d) Condicional ( ): conecta dos proposiciones simples estableciendo una relacin causaconsecuencia entre ambas, y se lee Si , entonces .

Sec. 1: Profesora Loredana Riquelme San Martn Sec. 2: Profesora Teresa Salgado Seplveda

Ayudante: Alberto A. Carvacho Germany acarvachog@ingenieros.udd.cl

V V F F

V F V F

V F V V

e) Bicondicional ( ): conecta dos proposiciones simples estableciendo una relacin de exclusividad entre ambas, y se lee si y slo si

V V F F

V F V F

V F F V , donde es

OBSERVACIN: El nmero de filas que debe tener la tabla de verdad sigue la regla la cantidad de proposiciones simples que tiene el problema.

En ocasiones, las proposiciones compuestas llegan a un nico valor de verdad, el cual resulta ser independiente de los valores de verdad de las proposiciones que la componen. Hay dos situaciones definidas para esto: si la proposicin siempre tiene un valor de verdad verdadero, se habla de una tautologa; si la proposicin siempre resulta ser falsa, se habla de contradiccin. Si no se logra obtener un valor de verdad nico, se est en presencia de una contingencia. Se dice que dos proposiciones son lgicamente equivalentes ( ) si sus tablas de verdad son iguales, es decir, si su bicondicional es una tautologa y se lee equivale a . En cambio, se dice que una proposicin implica lgicamente a otra ( ) si su condicional es una tautologa, y se lee implica . De estas dos definiciones, se desglosan varias propiedades y leyes que son de inters en las diferentes aplicaciones de la lgica: Proposicin ( ) ( ) ( ) ( ) ( ) ( ) ( ) ,( , ) ( ),( , ) ( ),( , ) ( ), ,( ( )) ( ), ,( ( )) ( )( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) Propiedad Doble negacin Leyes conmutativas

Leyes asociativas Leyes distributivas Leyes de idempotencia Leyes de De Morgan

Sec. 1: Profesora Loredana Riquelme San Martn Sec. 2: Profesora Teresa Salgado Seplveda

Ayudante: Alberto A. Carvacho Germany acarvachog@ingenieros.udd.cl

( ( (

,( ,( ( ( (

) ) ) ) )

Proposicin ) ( ) ( ( ) ( ) ( ) ( )( ),( ) ,( ) ,( )

) ) )

Propiedad Implicacin Adicin Simplificacin Transitividad del Bicondicional Transitividad del Condicional Otras propiedades

( ( ( ( (

) ) )))-

En ocasiones, algunas proposiciones tienen un valor de verdad determinado dependiendo de los valores asignados a cada una de las variables que la componen. Estas expresiones se denominan Funciones Proposicionales, y al conjunto para los cuales esta funcin resulta ser verdadera se le llama Conjunto de Validez. Si el conjunto de validez para una funcin proposicional ( ) son todos los valores posibles para , la expresin matemtica incluye al cuantificador universal ( ), y se lee para todo , ( ). En cambio, si existe al menos un valor para el conjunto de validez, se utiliza el cuantificador existencial ( ), y se lee existe tal que ( ). Finalmente, si existe slo un valor en el conjunto de validez, se utiliza una variacin del cuantificador existencial ( ) y se lee existe un nico tal que ( ).

OBSERVACIN: Negar un cuantificador universal equivale a utilizar el cuantificador existencial y viceversa. Ejemplos 1) Compruebe la veracidad de la Transitividad del Condicional Construyendo la Tabla de Verdad: ( V V V V F F F F V V F F V V F F V F V F V F V F V V F F V V V V ) ( V F V V V F V V ) ( (1) V F V F V V V V ) ,( ) ( (2) V F V F V F V V )(2) V V V V V V V V (1)

De esta manera, como se obtiene una tautologa, la Transitividad del Condicional siempre se cumplir, por lo que es una propiedad vlida.
Sec. 1: Profesora Loredana Riquelme San Martn Sec. 2: Profesora Teresa Salgado Seplveda 3 Ayudante: Alberto A. Carvacho Germany acarvachog@ingenieros.udd.cl

2) Escriba simblicamente las siguientes funciones proposicionales: a. El cuadrado de todo nmero real es positivo o cero. Dado que la funcin proposicional contiene la palabra todo, se establece lo siguiente:

b. Existe un nico nmero real cuya raz es cero. La funcin proposicional hace referencia al cuantificador existencial nico, por lo que se debe escribir lo siguiente: c. Negacin de Para todo par de nmeros naturales, su suma es natural. En palabras, negar lo anterior significa decir existe, a lo menos, un par de nmeros naturales tal que su suma no es natural. Esto, en smbolos, se escribe como:

Segunda Parte: Teora de Conjuntos

Teora En la vida real, un conjunto corresponde a una agrupacin de cosas que pueden o no tener caractersticas en comn, las cuales reciben el nombre de elementos. Estos dos trminos no poseen una definicin matemtica para ello, pero s una denominacin: los conjuntos se escriben siempre en maysculas, mientras que los elementos de un conjunto se escriben en minsculas y entre parntesis tipo llave: * +

Los conjuntos se pueden escribir por extensin (se indica cada elemento) o por comprensin/abstraccin (alguna caracterstica que tengan en comn los elementos del conjunto): * * + +

La relacin de pertenencia entre un elemento cualquiera y su conjunto se escribe matemticamente utilizando el conector , mientras que su negacin se escribe como . Tipos de conjuntos: o Conjunto universo (U): conjunto que contiene todos los elementos.
4 Ayudante: Alberto A. Carvacho Germany acarvachog@ingenieros.udd.cl

Sec. 1: Profesora Loredana Riquelme San Martn Sec. 2: Profesora Teresa Salgado Seplveda

o o o

Conjunto vaco ( ): aquel conjunto que no tiene elementos. Subconjunto ( ): cuando los elementos de un conjunto pertenecen tambin a otro (anidado). Conjunto de partes o potencia ( ( )): conjunto cuyos elementos son todos los subconjuntos del conjunto .

Propiedades de los conjuntos: a) b) c) ,( d) ,(

) )

( (

))-

(transitividad entre conjuntos) (igualdad de conjuntos)

Se denomina cardinalidad de un conjunto (#) al nmero de elementos que lo componen, y por lo general se cumple una relacin entre la cardinalidad de un conjunto y del conjunto potencia: ( ) Adems, dos conjuntos sern equivalentes si y slo si tienen igual cardinalidad: ( ) ( )

Operaciones entre conjuntos: a) Interseccin entre conjuntos: conjunto formado por todos los elementos comunes a los dos conjuntos. * +

b) Unin de conjuntos: conjunto formado por todos los elementos de los conjuntos en estudio. * +

c) Diferencia de conjuntos: conjunto formado por todos los elementos que pertenecen a uno de los conjuntos y que no pertenecen a otro. * +

d) Complemento de un conjunto: conjunto formado por todos los elementos que no pertenecen al conjunto en estudio. * +

Sec. 1: Profesora Loredana Riquelme San Martn Sec. 2: Profesora Teresa Salgado Seplveda

Ayudante: Alberto A. Carvacho Germany acarvachog@ingenieros.udd.cl

e) Diferencia simtrica de conjuntos: conjunto que contiene a los elementos que estn en el primero y no estn en el segundo, ms los que estn en el segundo y no en el primero. * ( ) ( )+ ( ) ( )

Propiedades de las operaciones de conjuntos: Proposicin Propiedad Leyes de idempotencia Leyes conmutativas ( ( ( ( ( ( ) ( ) ( ) ( ) ( ) ) ) ) ) ( ) ( Leyes asociativas ) ) Leyes distributivas Leyes de De Morgan

Leyes de identidad y absorcin ( ) Ley involutiva Leyes del complementario

Para determinar la cardinalidad de un conjunto, adems de aplicar las propiedades anteriormente indicadas, se pueden utilizar ciertas operaciones matemticas. Para determinar la cardinalidad de la unin de un par de conjuntos disjuntos (los conjuntos no se intersectan), la operacin es simple: ( )

Cuando los conjuntos s se intersectan, se debe restar la cardinalidad de la interseccin (de lo contrario, se estara sumando dos veces ese elemento): ( ) ( )

Cuando ya son tres conjuntos en estudio: ( ) ( ) ( ) ( ) ( )

Para facilitar el anlisis matemtico de la teora de conjuntos, conviene utilizar un recurso grfico llamado Diagrama de Venn, el cual consta de un rectngulo (que representa el Universo) y donde cada conjunto es representado por un crculo. As, si hay elementos
6 Ayudante: Alberto A. Carvacho Germany acarvachog@ingenieros.udd.cl

Sec. 1: Profesora Loredana Riquelme San Martn Sec. 2: Profesora Teresa Salgado Seplveda

comunes a los conjuntos, estos quedan mostrados de manera grfica como la interseccin de los dos crculos:

A B

Ejemplo Sean a) Aplicando la definicin indicada anteriormente: * b) Aplicando la definicin indicada anteriormente: * c) Aplicando la definicin indicada anteriormente: * + * + + * + + * + * +, * +y * +. Hallar:

PREGUNTA: Qu puede observar a partir de la respuesta obtenida? d) Aplicando la definicin indicada anteriormente: * e) Aplicando la definicin indicada anteriormente: * f)
Sec. 1: Profesora Loredana Riquelme San Martn Sec. 2: Profesora Teresa Salgado Seplveda 7 Ayudante: Alberto A. Carvacho Germany acarvachog@ingenieros.udd.cl

Aplicando la definicin indicada anteriormente: * Ejercicios 1) Indique si las siguientes frases son o no proposicin. En caso de no serlo, justifique su respuesta. a. b. c. d. El pncreas es un rgano glandular en el sistema digestivo. El da lunes, cada uno debe traer su propia calculadora. Si fumas mucho, entonces enfermars de cncer al pulmn. Los equipos Apple son los mejores del mercado. ] es falsa, determine el valor de verdad para las ( ) ( )+ * +

) 2) Si la proposicin ( ) [( proposiciones simples , , y .

3) En los siguientes ejercicios, considere un universo de discurso que consta de los miembros ) el predicado ha sido pasajero de de un club y un universo de lneas areas. Sea ( , escriba el significado de cada uno de los enunciados: a. b. c. ( ( ( ) ) ) ( ( ( ) ) )

4) Escriba, en palabras y simblicamente, la negacin de la siguiente funcin proposicional: existe un nico nmero real tal que su raz es cero. 5) De un universo de 67 pacientes que ingresaron a un hospital, se decide establecer una clasificacin segn tres tipos de enfermedades: A, B y C respectivamente. De ellos, 16 pacientes presentaron sntomas que los permiten clasificar como enfermos A y B, 17 presentaron sntomas que los permiten clasificar como enfermos B y C, 9 fueron clasificados exclusivamente como pacientes con enfermedad tipo C, 10 presentaron sntomas para clasificarlos como portadores de las tres enfermedades, 31 pacientes fueron clasificados con enfermedad tipo A, 26 fueron clasificados con enfermedad tipo C y 12 pacientes no presentaban sntomas que pudieran clasificarse dentro de las tres enfermedades. Con la ayuda de un Diagrama de Venn, conteste lo siguiente: a. A cuntos pacientes los clasificaron como tipo B o tipo C? b. Indique cuntos pacientes no fueron clasificados como enfermos tipo B. c. Cuntos pacientes fueron diagnosticados exclusivamente como enfermos de un solo tipo? 6) Al interrogar una delegacin deportiva formada por 250 atletas sobre su aficin respecto al teatro, la danza o la poesa, se encontr que 125 prefieren el teatro, 180 prefieren la danza, 65

Sec. 1: Profesora Loredana Riquelme San Martn Sec. 2: Profesora Teresa Salgado Seplveda

Ayudante: Alberto A. Carvacho Germany acarvachog@ingenieros.udd.cl

la poesa, 100 teatro y danza, 25 teatro y poesa, 40 danza y poesa y 20 tenan las tres preferencias. Determine cuntos de estos 250 atletas tienen: a. b. c. d. e. Al menos una de estas tres preferencias. Ninguna de estas tres preferencias. Slo una de estas tres preferencias. Cuando mucho una de estas tres preferencias. Exactamente dos de estas preferencias.

7) Se le consult a 260 alumnos acerca de 3 asignaturas del semestre que fueron inscritas, con el fin de realizar un estudio ms adelante. Los resultados obtenidos fueron los siguientes: 64 inscribieron Matemtica 84 inscribieron Computacin 58 inscribieron Arte 28 inscribieron Matemtica y Arte 26 inscribieron Matemtica y Computacin 22 inscribieron Arte y Computacin 14 inscribieron las 3 asignaturas

Con esta informacin, conteste lo siguiente: a. Cuntos alumnos no inscribieron ningn curso? b. Calcule cuntos alumnos inscribieron slo Computacin. c. Cul es el porcentaje de alumnos que inscribi solo 2 asignaturas?

Sec. 1: Profesora Loredana Riquelme San Martn Sec. 2: Profesora Teresa Salgado Seplveda

Ayudante: Alberto A. Carvacho Germany acarvachog@ingenieros.udd.cl