MATEMATICA GENERAL MAT 100

CONTENIDOS
Lgica y Conjuntos Fundamentos de la Lgica Proposicional Tablas de Verdad Fundamentos de la Teora de Conjuntos Diagramas de Venn-Euler. Aplicaciones a encuestas. Potencias, Races y Logaritmos Potencias: Concepto y Propiedades. Notacin Cientfica Races: Definicin y Propiedades. Racionalizacin Logaritmos: Definicin y Propiedades Razones, Proporciones y Porcentaje Razn y Proporcin. Propiedades. Proporcionalidad Directa, Inversa y Compuesta Magnitudes. Sistemas de medicin y conversiones. Porcentajes y variaciones porcentuales.

lgebra, Ecuaciones y Sistemas de Ecuaciones Expresiones algebraicas: evaluacin y reduccin de trminos semejantes. Multiplicacin. Productos notables Factorizacin Simplificacin Divisin sinttica. Teorema del resto. Ecuaciones de Primer grado Ecuaciones de Segundo Grado Ecuaciones Irracionales, Exponenciales y Logartmicas Sistemas de Ecuaciones lineales y no lineales. Funciones y trigonometra Concepto de funcin. Dominio y recorrido de funciones reales. Funcin lineal Ecuacin de la recta. Funcin cuadrtica Funcin exponencial y logartmica Trigonometra en el triangulo rectngulo Razones trigonomtricas en ngulos especiales Teorema del Seno y del Coseno

EVALUACIN
Tipo de Evaluacin
8 Controles 2 Ctedras 4 Talleres Examen

Porcentaje Asociado
15% 25% c/u 10% 25%

No existe eximicin, para esta asignatura.

UNIDAD: LGICA Y CONJUNTOS

PREVIO
Suponga que Francisca le confiesa a su amiga Luisa despus de mucha insistencia de parte de esta: "No es verdad que, si me gusta Diego me gusta tambin Ignacio". Quin le gusta realmente a Francisca?

LGICA PROPOSICIONAL
El ser humano, a travs de su vida diaria, se comunica con sus semejantes a travs de un lenguaje determinado (oral, escrito, etc.) por medio de las denominadas frases u oraciones. Estas pueden tener diferentes significados pero siempre van a resumirse a las formas de verdaderas o falsas, siendo ste el precedente fundamental para el desarrollo humano. La lgica proposicional que estudiaremos en este captulo, tiene una importancia singular dada su aplicacin en los llamados "circuitos lgicos" de uso en la electrnica y la informtica.

PROPOSICIN LGICA
La proposicin es el significado de una idea, enunciado, conjunto de palabras o letras a las que se les puede asignar uno y slo uno de los valores de verdad, que pueden ser: VERDADERO (V) o FALSO (F)

En otras palabras:
Proposicin es un enunciado declarativo que puede ser verdadero o falso, pero no ambos a la vez.

EXPRESIONES PROPOSICIONALES
Por lo general, a las proposiciones se las representa por las letras del alfabeto desde la letra p, es decir, p, q, r, s, t, ... etc. Por ejemplo: p : 15 + 5 = 21 (F) q: Santiago es la capital de Chile. (V) r: El nmero 15 es divisible por 3. (V) s: El perro es un ave. (F)

EXPRESIONES NO PROPOSICIONALES
Son aquellos enunciados a los que no se les puede asignar un valor de verdad. Entre ellos tenemos a los exclamativos, interrogativos o imperativos. As tenemos, por ejemplo: Cmo te llamas? Prohibido pasar Borra el pizarrn.

CLASIFICACIN DE LAS PROPOSICIONES

Aquellas proposiciones que constan o se les puede representar por una sola variable, se llaman proposiciones simples o atmicas. Por ejemplo: Los impuestos se pagan en Abril de cada ao"

Cuando una proposicin consta de dos o ms enunciados simples, se le llama proposicin compuesta o molecular. Por ejemplo: Los impuestos se pagan en Abril de cada ao y las imposiciones todos los meses.

NOTACIN Y CONECTIVOS LGICOS

A partir de proposiciones simples es posible generar otras, simples o compuestas. Es decir que se puede operar con proposiciones, y para ello se utilizan ciertos smbolos llamados conectivos lgicos.

1.

Negacin ( , ) Dada una proposicin p, se denomina la negacin de p a otra proposicin denotada por ~ p (se lee "no p") que le asigna el valor veritativo opuesto al de p.

Ejemplo: La negacin de p: Todos los alumnos estudian matemtica" es ~ p: no todos los alumnos estudian matemtica o bien: ~ p: no es cierto que todos los alumnos estudian matemtica ~ p: hay alumnos que no estudian matemtica

Conjuncin ( ) Dadas dos proposiciones p y q, se denomina conjuncin de estas proposiciones a la proposicin p q (se lee "p y q"). La tabla que define esta operacin, establece que la conjuncin es verdadera slo si lo son las dos proposiciones componentes. En todo otro caso, es falsa.
2.

Ejemplo: Sea la declaracin: Donde: p: 5 es un nmero impar q: 6 es un nmero par Por ser ambas verdaderas, la conjuncin de ellas es verdadera.

3.

Disyuncin inclusiva ( )

Dadas dos proposiciones p y q, la disyuncin de las proposiciones p y q es la proposicin p q La disyuncin o es utilizada en sentido incluyente, ya que la verdad de la disyuncin se da en el caso de que al menos una de las proposiciones sea verdadera. En matemtica se utiliza la disyuncin slo es falsa cuando ambas proposiciones son falsas. Ejemplo: Tiro las cosas viejas o que no me sirven Consideramos: p: tiro las cosas viejas, q: tiro las cosas que no me sirven Es incluyente, pues si tiro algo viejo, y que adems no me sirve, la disyuncin es V.

