GRUPO TEMATICO: Proposiciones lgicas. Valor de verdad de una proposicin. Introduccin a la teora de conjuntos. Operaciones con conjuntos.

ntos. Nmeros enteros y su representacin.

Proposiciones lgicas Proposiciones En nuestro lenguaje usualmente se hace uso de cuatro tipos de proposiciones, a saber: 1. Aseverativas o declarativas En cultura Griega se llamaban Barbaros a quienes no hablaban su misma lengua. 2. Exclamativas o admirativas Qu tremendo saber esto! 3. Interrogativas Quin es el culpable de la situacin del Pas? Quin soy yo? 4. Imperativas Recurdalo ya! Vete ya! Sern de nuestro inters las primeras, es decir, las aseverativas o declarativas, en las cuales se niega o se acepta algo, para decir que es verdadero o falso, y es a este tipo de proposiciones a las que llamaremos proposiciones lgicas. Verdadero = (V). Falso = (F). Valor de verdad de una proposicin lgica

Ley del tercio excluido En el caso de la lgica matemtica, las proposiciones pueden ser verdaderas o falsas, pero nunca ambas a la vez, es decir, una proposicin no puede ser verdadera y falsa

simultneamente. Esta formalizacin fue propuesta por Aristteles, y es cuando una tercera cosa no se da por hecho. En la gramtica estamos acostumbrados a ver que las oraciones pueden ser verdaderas o falsas, segn se ajusten o no a la realidad que expresan, por ejemplo si llueve y digo que hace sol, esa oracin es falsa. En cambio la lgica considera que las proposiciones pueden ser verdaderas o falsas con independencia de que en la realidad lo sean; por eso habla de valores de verdad1. Ejemplos: Colombia es un pas que tiene una gran diversidad cultural (V). El idioma que ms usan los estadounidenses es el latn (F). Representacin de una proposicin lgica: Una proposicin lgica puede ser representada mediante una oracin gramatical y tambin por medio de una expresin matemtica. Una expresin matemtica es una combinacin de smbolos con sentido y significado que se usan en las ciencias exactas. Podemos decir que hay varios tipos, por ejemplo las expresiones matemticas aritmticas y las expresiones matemticas algebraicas. Ejemplos: a) es una expresin matemtica aritmtica b) es una expresin matemtica algebraica c) La capital del departamento del Cauca es Popayn es una oracin gramatical

Algunos smbolos matemticos: < Menor que Mayor que > Para todo Menor o igual

Igual a Diferente que Existe un Mayor o igual

Lo contrario a decir menor que es mayor que; y lo contrario a decir igual a es diferente que.

Negacin de una proposicin

Consultado el 15 de febrero de 2012 en : http://www.educared.org/wikiEducared/L%C3%B3gica_proposicional.html#Valores_de_verdad

Negar una proposicin, significa cambiar su valor de verdad inicial u original, construyendo otra proposicin. Proposicin 7 es mltiplo de 2 2 es primo Valor verdad F V F de Negacin de la Proposicin 7 NO es mltiplo de 2 2 NO es primo Valor de verdad V F V

Actividad 1 1. Indica con una X cules de los siguientes enunciados son proposiciones lgicas a. que susto! b. fuera! c. Egipto est ubicado en Asa. d. El 2 es un nmero par y primo. e. f. Quin es? 2. Escribe la negacin de cada una de las siguientes proposiciones y halla su valor de verdad, completando el siguiente cuadro. Proposicin Valor Negacin de verdad Valor de verdad

a. b. 7 es menor o igual que 3 c. d. e. 19 es mltiplo de 6 f. g. Todos los hombres son mortales

Conectivos lgicos

Las proposiciones que hemos trabajado anteriormente, son proposiciones simples, a continuacin iniciaremos a construir a partir de estas proposiciones (simples) otras, las cuales se llaman proposiciones compuestas.

Proposiciones compuestas

Para construir proposiciones compuestas, es necesario utilizar conectivos lgicos. Algunos conectivos lgicos aparecen en la siguiente tabla: Nombre Conjuncin Disyuncin Disyuncin exclusiva Implicacin Doble implicacin Conectivo lgico y o oo Sientonces Si y slo si Smbolo

