Matem aticas Discretas Separata II Introducci on a la L ogica Proposicional

Paul Miller Tocto Inga 16 de abril de 2013

 Indice general
Lista de guras 3

1. Conceptos b asicos 1.1. Fundamentos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.2. Tablas de Verdad . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.3. Operadores l ogicos . . . . . . . . . . . . . . . . . . . . . . . . . .

4 5 6 7

1.4. Las leyes de la l ogica . . . . . . . . . . . . . . . . . . . . . . . . . 14 1.5. Cuanticadores . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 2. Demostraci on Matem atica 19

2.1. Denici on . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19 2.2. Demostraci on directa . . . . . . . . . . . . . . . . . . . . . . . . . 19 2.3. Demostraci on Indirecta o contrarrec proca . . . . . . . . . . . . . 21 2.4. Demostraci on por contradicci on . . . . . . . . . . . . . . . . . . . 22 2.5. Demostraci on por inducci on . . . . . . . . . . . . . . . . . . . . . 24 2.6. Demostraci on de proposiciones con cuanticadores . . . . . . . . . 26 3. Ejercicios de pr acticas calicadas Bibliografa 28 31

Pr ologo
Esta separata tiene como objetivo ayudar al estudiante que est a en el proceso de conocimiento de las matem aticas discretas, en especial dirigido a los alumnos de la Facultad de Ingenier a Industrial y de Sistemas, de la Universidad Nacional de Ingenier a, del Curso de Matem aticas Discretas, correspondiente a la unidad II del Syllabus, desarrollando una introducci on a la l ogica matem atica, para que puedan tener conocimiento de las t ecnicas de demostraci on y as poder afrontar sus cursos posteriores. El material bibliogr aco usado es el libro de Grimaldi [1]. Tambi en deseo agradecer a todos los que me ayudaron para que sea posible esta separata, en especial a la Srta. Victoria por su infatigable apoyo constante.

 Indice de guras
1.1. Ejemplo de tabla de verdad para 3 variables . . . . . . . . . . . . 1.2. Operador negaci on . . . . . . . . . . . . . . . . . . . . . . . . . . 1.3. Operador conjunci on . . . . . . . . . . . . . . . . . . . . . . . . . 7 8 9

1.4. Operador disyunci on . . . . . . . . . . . . . . . . . . . . . . . . . 10 1.5. Operador implicaci on . . . . . . . . . . . . . . . . . . . . . . . . . 11 1.6. Operador bicondicional . . . . . . . . . . . . . . . . . . . . . . . . 12 1.7. Ejemplo de tautolog a . . . . . . . . . . . . . . . . . . . . . . . . 13 1.8. Ejemplo de contradicci on . . . . . . . . . . . . . . . . . . . . . . . 13 1.9. Ejemplo de proposiciones l ogicamente equivalentes . . . . . . . . . 14 1.10. Propiedades de cuanticadores . . . . . . . . . . . . . . . . . . . . 18 1.11. Propiedades de la negaci on en cuanticadores . . . . . . . . . . . 18 2.1. Demostraci on Directa . . . . . . . . . . . . . . . . . . . . . . . . . 20 2.2. Tabla de verdad de Demostraci on Directa y Indirecta . . . . . . . 21 2.3. Demostraci on Indirecta . . . . . . . . . . . . . . . . . . . . . . . . 22 2.4. Tabla Demostraci on por contradicci on . . . . . . . . . . . . . . . 23 2.5. Esquema Demostraci on por contradicci on . . . . . . . . . . . . . . 23 2.6. Esquema Demostraci on por inducci on . . . . . . . . . . . . . . . . 25

Cap tulo 1 Conceptos b asicos

