PROYECTO DE MATEMTICAS GRUPO 1

INTEGRANTES:
IBONNY SARANGO SILVANA ESPINOZA CLAUDIA MILLER JACKELINE PALACIOS MIGUEL TENEZACA LUIS QUICHIMBO VICTOR MONTOYA PABLO JIMENEZ

LGICA PROPOSICIONAL

LGICA
Lgica es el estudio del razonamiento, que se refiere especficamente a si el razonamiento es correcto. La lgica se centra en la relacin entre las afirmaciones y no en el contenido de una afirmacin en particular.

PROPOSICIONES
Una proposicin es una unidad semntica que, o solo es verdadero, o solo es falsa, pero no ambas cosas a la vez. Ejemplos: El da de hoy est bonito. Est lloviendo. 17+5=20

Nota: Los enunciados que expresen admiracin, duda, interrogacin, suspenso, etc., no son proposiciones. me invistas a bailar? qu hermoso paisaje! cmo ests?

TIPOS DE PROPOSICIONES

Existen 2 tipos de proposiciones:

Atmicas y Moleculares o compuestas

PROPOSICIONES ATMICAS

Son aquellas que contienen una sola proposicin. Ejemplos: Rosa baila.  Esto es una casa.  Juan canta.  5 es un nmero par.  Quito es la capital del Ecuador.


PROPOSICIONES MOLECULARES O COMPUESTAS

Son aquellas que contienen ms de una proposicin. Ejemplos:


Mara trabaja y Rosa estudia.

Juan y Luisa son hermanos de Pedro.  Amparo es inteligente y es la hermana de Carlos.  Esmeraldas y Guayas son provincias del Ecuador.


LGICA PROPOSICIONAL

La lgica proposicional es la ms antigua y simple de las formas de lgica. Utilizando una representacin primitiva del lenguaje, permite representar y manipular aserciones sobre el mundo que nos rodea. La lgica proposicional permite el razonamiento, a travs de un mecanismo que primero evala sentencias simples y luego sentencias complejas, formadas mediante el uso de conectivos proposicionales, por ejemplo Y (AND), O (OR).

LENGUAJE FORMAL
Consiste en abreviar o simbolizar las oraciones o juicios, que en la lgica matemtica se llaman proposiciones. Estas proposiciones se reducen en el lenguaje formal a una sola letra, que llamamos variable, y la simbolizamos con las letras minsculas del alfabeto que van de la p hasta el final del abecedario. Si digo por ejemplo: Antonio ama a Piedad, esta proposicin queda simbolizada en el lenguaje formal mediante la variable p o q, o, r o s.

Adems de estas variables, la lgica proposicional utiliza otros smbolos, llamados constantes, cuyo significado siempre es el mismo, ya que modifican o unen a las variables. Estos smbolos constantes se llaman conectivos u operadores lgicos. Cuando el conectivo afecta a una sola variable, se llama mondico, como por ejemplo el negador (~) que se lee en el lenguaje natural no, y se sita encima de la letra variable, , no p. Cuando afectan a ms de una variable, son polidicos. Los conectivos u operadores lgicos ms importantes son:

TABLAS DE VERDAD
Una tabla de verdad es una representacin de los posibles valores de verdad que podr tomar una proposicin. Estas tablas sirven para mostrar los valores, las relaciones y los resultados posibles al realizar operaciones lgicas.

CONJUNCIN
La conjuncin es verdadera slo cuando ambas variables lo son y es falsa en los dems casos.
p V V F F q V F V F p^q V F F F

DISYUNCIN
La disyuncin es verdadera en todos los casos menos cuando ambas son falsas.
p V V F F q V F V F pvq V V V F

CONDICIONAL
El condicional es verdadero en todos los caso menos cuando la primera proposicin es verdadera y la segunda es falsa.
P V V F F q V F V F p V F V V q

BICONDICIONAL
El bicondicional es verdadero cuando ambos son verdaderos o cuando ambos son falsos, y es falso en los dems casos.
P V V F F q V F V F p V F F V q

NEGACIN
La negacin ~ que se lee ~p, cambia el valor de la variable que se niega: slo es verdadera si es falsa y es falsa si es verdadera.
p V F ~p F V