Ejemplos de proposiciones compuestas 1. El nmero 2 es par y es primo Proposiciones simples: P: el nmero 2 es par. Q: el nmero 2 es primo (es primo). 2. Si 6 es un nmero divisible por 2 entonces el nmero 6 es par. Proposiciones simples: P: 6 es un nmero es divisible por 2. Q: el nmero 6 es par. 3. O 5 es un nmero es par o 5 es impar. 4. 8 no es primo si y slo si 8 tiene ms de dos divisores. Proposiciones simples: P: 8 no es primo. Q: 8 tiene ms de dos divisores.

Valor de verdad de una proposicin compuesta

Para determinar el valor de verdad de una proposicin compuesta, es necesario, hacer uso de las tablas de verdad, las cuales nos dan, las posibles combinaciones, de los valores de verdad de las proposiciones simples que la componen. Tabla de verdad para la conjuncin (y) P V V F F Q V F V F P V F F F Q

La anterior tabla, nos est diciendo: que una proposicin compuesta cuyo conector lgico es la y es verdadera, nicamente cuando las proposiciones simples que la componen son verdaderas. Ejemplos 1. 4 es par y 4 es divisible entre 2. (V) (V) (V) 2. 5 es primo y 5 es par. (F) (V) (F) 3. . Tabla de verdad para la disyuncin (o) P V V F F Ejemplos 1. 4 es par o 4 es divisible entre 2. (V) (V) (V) 2. 5 es primo y o es par. 3. . Q V F V F P V V V F Q

Para el caso de la disyuncin, diremos que una proposicin compuesta, en la que aparece el conector lgico o, es falsa, solo cuando las proposiciones simples que la componen son falsas. En caso contrario, la proposicin compuesta ser verdadera.

Tabla de verdad para la disyuncin exclusiva () P V V F F Actividad Qu nos est queriendo decir esta ltima tabla y las que siguen? Cita por lo menos cinco ejemplos distintos a los anteriormente dados, en donde aparezcan diferentes casos y concluye de manera similar con las tablas que se muestran a continuacin. Q V F V F P F V V F Q

Tabla de verdad para la implicacin (Si entonces) P V V F F Ejemplo 1. Si 6 es un nmero divisible por 2 entonces el nmero 6 es par. (V) (V) (V) Q V F V F P V F V V Q

Tabla de verdad para la doble implicacin (si y slo s) P V V Q V F P V F Q

F F Ejemplo

V F

F V

1. 6 es un nmero compuesto si y slo si el nmero 6 no es primo. (V) (V) (V)

Actividad Cuantificadores

Se usan generalmente en las proposiciones, las cuales llamaremos proposiciones cuantificadas; y son aquellas en las que aparecen o est implcito un cuantificador existencial o universal, unos de estos pueden ser: algunos, existe un, no todos y todos. Cuantificado Universal. ( )

El smbolo del cuantificador universal es: Se lee: para todos, cualquiera, todos o todo. Ejemplos 1. Los camaleones cambian de color. 2. Todos los camaleones cambian de color. 3. Todos los peces viven en el agua. Consideremos que 4. , es par. es el conjunto de los nmeros naturales

Cuantificador Existencial ( )

El smbolo del cuantificador universal es: Se lee: algunos, no todos, unos. Ejemplos

1. 2. 3. 4. 5.

Algunas aves no vuelan. Existen mamferos que nadan en el mar. A unos hombres no les gustan las mujeres. No todos aprendemos de la misma manera. Algunos nmeros son primos. es el conjunto de los nmeros naturales

Consideremos que 6. , es par.

Negacin de proposiciones con cuantificadores

Para negar una proposicin cuantificada, se debe cambiar el cuantificador y negar la proposicin. Ejemplos: 1. Todos los nmeros naturales son primos, Su negacin es: Algunos nmeros naturales no son primos. Actividad A. Indica cuales de las siguientes proposiciones son cuantificadas. 1. Algunos televisores son blancos y negros. 2. Las aves vuelan. 3. Todos los sbados practico algn deporte. 4. No todos los libros de la biblioteca son de matemticas. 5. Ningn estudiante pierde el examen. Recuerda: Para negar una 6. El invierno es en el mes de agosto. proposicin cuantificada, se 7. Todos los colombianos son antioqueos. debe cambiar el 8. La savia va por los tallos de los rboles. cuantificador (de universal a 9. Algunos hongos son comestibles. existencial y de existencial a universal) y negar la 10. No todo lo que brilla es oro. 11. Todos los deportistas son buenos gimnastas. proposicin (se puede colocar no o buscar un 12. Ningn ingeniero estudia matemticas. antnimo o contrario). 13. Algunos mdicos son pediatras. 14. Todos los insectos son invertebrados. 15. Algunos hombres de ciencia son soberbios. 16. Todos los hombres son felices 17. No todos los vehculos en Colombia estn en buen estado.