La L ogica es una ciencia rigurosa con un lenguaje t ecnico elaborado y preciso, pues la utilizaci on que hace del simbolismo le permite evitar las confusiones y ambiguedades del lenguaje natural. La L ogica, en su estado actual de desarrollo se le conoce como L ogica simb olica o l ogica matem atica, nombres que aluden a su uso sistem atico del simbolismo. Tambi en la l ogica proposiconal (es la parte mas elemental de la l ogica moderna), sirve para poder construir con total abstracci on las inferencias; y como estas son estructuras de proposicones, vamos a esestudiar c omo se presentan y de que manera se relacionan. Por u ltimo la L ogica es la disciplina que trata de los m etodos de razonamiento, la l ogica mediante reglas y t ecnicas nos permite determinar si es o no v alido un argumento. Se utiliza en las matem aticas para demostrar teoremas, lemas, etc. En las ciencias de la computaci on si son o no correctos los programas, como tambi en teoremas, lemas y propiedades de esta ciencia, en las ciencias f sicas y naturales, para sacar conclusiones de los experimentos, y en las ciencias sociales y en la vida cotidiana, para resolver una variedad de problemas.

1.1.

Fundamentos

Denici on.- Una proposici on es una armaci on que puede ser verdadero o falso, pero no ambas cosas. Lima es la capital de EEUU Es una proposici on porque es una armaci on falsa 4+5=8 Es una proposici on porque es una armaci on falsa x+2=3 No es una proposici on porque no es ni verdadera ni falsa, su valor depende del valor que tome x Qu e hora es? No es una proposici on porque es una pregunta, que no es ni verdadera ni armaci on falsa 20 + 3 No es una proposici on porque es una operaci on, que tampoco no es ni verdadero ni falsa Que hermosa dama ! No es una proposici on porque es una exclamaci on de admiraci on, que tampoco no es ni verdadero ni falsa Denici on.-Las letras min usculas son usadas para denotar proposiciones, las letras usadas convencionalmente son p, q, r, s......

Denici on.- Las proposici ones se consideradan proposicones primitivas, cuando no existe forma de simplicarlos en proposicones mas simples.

El valor de una proposici on puede ser: Verdadero, se denota por V , como tambi en se usa el 1 Falso, se denota por F , como tambi en se usa el 0

1.2.

Tablas de Verdad

Tablas de verdad.- Una tabla de verdad, o tabla de valores de verdad, es una tabla que muestra el valor de verdad de una proposici on compuesta, para cada combinaci on de valores de verdad que se pueda asignar a sus componentes. Fue desarrollada por Charles Sanders Peirce por los a nos 1880, pero el formato m as popular es el que introdujo Ludwig Wittgenstein en su Tractatus logicophilosophicus, publicado en 1921.

En una proposici on compuesta que contiene n variables proposicionales primitivas, el n umero de las de la tabla de verdad es igual a 2n , que nos indica el n umero de combinaciones puesto que cada variable puede tomar dos valores:V o F.

Figura 1.1: Ejemplo de tabla de verdad para 3 variables

1.3.

Operadores l ogicos

Proposiciones compuestas.- Son proposiciones que se forman mediante el uso de operadores l ogicos sobre proposicones primitivas existentes, a continuaci on deniremos los siguientes operadores.

Denici on.- Negaci on de una proposici on, es un operador unario, ya que se aplica sobre una sola proposici on, indica la negaci on de la proposici on dada, tambi en se le denota de las siguientes formas: Dada la siguiente proposici on p N ot p p

Figura 1.2: Operador negaci on Ejemplo.- Sea la proposicion r: El curso de matem aticas discretas es un curso obligatorio

La negacion de r, se denota como r : El curso de matem aticas discretas no es un curso obligatorio

Denici on.- Conjunci on de las proposiciones p y q se denota por p q lo cual se lee p y q , es un operador binario, ya que se necesita dos proposiciones para utilizar este operador l ogico, que genera una nueva proposici on compuesta, donde p y q es verdadero solo si p y q son verdaderos.