TAUTOLOGA, CONTINGENCIA, CONTRADICCIN

TAUTOLOGA
Es cuando tienen solamente proposiciones verdaderas para todos los valores de verdad de las variables proposicionales. Ejemplo: ~p v p
p V F ~p F V ~p v p V V

CONTINGENCIA
Es cuando se obtienen algunas proposiciones verdaderas y otras falsas para los valores de verdad de las variables proposicionales. Ejemplo: (p q) ^ (q p)
p V V F F q V F V F p q V F V V q p V V F V (p q) ^ (q V F F V p)

CONTRADICCIN
Es cuando se tienen solamente proposiciones falsas para todos los valores de verdad de las variables proposicionales. Ejemplo: ~q ^ q
q V F ~q F V ~q ^ q F F

LEYES DE PROPOSICIONES

Equivalencia: p =p Idempotencia p^p=p pvp=p Asociativa p ^ (q ^ r) = (p ^ q) ^ r p v (q v r) = (p v q) v r

Commut tiv p^ ^p pv vp Distributiv p ^ ( v r) p v ( ^ r) I e tidad p pv p^ p

(p ^ ) v (p ^ r) (p v ) ^ (p v r)

pv p^

Complemento p v ~p = 1 p ^ ~p = 0 ~1 = 0 Morgan ~ (p ^ q) = ~p v ~q ~ (p v q) = ~p ^ ~q Absorcin p ^ (p v q) = p p v (p ^ q) = p

~~p = p ~0 = 1

Condicional p q = ~p v q p q = ~q ~p Bicondicional p q = (p Dominancia p^F=F pvV=V Elemento Neutro p^V=P pvF=P

q) ^ (q

p)

IMPLICACIN LGICA (A

B)

Sean A y B dos formas proposicionales se dice que A implica lgicamente a B si y solo si A B es una tautologa, ejemplo: Decir entre lo que sigue que es verdadero o falso. p (p ^ q) p q p^q V V V F F V F V F F F F No es tautologa por ende es falso. p (p ^ q) V F V V

(p v q) p V V F F q V F V F pvq p V V V F
(p

v q)

V V V V

Como es tautologa entonces si es una implicacin lgica.

EQUIVALENCIA LGICA
Sean A y B dos formas proposicionales, se dice que A es equivalente lgicamente a B, si y slo si A B es una tautologa. Demostrar (p q) ^ (q p) = p q A B [(p q) ^ (q p)] [p q]
p V V F F q V F V F p V F V V q q V V F V p p V F F V q (p q) ^ (q V F F V p) A V V V V B

Como es tautologa si es equivalencia lgica.

SEGUNDO MTODO
(p q) ^ (q A ^ p) B
p V V F F q V F V F p V F V V q q V V F V p A^ B V F F V

(p

q)
p V V F F q V F V F p V F F V q

LGICA DE PREDICADOS

PROPOSICIONES ATMICAS
Ejercicios resueltos 1.2.3.Pedro es hermano de Mara. F es hermano de m. Jos va a ver a Silvia. J va a ver a s. Diego y Jorge van a estudiar para la prueba. D y j van a estudiar para la prueba. Ejercicios propuestos 1.2.3.Pedro es estudioso. Jorge no vino. Pablo es vago pero Luis no lo es.

PREDICADOS ATRIBUTIVOS (MONDICOS)

Ejercicios resueltos 1.2.3.Juan canta jC Felipe suea fS Esto es rojo eR Ejercicios propuestos 1.2.3.Rasa estudia Marco baila Sofa es alta

PREDICADOS DE RELACIN (DIDICOS, TRADICOS, ETC.)

Ejercicios resueltos 1.2.3.Mara vio a Juan mVj Jorge sali con Juana al cine jSjC Pedro regreso con Sandra pSs Ejercicios propuestos 1.2.3.4 es menor que 2 3 * 7 = 21 Abdala gan

PREDICADOS DE ASIGNACIN
1.2.3.Ejercicios resueltos El cuadrado de 9 es 81 C(9) = 81 10 es menor que 11 7 > 11 El resultado de 9 + 5 es 14 R(9+5) = 14 Ejercicios propuestos El duplo de 12 es 24 El siguiente nmero de 7 es 8 8 es un nmero par