B. Di cuales de las proposiciones del ejercicio A son universales y cuales son existenciales. C. Escribe el valor de verdad de las proposiciones del ejercicio A D. Niega las proposiciones del ejercicio A. E. Negar las siguientes proposiciones cuantificadas. a. b. c. d. e. f. g. h. i. j. k. Los camaleones cambian de color. Todos los camaleones cambian de color. Todos los peces viven en el agua. , es par. Algunas aves no vuelan. Existen mamferos que nadan en el mar. A unos hombres no les gustan las mujeres. No todos aprendemos de la misma manera. Algunos nmeros son primos. , es impar. , .

Evaluacin cognitiva de lgica matemtica.

Nombres y apellidos ______________________ Grado______Cdigo _______ 1. Una proposicin lgica es aquella de la cual podemos afirmar si es verdadera o falsa. Una de los siguientes enunciados NO corresponde a una proposicin lgica: A. B. C. D. 2. La raz cuadra de 25 es igual a 5. El cuadrado tiene 4 lados. La medida de los ngulos interiores en un tringulo suman 180. estudiaste para la prueba cognitiva de matemticas?

Las proposiciones lgicas pueden tener o no cuantificadores, los cuantificadores que se han estudiado son los cuantificadores universales y existenciales. La proposicin lgica que corresponde a una proposicin con un cuantificador existencial es: A. B. C. D. Todos los cuadrados tiene ngulos rectos. Cualquier nmero natural puede ser par o impar. Cada ciudadano mayor de edad puede ejercer el derecho al voto. Algunos hombres son sabios.

3.

Negar una proposicin consiste en cambiar su valor de verdad. La negacin de la proposicin todo cuadrado tiene cuatro lados, es: A. B. C. D. Todo cuadrado no tiene cuatro lados Algunos cuadrados tienen cuatro lados. Existen cuadrados que tiene cuatro lados. Unos cuadrados no tienen cuatro lados.

4.

Para negar una proposicin lgica con cuantificadores se debe tener en cuenta: A. B. C. D. Negar la proposicin Cambiar el cuantificador Cambiar el cuantificador y dejar la misma proposicin. Cambiar el cuantificador y negar la misma proposicin

5.

Una de las siguientes proposiciones compuesta es verdadera: A. B. C. D. Si 4 es par, entonces 8 es divisible por 3. 2 es primo si y slo si, 2 tiene ms de dos divisores. 5 es primo o 5 es par. 5 no tiene dos divisores o 13 es un nmero impar.

6.

Cul de las siguientes proposiciones est escrita como una expresin matemtica? A. B. C. D. 2 + 3 es mayor que 19. Todo nmero natural tiene un antecesor y un sucesor. Existe un nico nmero natural que es par. , .

7.

Una de las siguientes proposiciones es verdadera: A. B. C. D. Todo numero natural tiene un antecesor (por ejemplo el antecesor del 10, es el 9). Cada nmero natural es primo. Cualquier nmero natural es divisible entre siete. Existe slo un nmero natural que es par y primo.

10

Teora de Conjuntos

Representacin de Conjuntos No podemos decir certeramente que es un conjunto, por ahora tendremos nicamente una idea intuitiva de lo que es un conjunto, porque generalmente su definicin esta asocia a un sinnimo. Intuitivamente, un conjunto es una coleccin de objetos o un encierro de objetos. Cada objeto de un conjunto se llamar elemento del conjunto. Acordaremos adems lo siguiente: Los conjuntos se nombran usando letras maysculas del abecedario: A, B, C, D, E,, X, Y, Z. Cmo nombrar el alfabeto de las letras maysculas?, es decir, {A, B, C,, X, Y, Z} Los conjuntos se pueden representar, mediante diagramas de Venn y lineales o entre llaves. Ejemplos Diagramas

Llaves: { { , , , , } { } }