Figura 1.3: Operador conjunci on Ejemplo.- Sean la proposiciones: r: El curso de matem aticas discretas es obligatorio t: El curso de metodos num ericos es obligatorio la proposicion r t ser a la siguiente: El curso de matem aticas discretas y el curso de m etodos num ericos son obligatorios.

Denici on.- Disyunci on de las proposiciones p y q es denotada por p q lo cual se lee p o q , es un operador binario, ya que se necesita dos proposiciones para utilizar este operador l ogico, que genera una nueva proposici on compuesta, donde p o q es verdadero si cualquiera de las proposiciones p o q es verdadero o si ambas proposiciones p o q son verdaderas, tambi en se puede resumir que es falso cuando p y q son falsas.

Figura 1.4: Operador disyunci on Ejemplo.- Sean las proposiciones: r: El curso de matem aticas discretas es obligatorio t: El curso de metodos num ericos es obligatorio la proposicion r t ser a la siguiente: El curso de matem aticas discretas es obligatorio o el curso de m etodos num ericos es obligatorio.

Denici on.- p Implica a q y se denotada por p q , es un operador binario, ya que se necesita dos proposiciones para utilizar este operador l ogico, que genera una nueva proposici on compuesta, donde p q es falso si p es verdadero (llamada antecedente) y q es falso (llamado consecuente) y en los dem as casos es verdadero.

10

Figura 1.5: Operador implicaci on Tambi en se puede expresarr este operador l ogico, de las siguientes formas:

Si p, entonces q p es suciente para q p es una condici on suciente para q q es necesario para p q es una necesario condici on para p La proposici on p es llamado la hip otesis de la implicaci on; q es llamado la conclusi on. Ejemplo.- Sean las proposiciones: r: El curso de matem aticas discretas es obligatorio t: El curso de metodos num ericos es obligatorio la proposicion r t ser a la siguiente:

11

Si el curso de matem aticas discretas es obligatorio, entonces el curso de m etodos num ericos es obligatorio. Denici on.- La bicondicional de dos proposiciones p y q , se denota por p q , lo cual se lee p si y solo si q , tambien se puede expresar como p es necesario y suciente para q ; es un operador binario, ya que se necesita dos proposiciones para utilizar este operador l ogico, que genera una nueva proposici on compuesta, donde p q es verdadero si p y q son verdaderos, o p y q son falsos, y p q es falso si al menos uno de ellos es falso, tambi en se puede expresar que es verdadero cuando las proposiciones p y q tienen el mismo valor y es falso en caso contrario .

Figura 1.6: Operador bicondicional Ejemplo.- Sean las proposiciones: r: El curso de matem aticas discretas es obligatorio t: El curso de metodos num ericos es obligatorio la proposicion r t ser a la siguiente: El curso de matem aticas discretas es obligatorio si y solo si el curso de m etodos num ericos es obligatorio.

12

Denici on.- Una proposicion compuesta se llama tautolog a si es verdadero para todos los valores asignados a sus componentes, en otras palabras es verdadero siempre, denotaremos con T a esta proposici on.

Ejemplo: Tenemos la proposici on es una tautolog a:

Figura 1.7: Ejemplo de tautolog a Denici on.- Una proposicion compuesta se llama contradicci on si es falso para todos los valores asignados a sus componentes, en otras palabras es falso siempre, denotaremos con F a esta proposici on.

Ejemplo: Tenemos la siguiente proposici on que es una contradicci on:

Figura 1.8: Ejemplo de contradicci on 13

Denici on.- Dos proposiciones p, q son l ogicamente equivalentes y se escribe p q cuando la proposici on p es verdadero (respectivamente falso) si y solo si la proposicion q es verdadero (respectivamente falso). Ejemplo: Tenemos la siguientes proposiciones l ogicamente equivalentes: p q y ( p q ) F

Figura 1.9: Ejemplo de proposiciones l ogicamente equivalentes

1.4.

Las leyes de la l ogica