1.2.3.-

PREDICADOS DE CLASE
1.2.3.Ejercicios resueltos Ibarra es una ciudad IC Los pepinos son vegetales PCV 17 es un numero estero 17 Z Ejercicios propuestos Las casas son edificios Machala es una ciudad Marco es un cantante

1.2.3.-

PROPOSICIONES COMPUESTAS
Ejercicios resueltos 1.Pablo es estudiante y es compaero de Silvana P Q ; pE pCs 2.Si 3 es nmero primo entonces 3 x 2 es par P Q ; 3 P 3*2P 3.Si Mariuxi est en sistemas entonces no es amiga de Jorge en Loja P Q;mS mAj jVl Ejercicios propuestos 1.2.3.Si Gloria no estudia entonces Estefana no es su amiga. Luis es abogado y trabaja con Diego Si Juan no viaja a Guayaquil entonces su madre viene a Loja

y Jorge vive

CUANTIFICADORES UNIVERSALES
Ejercicios resueltos 1.2.3.4.Todo pez nada x Ningn pez nada x Para todo x, si x es pez, entonces nada x (Px Vx) Para todo x, si x es pez no nada x (Px Vx) Ejercicios propuestos Toda persona suea Ninguna persona suea Para todo x, si x es persona, entonces suea Para todo x, si x es persona, entonces no suea

1.2.3.4.-

CUANTIFICADORES EXISTENCIALES
1.2.3.4.Ejercicios resueltos Hay una ex novia de Pablo que es doctora x / (xEp xD) Algunos animales cuadrpedos son mamferos x / (xAc xM) Ciertos nmeros son primos x / (Nx xP) Algunos ingenieros no son eficientes x / (xI xE) Ejercicios propuestos Hay un da de la semana que no se trabaja Ciertas personas son amables Algunos nios no van a la escuela Algunas personas no poseen trabajo estable

1.2.3.4.-

APLICACIONES DE ALGEBRA BOOLEANA

ALGEBRA BOOLEANA APLICADA A LA INFORMTICA

Una variable tiene valor booleano cuando, en general, la variable contiene un 0 lgico o un 1 lgico.

La relacin que existe entre la lgica booleana y los sistemas de cmputo es fuerte, de hecho se da una relacin uno a uno entre las funciones booleanas y los circuitos electrnicos de compuertas digitales.

EL 0 LGICO

El valor booleano de negacin suele ser representado como false.

EL 1 LGICO

En cambio, el resto de valores apuntan al valor booleano de afirmacin, representado normalmente como true.

CIRCUITOS INTEGRADOS

Los circuitos integrados mas vendidos del mundo, como el 7404(inversor),7408 (cudruple puerta OR), 7400(cudruple puerta NAND), etc... su funcionamiento consiste en el algebra booleana.

SISTEMAS DE NUMERACIN

SISTEMAS DE NUMERACIN
Los sistemas de numeracin son las distintas formas de representar la informacin numrica. Se nombran haciendo referencia a la base, que representa el nmero de dgitos diferentes para representar todos los nmeros.

DIFERENTES SISTEMAS


Sistema Decimal o de Base 10 (10 Dgitos, 0 - 9) Sistema Binario o de Base 2 (2 Dgitos, 0 - 1) Sistema Octal o de Base 8 (8 Dgitos, 0 - 7) Sistema Hexadecimal o de Base 16 (16 Dgitos, 0 - f) Con los diferentes sistemas de numeracin podemos realizar las respectivas conversiones:

CONVERSIN DE BINARIO A DECIMAL

Para convertir de Binario a Decimal primero se inicia por el lado derecho del nmero en binario, cada nmero se lo multiplica por 2 y se eleva a la potencia consecutiva (comenzando por la potencia 0). Despus de realizar cada una de las multiplicaciones, se suma todas y el nmero resultante ser el equivalente al sistema decimal. Por Ejemplo: 101012= 1*24+0*23+1*22+0*21+1*20= 2110

CONVERSIN DE DECIMAL A BINARIO