Disyuncin exclusiva ( ) La disyuncin o es utilizada en sentido excluyente, ya que la verdad de esta disyuncin se da en el caso de que una de las dos proposiciones se cumple, pero no las dos.
4.

Ejemplo: Hoy comprar un libro o ir al cine; se sobrentiende que una de las dos debe ser verdadera, pero no las dos.

4.

Implicacin o Condicional ( )

Implicacin de las proposiciones p y q es la proposicin p q (si p entonces q). La proposicin p se llama antecedente, y la proposicin q se llama consecuente de la implicacin o condicional. La implicacin slo es falsa si el antecedente es verdadero y el consecuente es falso.

Ejemplo:

El enunciado puede pensarse como un compromiso, condicionado por p, y podemos asociar su verdad al cumplimiento del compromiso.

5.

Doble Implicacin o Bicondicional ( )

Doble implicacin de las proposiciones p y q es la proposicin p q (se lee "p si y slo si q") La doble implicacin o bicondicional slo es verdadera si ambas proposiciones tienen el mismo valor de verdad. La doble implicacin puede definirse como la conjuncin de una implicacin y su recproca. p q puede obtenerse mediante la tabla de (p q) (q p) Ejemplo: Sea a = b si y slo si a2 = b2 Donde: p: a = b ; q: a2 = b2 Esta doble implicacin es falsa si p es F y q es V. En los dems casos es V.

CONDICIN NECESARIA Y SUFICIENTE

Consideremos la tabla de valores de verdad de la implicacin. Hay tres casos en los que p q es V, y entre ellos hay uno en que p es V, en el cual resulta q verdadera. Se dice entonces que el antecedente p es condicin suficiente para el consecuente q. En cambio, si p es F, nada podemos decir de q puesto que puede ser V o F.

Por otra parte, cuando p q es V, si q es V, entonces p puede ser V o F; mas para que p sea V se necesita que q lo sea. Se dice entonces que q es condicin necesaria para p.

Estas condiciones suelen expresarse del siguiente modo: q si p (condicin suficiente) p slo si q (condicin necesaria)

EJEMPLO
La siguiente implicacin es V: "Si T es equiltero, entonces T es issceles" En este caso: p: T es equiltero q: T es issceles
p es condicin suficiente para q, es decir, que un tringulo sea equiltero es suficiente para asegurar que sea issceles. Por otra parte, T es equiltero slo si es issceles; es decir que un tringulo sea issceles es necesario para que sea equiltero.

Sea ahora la doble implicacin p q, es decir (p q) (q p). Si p q es V, entonces p q es V y q p es V.

p es condicin suficiente para q y ocurre que p es condicin necesaria para q.

Es decir, si p q es V, entonces el antecedente p es condicin necesaria y suficiente para el consecuente q. Anlogamente, en el caso de la doble implicacin verdadera, el consecuente q es tambin condicin necesaria y suficiente para el antecedente p.

JERARQUIA DE OPERADORES.

En la prctica para no usar tantos parntesis se considera que el operador tiene jerarqua sobre ^, v, , . As p ^ q significa (( p)^ q). En algunos casos se considera ^, v tienen mayor jerarqua que por lo que p q v r sera (p (q v r)) Tambin que ^ tiene prioridad sobre v, por lo que p ^ q v r sera (p ^ q) v r. Slo tiene prioridad sobre los dems operadores. Esto nos ahorra algunos parntesis, por ejemplo: ((( p) ^ q) v r) se representa por ( p ^ q) v r.

Supongamos las proposiciones: p : Me gusta Diego. q : Me gusta Ignacio. Segn el enunciado tenemos: (p q) = V ; luego (p q) = F; por lo cual la nica opcin es p = V y q = F. Por lo cual, a Francisca le gusta Diego.

TABLAS DE VERDAD
La tabla de verdad de una sentencia es una tabla en la que se presentan todas las posibles interpretaciones de las variables proposicionales que constituyen la sentencia y el valor de verdad de la sentencia para cada interpretacin. El nmero de lneas de la tabla de verdad depende del nmero de variables de la expresin y se puede calcular por medio de la siguiente formula. N de lneas = 2n donde n = nmero de variables distintas.

TAUTOLOGA, CONTRADICCIN Y CONTINGENCIA

Al conjunto de proposiciones, conectivos lgicos y smbolos de agrupacin lo denominamos frmula lgica. Por ejemplo: ~{ (p q) (s t) } Si al evaluar una frmula lgica, resulta que todos los valores de verdad resultantes son siempre V para cualquier combinacin de sus valores veritativos, decimos que dicha frmula es una Tautologa o Ley lgica. Ejemplo: Si analizamos la proposicin t: p ~ p

Si al estudiar una frmula lgica, a diferencia de los ejemplos anteriores resulta que para cualquier valor de verdad de las proposiciones intervinientes el resultado de dicha frmula es siempre falso, decimos que dicha frmula es una Contradiccin. Analicemos la frmula lgica p ~ p

Si una proposicin no es una tautologa ni una contradiccin (es decir que contiene al menos un valor V y otro F) es una Contingencia.

Ejemplo:
El gerente de la empresa seala que debido a las fluctuaciones de las acciones en el mercado y a las bajas en el precio del dlar, los costos de produccin subirn. Despus de un tiempo se produce un repunte en el precio de las acciones, por tanto es correcto esperar una disminucin en el costo de produccin?

Lgica proposicional http://soko.com.ar/matem/Logica_proposicional.htm Aprende lgica http://ntic.educacion.es/w3//eos/MaterialesEducativos/mem2003/logica/ind ex.html Conectivos Lgicos y Jerarquas http://www.mitecnologico.com/Main/TablasDeVerdad