p p Ley de doble negaci on (p q ) p q Ley de morgan (p q ) p q p q q p Ley commutativa pq qp p (q r) (p q ) r Ley asociativa p (q r) (p q ) r p (q r) (p q ) (p r) Ley distributiva p (q r) (p q ) (p r)

14

p p p Ley idempotencia ppp p F p Ley de identidad pT p p p T Ley inversa p p F p T T Ley de dominacion pF F p (p q ) p Ley de absorci on p (p q ) p Denici on.- Sea p una proposicion. Si p solo contiene las conexiones l ogicas , , entonces el dual de p, denotado como pd , es la proposicion que se obtiene a partir de p, remplazando cada , por cada , respectivamente, y cada T yF por cada F yT respectivamente. Ejemplo.Sea p : (p q ) (p r) (r s); entonces su dual correspondiente sera: Sea pd : (p q ) (p r) (r s);

Teorema.- Principio de Dualidad.- Sea p y q proposiciones que contienen solo las l ogicas conexiones , . Si p q, entonces pd q d Ejemplo: Una aplicaci on directa es en las leyes de la l ogica, ley distributiva. p (q r) (p q ) (p r)

El dual correspondiente es el siguiente: p (q r) (p q ) (p r) 15

1.5.

Cuanticadores

Denici on.-Un predicado es una expresi on que cumple lo siguiente: Contiene una o mas variables. No es una proposici on Se convierte en una proposici on cuando a cada una de sus variable se le asigna un valor. Ejemplo.- q (x, y ): Los n umeros y + 2, x 1, x + 3y son enteros pares Contiene 2 variables:x,y. No es una proposici on Sea x=1,y=0, entonces el predicado con los valores es una proposici on: q(1,0): L os n umero 2,0,1 son enteros pares; Es una proposici on cuyo valor es falso. Denici on.- Cuanticador existencial:x que se puede expresar como: Para alg un x. Para almenos un x Existe un x tal que. La uni on con un predicado anteponi endolo, resulta en una proposici on: x p(x) que se expresa como: Para alg un x, p(x). Ejemplo.- sea p(x) : x2 + x = 0 y q (x) : x = 0 Se tiene la siguiente proposici on t : x [p(x) q (x)] Para x = 0 se tiene p(0) : 0 = 0 es Verdadero y q (0) : 0 = 0 es Verdadero, entonces la proposici on t es verdadera, porque existe al menos un valor x = 0 16

para lo cual el predicado es Verdadero.

Denici on.- Cuanticador universal:x que se puede expresar como: Para todo x. Para cada x Para cualquier x. La uni on con un predicado anteponi endolo, resulta en una proposici on: x p(x) que se expresa como: Para todo x, p(x). Ejemplo.- sea p(x) : x2 + x = 0 y q (x) : x = 0 Se tiene la siguiente proposici on t : x [p(x) q (x)] Para x = 1 se tiene p(1) : 2 = 0 es Falso y q (1) : 1 = 0 es Falso, entonces la proposici on t es Falsa, porque existe al menos un valor x = 1 para lo cual el predicado es Falso. Denici on.- Sea la proposici on: r : x p(x) Entonces el valor de r es: Verdadero: Si para alg un valor, al menos uno, a en el universo, talque p(a) es verdadero. Falso: Si para cada a en el universo, tal que p(a) es falso. Denici on.- Sea la proposici on: r : x p(x) Entonces el valor de r es: Verdadero: Si para cala valor a en el universo, tal que p(a) es verdadero. Falso: Si existe al menos un valor a en el universo, tal que p(a) es falso. Denici on.- Sea la proposici on: r : x p(x) Entonces el valor de r es: Verdadero: Si para alg un valor, al menos uno, a en el universo, talque p(a) es falso, entonces p(a) es verdadero. 17

Falso: Si para cada a en el universo, tal que p(a) es verdadero. Denici on.- Sea la proposici on: r : x p(x) Entonces el valor de r es: Verdadero: Si para cala valor a en el universo, tal que p(a) es falso y p(a) es verdadero. Falso: Si existe al menos un valor a en el universo, tal que p(a) es falso y p(a) es verdadero.