{ { , , , , , } { }

11

Relacin de pertenencia Los objetos pueden estar o no en un conjunto, en el caso de que estn en el conjunto, diremos que dicho objeto pertenece al conjunto. Para lo cual asumiremos la siguiente simbologa:

Ejemplo En el conjunto V, podemos establecer las siguientes relaciones:

La relacin de pertenencia es una relacin nica y exclusivamente entre elemento y conjunto. Por ahora, lo siguiente no es posible

Porque

es un conjunto, al igual que

Por lo tanto, dos conjuntos no se pueden relacionar con la relacin de pertenencia. Para ello existen otras relaciones que veremos ms adelante, como la de contenencia.

Actividad 2 Determinacin de conjuntos. Clases de conjuntos

Determinacin de conjuntos
Un conjunto se puede determinar de dos maneras: por extensin y por comprensin.

12

Extensin

Un conjunto se determina por extensin cuando se nombran cada uno de sus elementos, es decir, se nombra uno por uno todos sus elementos. Ejemplo { , , , , } {
Comprensin

Un conjunto se determina por comprensin cuando se nombra la propiedad que caracteriza a todos sus elementos. Ejemplo { { {
Clases de conjuntos

} } }

Los conjuntos pueden ser finitos, infinitos, unitarios, o vacos.

Conjunto finito

Es aquel en el que podemos enumerar todos sus elementos. {

Conjunto infinito

Es aquel conjunto que no es finito. {

Conjunto vaco

Es aquel conjunto que no tiene ningn elemento y se puede representar de dos maneras distintas: { } {
Conjunto unitario

Es aquel conjunto que solo tiene un elemento.

13

{ { Actividad Relacin entre conjuntos

Relacin de inclusin

} }

Un conjunto est incluido en otro conjunto, si cada uno de sus elementos tambin est en el otro conjunto. Esta relacin de inclusin, tambin se conoce como relacin de contenencia. En otras palabras diremos que un conjunto A est incluido o es subconjunto de un conjunto B, si y slo si, todo elemento de A es elemento del conjunto B. En smbolos esto es, , Adems podemos observar con el siguiente ejemplo (y esto en general) que los elementos que no estn en B, no pueden estar en A.

Ejemplo Propiedades de la inclusin

La inclusin cumple con dos propiedades, la primera se llama propiedad reflexiva y la segunda propiedad transitiva. Propiedad reflexiva: Todo conjunto est incluido en s mismo, es decir, Propiedad transitiva. Si entonces

14

Igualdad entre conjuntos

Dos conjuntos son iguales, si tienen exactamente los mismos elementos, en este caso podremos decir que el conjunto A es igual al conjunto B, si y slo si, todos los elementos de A estn en B y todos los elementos del conjunto B estn en A.

Taller 1. a) b) c) d) 2. a) b) c) 3. a) b) c)

Escribe cada una de las siguientes proposiciones utilizando smbolos matemticos: 2 no es mayor que 5 Cualquier nmero impar menor que 10. 7 es menor que 14 y mayor que 2. Si x es un nmero natural, entonces x es mayor que 0. Escribe pro extensin cada uno de los siguientes conjuntos: X={x/x } Y={x/x } Z={x/x es un nmero impar entre 13 y 21 } Escribe la relacin que exista entre cada para de conjuntos ( , ). A={x/x es mamfero} y B= {x/x es ballena} D={x/x es mltiplos de 3, menores que 14} y E={x/x es mltiplos de 5, menores que 19} F={a,b,c,d} y G={c,d,a,b}

4. Dibuja un diagrama de Venn para cada par de conjuntos del ejercicio anterior 5. Escribe por comprensin cada uno de los siguientes conjuntos: A .12 .24 .36 .5 .10 .20 C 4. D .2 .25 .8 .10 .48 .15 .30 .12 .6 .0

.26 46.

.86 .106

.16 .36

.56 .66

15

6. Observa: el siguiente diagrama de Venn representa el conjunto A. Fjate que todos sus elementos tienen una caracterstica comn: la suma de sus dgitos es igual a 5. A .32 .23 .50

.41 .14

7. a) b) 8. a) b) c) d) 9.