Consiste en dividir sucesivamente el nmero decimal y los cocientes que se van obteniendo entre 2, hasta que una de las divisiones se haga 0. La unin de todos los restos obtenidos escritos en orden inverso, nos proporcionan el nmero inicial expresado en el sistema binario. Ejemplo: 100 |_2 0 50 |_2 0 25 |_2 --> (100)10 = (1100100)2 1 12 |_2 0 6 |_2 0 3 |_2 1 1 |_2 1 0

CONVERSIN DE OCTAL A BINARIO

La conversin consiste en convertir cada dgito octal en su equivalente binario de 3 bits. Por medio de estas conversiones, cualquier nmero octal se conviene a binario, convirtindolo de manera individual. Tomaremos en cuenta la siguiente tabla para hacer la conversin.

CONVERSIN DE BINARIO A OCTAL

Se realiza de modo contrario a la anterior conversin, agrupando los bits en grupos de 3. Por Ejemplo:
111 001 101 110 7 1 5 6 1110011011102 = 71568

CONVERSIN DE DECIMAL A OCTAL

En la conversin de una magnitud decimal a octal se realizan divisiones sucesivas por 8 hasta obtener la parte entera del cociente igual a cero. Los residuos forman el nmero octal equivalente, siendo el ltimo residuo el dgito ms significativo y el primero el menos significativo. Por Ejemplo Convertir el nmero 46510 a octal. 465 |_8 1 65 |_8 2 58 |_8 7 El resultado en octal de 46510 es 7218

CONVERSIN DE OCTAL A DECIMAL

La conversin de un nmero octal a decimal se obtiene multiplicando cada dgito por 8 y sumando los productos: Por Ejemplo
Convertir 47808 a decimal.
4780 = (4 x 83) + (3x82) + (8x81) + (0x80) = 2048 + 192 + 64 + 0 = 2304

CONVERSIN DE BINARIO A HEXADECIMAL

Para convertir un nmero binario a hexadecimal se agrupa la cantidad binaria en grupos de 4 en 4 iniciando por el lado derecho. Si al terminar de agrupar no completa 4 dgitos, entonces se agrega ceros a la izquierda. Posteriormente se ve el valor que corresponde de acuerdo a la tabla:

La cantidad correspondiente en hexadecimal se agrupa de derecha a izquierda.

Por Ejemplo: 110111010 (binario) = 1BA (hexadecimal). 1010 = A 1011 = B 1 sobra entonces se agrega 000 y quedara 0001= 1 Entonces se agrupa de derecha a izquierda: 1BA

CONVERSIN DE HEXADECIMAL A BINARIO

La conversin de hexadecimal a binario se facilita porque cada dgito hexadecimal se convierte directamente en 4 dgitos binarios equivalentes. Por Ejemplo Convertir el nmero 1F0C16 a binario. 1F0C16 = 1 1111 0000 11002

CONVERSIN DE DECIMAL A HEXADECIMAL

Para convertir un nmero decimal a hexadecimal se realizan divisiones sucesivas por 16 hasta obtener un cociente de cero. Los residuos forman el nmero hexadecimal equivalente, siendo el ltimo residuo el dgito ms significativo y el primero el menos significativo. Por Ejemplo Convertir el nmero 186910 a hexadecimal. 1869 |_16 13(D) 116 |_16 4 7 El resultado en hexadecimal de 186910 es 74D16.

CONVERSIN DE HEXADECIMAL A DECIMAL

En el sistema hexadecimal, cada dgito tiene asociado un peso equivalente a una potencia de 16, entonces se multiplica el valor decimal del dgito correspondiente por el respectivo peso y realizar la suma de los productos. Por Ejemplo Convertir 31F16 a decimal.
31F16 = 3x162 + 1x161 + 15 x 160 = 3x256 + 16 + 15 = 768 + 31 = 79910

OPERACIONES DECIMALES

SUMA BINARIA
Para realizar la suma binaria, comenzamos a sumar desde la derecha, en nuestro ejemplo, 1 + 1 = 10, entonces escribimos 0 en la fila del resultado y llevamos 1. Luego se suma el 1 a la siguiente columna: 1 + 0 + 0 = 1, y as sucesivamente hasta terminas con todas las columnas. Regla: 0+0=0 0+1=1 1+0=1 1 + 1 = 10 (al sumar 1+1 siempre nos llevamos 1 a la siguiente operacin)