Figura 1.10: Propiedades de cuanticadores

Figura 1.11: Propiedades de la negaci on en cuanticadores

18

Cap tulo 2 Demostraci on Matem atica

En este cap tulo se desarrollan algunas t ecnicas de demostraci on.

2.1.

Denici on

Una demostraci on matem atica es un razonamiento realizado con una l ogica v alida que progresa a partir de ideas que se dan por ciertas (llamadas hip otesis) hasta la armaci on que se est e planteando, o sea, hasta obtener la veracidad de la tesis formulada. Estos pasos deben estar fundamentados en la aplicaci on de reglas de deducci on: fundadas ya sea en axiomas o en teoremas anteriormente demostrados o en reglas b asicas de deducci on del sistema en cuesti on.

2.2.

Demostraci on directa

La forma m as natural de demostraci on de un teorema o proposici on que es una proposici on condicional es la demostraci on directa. Analizando la tabla de verdad para P Q, observamos que si queremos demostrar el teorema o proposici on P Q; es sufciente demostrar que Q es verdadera siempre que P lo

19

sea (pues P Q es verdadera cuando P es falsa). As , en una demostraci on directa de P Q asumimos que la hip otesis, P; es verdadera y demostramos usando argumentos l ogicos que la tesis, Q; es verdadera. Una demostraci on directa sigue el siguiente esquema.

Figura 2.1: Demostraci on Directa Ejemplo.- Probar la siguiente proposici on Proposici on.- Si x es un n umero entero impar, entonces x2 es un n umero entero impar Demostraci on: Supongamos que x es impar. Entonces, por denici on de n umero entero impar, existe un n umero entero a; tal que x = 2a + 1: Entonces x2 = (2a + 1)2 = (2a + 1)(2a + 1) = 4a2 + 4a + 1 = 2(2a2 + 2a) + 1 = 2k + 1 donde (k = 2a2 + 2a) En consecuencia, x2 es impar. 20

Cuando la proposici on es de la forma: p q , se tiene que realizar dos demostraciones directas para probar dicha proposici on: p q usando una demostraci on directa, indirecta o por contradicci on. q p usando una demostraci on directa, indirecta o por contradicci on.

2.3.

Demostraci on Indirecta o contrarrec proca

La demostraci on por contrarrec proca se usa para demostrar, al igual que la demostraci on directa, teoremas y proposiciones que tienen la forma condicional P Q: Esta forma de demostraci on se basa en el hecho de que P Q es l ogicamente equivalente a ( Q) ( P ); como muestra la siguiente tabla.

Figura 2.2: Tabla de verdad de Demostraci on Directa y Indirecta De esta manera, si queremos demostrar P Q por contrarrec proca, basta demostrar ( Q) ( P ) usando una demostraci on directa. Esto es, asumimos que Q es verdadera y demostramos que P es verdadera. Una demostraci on por contrarrec proca sigue el siguiente esquema. 21

Figura 2.3: Demostraci on Indirecta Ejemplo.- Probar la siguiente proposici on Proposici on Si x2 es par, entonces x es par. Demostraci on: (por contrarrec proca) Supongamos que x no es par. Entonces x es impar. As , existe un n umero entero a; tal que x = 2a + 1: Ahora, x2 = (2a + 1)2 = (2a + 1)(2a + 1) = 4a2 + 4a + 1 = 2(2a2 + 2a) + 1 = 2k + 1; donde(k = 2a2 + 2a): Es decir, x2 es impar. En consecuencia x es par.

2.4.

Demostraci on por contradicci on

Supongamos que queremos demostrar que una proposici on P es verdadera. Una demostraci on por contradicci on comienza suponiendo que P es falsa, esto es, que P es verdadera y naliza deduciendo que para una cierta proposici on C; se

22