Determina por compresin al conjunto A. A= {x/x es un numero de dos cifras cuyos dgitos suman 5} Ahora determina por extensin los siguientes conjuntos a) B= {x/x es un numero de dos cifras cuyos dgitos suman 7} b) C={x/x es un numero de dos cifras iguales} El conjunto de los nmeros naturales { , , , , } es un conjunto infinito. Halla un subconjunto de que tambin sea un conjunto infinito. Halla un subconjunto del subconjunto que hallaste anteriormente, que tambin sea infinito. Si A= {1,2,3,12}, forma subconjuntos que tengan las siguientes propiedades: Nmeros impares menores que 13. Nmeros divisores de 12. Nmeros pares mayores que 5 y menores que 10. Mltiplos de 2 menores o iguales que 6. completa el diagrama con los siguientes conjuntos definidos por comprensin: R={x/x } S={x/ } T={x/ } P={x/x } Q={x/x es par y menor que 18} R

P Q

16

Re pasando y re visando mis saberes A. Completa la tabla con el valor de verdad o la proposicin correspondiente. Valor de verdad (Proposicin ) (Negacin) La luna es una estrella La luna no es una estrella V Colombia est ubicado en Europa El sol es un planeta 5 es impar

Valor de verdad

B. Resalta con rojo las proposiciones simples y con azul las proposiciones compuestas. 1. Los cuadrilteros tienen cuatro lados. 7. Siete veces siete es igual a 49. 2. En ao 2012 el mes de febrero tiene 29 8. 49 es un nmero primo. das. 9. Los nmeros amigos son aquellos en 3. La alineacin de los planetas ser en el los que la suma de los divisores de uno ao 2012. es el otro. 4. El Vaticano est ubicado en Roma. 10. Los nmeros 220 y 284 son nmeros 5. La raz cuadrada de 25 es 5 si y slo si amigos. 5 veces 5 es 25. 11. En 1636, Fermat revel que 17296 y 6. Si el sol emite una serie de partculas 18416 eran amigos. conocidas como viento solar, entonces, 12. Un palndromo es una palabra, nmero estas se propagan en los confines de o frase que se lee igual hacia adelante nuestro sistema solar. que hacia atrs.

C. Escribe una proposicin simple de tal manera que el valor de verdad de las proposiciones compuestas sea verdadero. 1. 2. 3. 4. 5. El perro es mamfero y _____________________________________________________. Si la circunferencia es una figura plana, entonces ________________________________. Si 220 y 284 son nmeros amigos, entonces ____________________________________. O el nmero 330 es par o ___________________________________________________. 1661 es un nmero palndromo o _____________________________________________. D. Teniendo en cuenta las siguientes proposiciones simples y su valor de verdad, encuentra el valor de verdad de las proposiciones compuestas: p: las memorias USB son un dispositivo de almacenamiento. q: El procesador de texto es una herramienta ofimtica. r: Un micrfono es un dispositivo perifrico de salida. 1. 2. 3. 4. 5. 6.

17

Quiz
1) El padre de la Teoria de Conjuntos fue Cantor Kroneecker Gauss 2) Un conjunto es una coleccin ... de objetos no definidos bien definida de objetos de cualquier clase de trminos no definido 3) Cuntas formas hay para determinar un conjunto? Hay una forma Hay cuatro formas Hay dos formas 4) A = {x/x es pas fronterizo con Per} El conjunto esta por ... Comprensin Extensin Tabular 5) B = {x/x es una vocal de Internet} El conjunto es ... Unitario. Infinito. Finito. 6) Los que representan conjuntos disjuntos son ... A = {e, m, a, i, l} y B = {c, o, r, e} C = {3, 6, 9} y D = {4, 8, 12} E = {2, 4, 8} y F = {3, 4, 5} 7) La unin de conjuntos de A = {c, h, a, t} y B = {c, h, a, r, l} A U B = {c, h, a} A U B = {a, c, h, l, r, t} A U B = {l, r, t} 8) La interseccin de conjuntos de A = {n, e, w, s} y B = {n, o, t, i, c, a} Es un conjunto vaco

18

Es un conjunto unitario Es un conjunto universal 9) La diferencia de conjuntos de A = {c, h, a, t} y B = {c, h, a, r, l} A - B = { c, h, a } A - B = { r, l } A-B={t} 10) Si U = {letras de la palabra evaluacin} y A = {vocal de la palabra internet}. El complemento de A es A' = {n, t, r} A' = {a, c, l, n, o, u, v} A' = {v, a, l, u, c}

Operaciones con conjuntos. Nmeros enteros y su representacin

19