RESTA BINARIA
Regla: 0-0=0 1-0=1 1-1=0 0 - 1 = equivale a 10 - 1 = 1. El dgito 1, se toma prestado de la posicin siguiente. La resta 0 - 1 se resuelve igual que en el sistema decimal, tomando una unidad prestada de la posicin siguiente: 10 - 1 = 1 y llevo 1, lo que equivale a decir en decimal, 2 - 1 = 1. Esa unidad prestada debe devolverse, sumndola, a la posicin siguiente.

LAS FORMAS COMPLEMENTARIAS Y EL SIGNO

Ejemplo

Ejemplo

MULTIPLICACIN BINARIA

DIVISIN BINARIA

Regla 0*0=0 0*1=0 1*0=0 1*1=1 Ejemplo

Regla 0*0=0 0*1=0 1*0=0 1*1=1 Ejemplo

OPERACIONES CON NMEROS HEXADECIMALES SUMA HEXADECIMAL

1.

2.

3.

Sumar los dos dgitos hexadecimales en decimal, insertando el equivalente al sistema hexadecimal para nmeros mayores que 9. Si la suma es igual o menor que 15 esta puede expresarse como dgito hexadecimal. Si la suma es mayor o igual que 16 se le resta 16 y se lleva un 1 hacia el dgito de la siguiente posicin .

RESTA HEXADECIMAL
Para la resta hexadecimal es necesario transformar el sustraendo a binario, luego aplicar el componente a 1, y el componente a 2, a este resultado lo convertimos a hexadecimal y luego lo sumamos con el minuendo. Ejemplo 7F4B 3ABC

Luego se realiza la suma hexadecimal entre el minuendo y el resultado de los 2 componentes.

TEORA DE GRAFOS

EJEMPLOS
Grafo

dirigido

Grafo no dirigido

 Grafo

simple

Grafos nulo

 Matriz

de adyacencia

1 1 2 3 4 1 0 0 0

2 1 0 0 0

3 1 1 0 0

4 1 1 1 0

Ciclo Hamilton

Debido a que el recorrido del grafo no puede pasar ms de na vez por el mismo vrtice, entonces resolvindolo quedara de la siguiente manera:

Ciclo Euler

Debido a que el recorrido del grafo no puede pasar ms de una vez por la misma arista, entonces resolvindolo quedara de la siguiente manera:

APLICACIONES DE RBOLES

APLICACIN DE LOS ARBOLES EN INFORMATICA

Aplic ci e r les e a e ad deter i ada

se e

t s para

scar

EXPLICACIN

Como raz tenemos una determinada edad por donde nos guiaremos hacia la edad que buscamos. Si es que se quiere saber la edad menor a diez aos se empezara por la izquierda y se har el recorrido hasta la edad que queremos. Si se quiere saber la edad mayor a diez aos se har el recorrido por la parte derecha hasta llegar a la edad que se quiere.

Aplicacin de arboles para crear archivos

EXPLICACIN

Tenemos como raz la carpeta msica, si se desea ir a Ricardo Arjona se empezara por la parte izquierda donde pasara a la carpeta Baladas y se llegara hacia el artista que busca o que desee guardar nuevas canciones.

Si se desea llegar a la carpeta del artista Daddy Yanqui se har el recorrido por la parte derecha se pasara a la carpeta reggaetn y posteriormente hacia el artista

Aplicacin de arboles para explorar un escritorio de computadora

EXPLI

Tenemos como raz Mi PC si queremos llegar hacia las carpetas que hemos creado, se har el recorrido recto se pasara por documentos, mis documentos, y de ah a las carpetas dentro de ella se desglasaran los diferentes archivos

MODELOS DE REDES