tiene que C C es verdadera. Esto es una contradicci on, pues una proposici on y su negaci on no pueden tener el mismo valor de verdad (recordemos la tabla de verdad para ). Esto es equivalente a demostrar que P es verdadera, como muestra la siguiente tabla de verdad,

Figura 2.4: Tabla Demostraci on por contradicci on donde se ve que P ( P ) (C C ). As para demostrar P por contradicci on, basta demostrar ( P ) (C C ) mediante una demostraci on directa. As una demostraci on por contradicci on sigue el siguiente esquema.

Figura 2.5: Esquema Demostraci on por contradicci on

23

Ejemplo.- Probar la siguiente proposici on Proposici on.- El n umero

2

es irracional.
2

Demostraci on: (por contradicci on) Supongamos que

2 2

no es irracional, entonces

es racional y por tanto existen enteros a y b (b = 0); tales que =

a b

.....(1)
a b

Supongamos que la fracci on

est a completamente simplicada.

Esto es, a y b no tienen factores comunes. En particular, esto signica que a y b no son ambos pares. Ahora, elevando ambos lados de la ecuaci on (1) al cuadrado, obtenemos 2=
a2 ....(2) b2

Entonces a2 = 2b2 ... (3) Esto nos dice que a2 es par Pero hemos demostrado anteriormente que si a2 es par, entonces a es par. Como sabemos que a y b no son ambos pares, se concluye que b es impar. Ahora, como a es par, existe un entero c tal que a = 2c Sustituyendo en la ecuaci on (3), obtenemos (2c)2 = 2b2 y as 4c2 = 2b2 Por lo tanto b2 = 2c2 En consecuencia b2 es par, y por lo tanto,b es par. De esta manera, b es impar y b es par (una contradicci on).

2.5.

Demostraci on por inducci on

La t ecnica de demostraci on por Inducci on Matem atica (o simplemente Inducci on) se usa cuando tenemos una colecci on, P(1); P(2); P(3); .... ; P(n); ... de proposiciones y queremos demostrar que todas son verdaderas. El esquema para una demostraci on por inducci o es la siguiente:

24

Figura 2.6: Esquema Demostraci on por inducci on El primer paso, (1), se llama paso inicial. Generalmente, P(1) es muy f acil de demostrar. El paso (2) se llama paso inductivo. Generalmente se utiliza una demostraci on directa de P (k ) P (k + 1). La hip otesis de que P(k) es verdadera se llama hip otesis inductiva. Ejemplo.- Probar la siguiente proposici on Proposici on.- Si n es un n umero natural, entonces 1+3+5+7+ ... +(2n 1) = n2 Demostraci on: (por Inducci on) Tenemos: P (n) : 1 + 3 + 5 + 7 + ..... + (2n1) = n2

(1) Si n = 1; la proposici on es 2,1 1 = 12 ; que obviamente es verdadera. (2) Debemos demostrar que P (k ) P (k + 1); donde P (k ) : 1 + 3 + 5 + 7 + ... + (2k 1) = k 2 y P (k + 1) : 1 + 3 + 5 + 7 + ... + (2(k + 1)1) = (k + 1)2 Usaremos una demostraci on directa. Supongamos que 25

P (k ) : 1 + 3 + 5 + 7 + ... + (2k 1) = k 2 es verdadera. Entonces 1 + 3 + 5 + 7 + ... + (2(k + 1) 1) = 1 + 3 + 5 + 7 + ... + (2k 1) + (2(k + 1) 1) = [1 + 3 + 5 + 7 + ... + (2k 1)] + (2(k + 1) 1) = k 2 + (2(k + 1)1) = k 2 + 2k + 1 = (k + 1)2 As , 1 + 3 + 5 + 7 + ... + (2(k + 1)1) = (k + 1)2 Esto demuestra que P (k ) P (k + 1) Se concluye por Inducci on Matem atica que si n es un n umero natural, entonces 1 + 3 + 5 + 7 + ... + (2n1) = n2

2.6.

Demostraci on de proposiciones con cuanticadores

Sea la proposici on: r : x p(x) Para probar que la proposici on r es verdadera, se tiene que probar que p(x) es verdadera para cada valor del universo. Para probar que la proposici on r es falsa, se tiene que probar que p(x) es falsa para algun valor del universo. Podemos concluir que es m as facil probar que la proposicion r es falsa, que es verdadera.

Sea la proposici on: r : x p(x) Para probar que la proposici on r es verdadera, se tiene que probar que p(x) es verdadera para alg un valor x del universo. 26

Para probar que la proposici on r es falsa, se tiene que probar que p(x) es falsa para todos los valores x del universo. Podemos concluir que es m as facil probar que la proposicion r es verdadera, que es falsa.

27

Cap tulo 3 Ejercicios de pr acticas calicadas

Ciclo 2012-II,Practica calicada I

Pregunta 4.- Juan y Mar a P erez tienen tres hijos, Jos e, Lucero y Susana. Cuando salen a comer, van a un restaurante que s olo sirve hamburguesas o a uno que s olo sirve pollo. Antes de salir, la familia vota para elegir el restaurante. Gana la mayor a, excepto cuando los pap as est an de acuerdo, en cuyo caso ellos ganan. Cualquier otro empate implica ir al restaurante de pollo. Dise nar una funci on l ogica que seleccione en forma autom atica el restaurante elegido cuando toda la familia vota.

Pregunta 5.- Determine la verdad o falsedad de las armaciones. Justique su respuesta. a) Si f(x) es continua en [a,b] y f(a).f(b)0, entonces existe c a, b tal que f(c)=0. b) Exsten innitos n umeros primos. c) Si A tiene menos elementos que B, entonces hay una transformaci on uno a uno de A sobre un subconjunto propio de B: 28

d)||a| |b|| |a b| |a| + |b| e) Si f es una funci on de clases C (3) , entonces f (x) =
f (x+h)f (xh) 2h

Ciclo 2012-I,Pr actica calicada I

Pregunta 2. b) Demostrar que si el cuadrado de un n umero entero es impar, entonces el n umero es impar. Pregunta 4.-Demuestre a) La condici on necesaria y suciente para que la matriz A sea involutiva es que (I A)(I + A) = b) Si f es una funci on denida y continua en [a , b] y f (a).f (b) < 0, entonces existe c a, b tal que f (c) = 0 c) Si x R y x > 1 , entonces (1 + x)n 1 + nx, n N d)n!, n N

Ciclo 2011-II, Pr actica calicada I

3.b) En una reuni on celebrada entre 12 pa ses se acuerda aceptar las resoluciones aprobadas por la mayor a de miembros. Espa na, Italia, Portugal y Grecia votan en bloque. Situaci on similar es la de Francia y Alemania. Tambi en hacen lo mismo Reino Unido e Irlanda por un lado y los pa ses del Benelux por lo contrario que Alemania y los tres pa ses del Benelux por lo contrario que Irlanda. Hallar una funci on l ogica que muestre, bajo estas condiciones, los pa ses que tienen mayor poder de decisi on. Explique. Ciclo 2010-III, Examen Parcial

1.- Probar que todo n umero entero mayor que uno es un producto de n umeros

29

primos.

Ciclo 2010-I, Examen Parcial

Pregunta 5.a) Determinar el valor de verdad de cada una de las sentencia, si el dominio de todas las variables es el conjunto de los n umeros reales, justicar i) xy (x + y = 1) ii) xy (x + 2y = 2 2x + 4y = 5) iii) xy (xy = 0) iv)xy (x + y = y + x)

b) Demostrar, que si x es racional y x = 0 , 1/x tambi en lo es

30

Bibliograf a
[1] Ralph P. Grimaldi. DISCRETE AND COMBINATORIAL MATHEMATICS. Addison-Wesley, 2004.

31