En este tema se explicara el modelo de redes aplicado especficamente a problemas de trasporte y la maximizacin de flujos mediante el mismo. La maximizacin de flujos es un problema tpico de la investigacin de operaciones, el cual tiene muchas aplicaciones, por ejemplo el flujo vial en una ciudad, una red de agua, red de petrleo o una red informtica, etc. Si nosotros sobrecargamos una calle, una tubera o un canal que obviamente tiene un lmite de capacidad, nos enfrentaremos a un problema, posiblemente un flujo ms lento o una tubera con demasiada presin, ah es donde el Modelo de Redes es un mtodo o secuencia el cual nos ayuda a tomar una decisin acertada que podra ser mejorar o podemos dar mayor aprovechamiento a los flujos a tuberas que tengan ms capacidad, creando nuevas tuberas o incluso eliminando algunas antiguas. Tambin nos ayuda a maximizar este flujo de manera eficiente de forma tal que se aprovechen al mximo los recursos.

Una red de transporte es una grafica dirigida, simple, ponderada, con pesos y que debe cumplir las siguientes condiciones: poseer una fuente o vrtice fijo que no tenga aristas de entrada. Poseer un sumidero o vrtice fijo que no tenga arista de salida toda red de transporte se le debe designar a como origen y z como destino. Considere esta grafica dirigida que representa una tubera de petrleo. El petrleo se descarga en el muelle a y se bombea por toda la red de la refinera z. Los vrtices b, c, d y e representan estaciones de bombeo intermedias. Las aristas dirigidas representan subtuberas del sistema y muestran la direccin en que puede fluir el petrleo. Las etiquetas de las aristas indican las capacidades de las subtuberas.

Esta grafica es un red de transporte. El origen es el vrtice a y el destino es el vrtice z. la capacidad de la arista (a, b) Ca,b es 3 y la capacidad de la arista (b, c) Cb,c es 2. En todas las figuras que podamos observar, si G es una red, el origen se denotara y el destino por z.

Un flujo es una red, es decir, asigna un flujo a cada arista dirigida que no excede la capacidad de esa arista, ms aun, si se supone que el flujo que entra a un vrtice v, que no es el origen ni el destino, es igual al flujo que sale de v. La siguiente definicin precisa estas ideas. Definicin: sea g una red de transporte. Sea ci j la capacidad de la arista dirigida (i, j). Un flujo f en g asigna a cada arista dirigida (i, j) un nmero no negativo fi j tal que: a) Fi j Ci j b) Para cada vrtice j, que no es la fuente ni el destino, fi j = f j i i i

En una suma como se muestra en la ecuacin, tenemos que ver a menos que se especifique lo contrario, se supone que la suma se toma sobre todos los vrtices i, adems si (i, j) no es un arista, se hace Fi j = 0. Fi j recibe el nombre de flujo en la arista (i, j), para cualquier vrtice j, Fi j i Se llama flujo que entra a j y Fji i Se llama flujo que sale de j. La propiedad expresada por la primera ecuacin se llama conservacin de flujo. En el ejemplo del bombeo de petrleo como esta en la figura anterior, la conservacin del flujo significa que el petrleo no se usa ni se suministra en las estaciones de bombeo b, c, d y e.

Asignndole un valor al flujo de acuerdo a la ecuacin tenemos: Fab = 2, Fbc = 2, Fcz = 3, Fad = 3, Fdc = 1, Fde = 2, Fez = 2, Esto definen un flujo para la red , por ejemplo, el flujo que entra al vrtice d, Fad = 3, es el mismo que el flujo que sale del vrtice d, Fdc + Fde = 1+2=3

En esta figura se dibujo de nuevo la misma red de la figura anterior pero en esta para mostrar el flujo. Una arista e se etiqueta x, y si la capacidad de e es x y el flujo en e es y. Advertencia el flujo que sale del origen a como se muestra en la figura, Fab + Fad, es el mismo que el flujo que entra al destino z, Fcz + Fez, Como nos podemos dar cuenta ambos valores son 5. Es decir si tenemos que F es un flujo en una red G el valor siempre va hacer la siguiente ecuacin: Fai =Fiz i i

En c ncl si n para res lver n pr le a para na red de transporte se tiene e establecer e como se puede encontrar el flujo mximo en , es decir, encontrar entre todos los flujos posibles en , tal ue el flujo sea un valor mximo.