UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

LGICA MATEMTICA

Actividad 1: Apropindome de los conceptos y la terminologa bsica De la lgica matemtica

Presentado por: Orelis Jimnez pineda Merlys Pardo Ruby Beleo Rita Pineda Ros

Armando Lpez Sierra Tutor

Fecha: 18 de Septiembre del 2013

INTRODUCCIN

La lgica matemtica es pues muy importante; ya que permite resolver incluso problemas a los que nunca se ha enfrentado el ser humano utilizando solamente su inteligencia y apoyndose de algunos conocimientos acumulados, se pueden obtener nuevos inventos innovaciones a los ya existentes o simplemente utilizacin de los mismos. La lgica matemtica nos ayuda a definir los elementos de los cuales est compuesto un sistema, encontrar las relaciones que hay entre ellos, conceptualizar el problema y finalmente no solo debemos detenernos en el anlisis de un problema sino que tenemos que esforzarnos por siempre buscar una solucin o construir una aportacin. Todas las reas de las matemticas o bien se fundamentan en la teora de los conjuntos, o bien la utilizan como parte de su operatividad; debido a ello el estudio de la teora de los conjuntos reviste una gran importancia tanto para los estudiosos de las ciencias exactas y naturales como para los ingenieros, cualquiera que sea su rama de especializacin. Debido a lo anterior, estudiaremos algunos aspectos generales de sta teora.

OBJETIVOS

Identificar y conocer la terminologa relacionada al curso de lgica matemtica. Identificar los elementos que pertenecen y los que no pertenecen a un conjunto. Interpretar correctamente la notacin simblica en la definicin de conjuntos.

Actividad 1

1. a)

Definir y dar un ejemplo de los siguientes conceptos Conclusin:

En lgica, una conclusin es una proposicin al final de un argumento, luego de las premisas. Si el argumento es vlido, las premisas implican la conclusin. Sin embargo, para que una proposicin constituya conclusin no es necesario que el argumento sea vlido: lo nico relevante es su lugar en el argumento, no su funcin Como en general se argumenta con intencin de establecer una conclusin, se suele procurar que las premisas impliquen la conclusin y que sean verdaderas (es decir, que el argumento sea slido o cogente).Antes que nada se debe recordar que una conclusin es una proposicin lgica final no una "opinin", sin embargo debemos recordar que para poder concluir debemos de basarnos en ciertas proposiciones y que no sean falacias o simplemente falsas Ejemplo de proposiciones: Todos los mamferos son de sangre caliente. Todos los humanos son mamferos. Por lo tanto, todos los humanos son de sangre caliente. En este argumento la ltima proposicin es la conclusin. Las dems son las premisas. b) Contingencia:

Son aquellas frmulas cuyo valor de verdad o falsedad depende de la valoracin de los smbolos proposicionales que contiene; la contingencia es el modo de ser de lo que no es necesario ni imposible, sino que puede ser o no ser el caso. En general la contingencia se predica de los estados de cosas, los hechos, los eventos o las proposiciones. As pues, puede ser y no ser, las proposiciones o enunciados contingentes puedan ser verdaderos o puedan ser falsos. Un enunciado contingente no necesita ser verdadero ni necesita ser falso.

c) Contradiccin: es una proposicin que siempre es falsa para todos los valores de verdad. Para cualquier valor de verdad de las proposiciones, sea cual sea, el resultado de la frmula lgica estudiada siempre va a ser falso. Una de las ms usadas y menos compleja es P P (se lee: P y no P). Su tabla de verdad es la siguiente. P V F p: El coche es rojo. La proposicin P P corresponde a decir que El coche es rojo y el coche no es rojo. Por lo tanto se est contradiciendo o producindose una Falacia. d) Falacia: P F V P V V P

Un argumento que parece vlido, pero no lo es. Algunas falacias se cometen intencionalmente, para persuadir o manipular a los dems, mientras que otras se cometen sin intencin, debido a descuidos o ignorancia. En ocasiones las falacias pueden ser muy sutiles y persuasivas, y puede hacer falta mucha atencin para detectarlas. El que un argumento sea falaz no implica que sus premisas o conclusin sean falsas. Un argumento puede tener premisas verdaderas y conclusin verdadera, y an as ser falaz. Lo que hace a un argumento falaz es la invalidez del argumento en s. Ejemplo: Todos los perros son bonitos.

Doggy es bonito. Por lo tanto, Doggy es un perro. Todos los perros son bonitos.

El Sol es bonito. Por lo tanto, el Sol es un perro En este caso podra coincidir que hubiese un perro al que llamasen Doggy o el Sol. Aun acertando, el razonamiento seguira siendo una falacia, ya que esto no depende de la conclusin, sino del razonamiento en s mismo.

e) Funcin lgica: Una funcin lgica es aquella cuyas variables slo puede tener dos valores que estn relacionadas por uno o varios de los siguientes operadores: Suma lgica (+) Producto lgico () Negacin (') Ejemplo: F = AB + C (BD + ABD) + (AC + E +AB)

f) Premisa: En lgica, una premisa es cada una de las proposiciones anteriores a la conclusin de un argumento. En un argumento vlido, las premisas implican la conclusin, pero esto no es necesario para que una proposicin sea una premisa: lo nico relevante es su lugar en el argumento, no su rol. Al ser proposiciones, las premisas siempre afirman o niegan algo y pueden ser verdaderas o falsas. Ejemplo: Es mircoles o es jueves =premisa. Si es mircoles, entonces tengo que ir a trabajar =premisa. Si es jueves, tengo que ir a trabajar= premisa. Por lo tanto, tengo que ir a trabajar = conclusin.

g) Proposicin: Formalmente, se define una proposicin como un enunciado declarativo que puede ser verdadero o falso, pero no ambos a la vez. Las proposiciones se representan mediante variables proposicionales simbolizadas mediante letras que suelen ser p, q y r Ejemplo: p = Mi perro es negro. p = La tierra es una esfera. p(x) = x es un da de la semana. En esta ltima proposicin podemos observar que representamos p(x). En estas proposiciones podemos cambiar x por cualquier cosa que queramos y observar el valor toma. En este caso podra ser p(x)= Martes. h) Razonamiento: En sentido amplio, se entiende por razonamiento a la facultad humana que permite resolver problemas, extraer conclusiones y aprender de manera consciente de los hechos, estableciendo conexiones causales y lgicas necesarias entre ellos.

i) Representacin grfica: Una grfica es una representacin de datos, generalmente numricos, mediante lneas, superficies o Smbolos, para ver la relacin que esos datos guardan entre s. Tambin puede ser un conjunto de puntos, que se plasman en coordenadas cartesianas, y sirven para analizar el comportamiento de un proceso, o un conjunto de elementos signos que permiten la interpretacin de un fenmeno. La representacin grfica permite establecer valores que no han sido obtenidos experimentalmente, es decir, mediante la interpolacin (lectura entre puntos) y la extrapolacin (valores fuera del intervalo experimental). Representacin grfica de una distribucin de los valores de unas frecuencias por medio de rectngulos. Ejemplo: El seor camelo le encanta observar la naturaleza por eso en este da se ha dedicado a la vida silvestre del parque de su barrio. Aydale a descubrir cuantos pjaros hay en cada uno de los cinco rboles que tienen en frente. En total hay 30 pjaros En cada uno de los arboles hay por lo menos un numero diferente de pjaros El total de pjaros de los dos rboles ms pequeos es medio de media docena El menor nmero de pjaros no se encuentra en el rbol ms pequeo El nmero de pjaros que hay en el rbol ubicado en el medio es la tercera parte del nmero de pjaros que hay en el rbol ms grande En el rbol con el hueco en el tronco hay tantos pjaros como en los rboles que hay a la izquierda de l. Solucin. Z= 30 Z= nmero de pagaros A y B = 3 pjaros j) Silogismo: es un argumento que consta de tres proposiciones; de ella, la ltima se deduce necesariamente de las otras dos. el trmino proviene del concepto latino syllogismos que a su vez se deriva de un vocablo griego. Se trata de una forma de razonamiento deductivo, donde dos proposiciones son premisas y la tercera es una conclusin. El silogismo es una argumentacin en la que, a partir de un antecedente que compara dos trminos con un tercero permite, inferir o deducir un consecuente.

Hay que tener en cuenta que un silogismo no siempre arrojara conclusiones verdaderas, ms all de que siga una forma valida de razonamiento. Ejemplo: todos los perros fueron cachorros snoopy es un perro Por lo tanto snoopy fue cachorro Aunque el silogismo es vlido de un punto de vista lgico, la conclusin es falsa ya que snoopy es un perro ficticio y nunca fue cachorro.

k) Tabla de verdad: Una tabla de verdad, o tabla de valores de verdad, es una tabla que despliega el valor de verdad de una proposicin compuesta, para cada combinacin de valores de verdad que se pueda asignar a sus componentes.

l) Tautologa: Es una expresin lgica que es verdadera para todos los posibles valores de verdad de sus componentes atmicos. En lgica se entiende por tautologa aquella proposicin cuya tabla de verdad da siempre el valor de verdad (V) en todos los casos posibles de los valores de verdad (V, F) de cada una de las proposiciones que la integran, o de un modo ms sencillo: la supuesta explicacin de algo mediante una perogrullada, la explicacin o definicin de algo mediante una ligera variacin de palabras que tienen en conjunto el mismo significado ya conocido de lo supuestamente explicado Ejemplo: Existe el calor porque lo provoca el calrico.

m) Validez: En lgica, la validez es una propiedad que tienen los argumentos cuando las premisas implican la conclusin. Si la conclusin es una consecuencia lgica de las premisas, se dice que el argumento es deductivamente vlido. Algunos consideran estas dos nociones idnticas y usan ambos trminos indistintamente. Otros, sin embargo, consideran que puede haber argumentos vlidos que no sean deductivamente vlidos, como las inducciones. En cualquier caso, de las inducciones a veces se dice que son buenas o malas, en vez de vlidas o invlidas. Ejemplos de argumentos deductivamente vlidos son los siguientes: Si est soleado, entonces es de da. Est soleado. Por lo tanto, es de da.

2. Definir y dar tres ejemplos de cada uno de los conjuntos que se manejan segn la teora de conjuntos. Conjunto Finito: A = {x/x son las letras del alfabeto castellano} B = {x/x es habitante del Per} C= {Conjunto de nmeros pares entre 10 y 40} Conjunto Infinito: Cuando los elementos o miembros no se pueden enumerar o contar, se considera como conjunto infinito. Un ejemplo de conjunto infinito son las estrellas del cielo. Los conjuntos infinitos siempre debern determinarse por comprensin. Ejemplo: A = {x/x son las estrellas del universo} B = {x N/x es par}

C= {x / x es un ro de la tierra} Conjunto Unitario: Es el conjunto que tiene un solo miembro o elemento. Ejemplo: A = {luna} B = {x N/4 < x < 6 C= {x / x es el nombre de un mes del ao}

 Conjunto Vaco: Se trata del conjunto que no tiene elementos, o que estos son inexistentes, ejemplos: A = {x N/4 < x < 5} B = {x/x son perros con alas} C= {nmeros impares entre 5 y 7} Conjunto Universal o Referencial: Se llama as al conjunto conformado por los miembros o elementos de todos los elementos que hacen parte de la caracterizacin. Por ejemplo, dados: A = {1, 3, 5, 7} B= {1, 2, 3, 4, 5, 6, 7, 8, 9} C= {x/x es un reptil} 3. Llenar este cuadro con los smbolos Smbolo Nombre Conjunto universal Uso
Conjunto que contiene a todos los elementos con los que estamos trabajando.

Ejemplo

U={1,5,4,8,7}
A={1,8,7} B={5,4} A= { 2, 4, 6 } B={ 1, 3, 5, 7 } encontrar A B. A B= { } A={ 1, 3, 5, 7, 9 } B={ 10, 11, 12 } A B ={ 1, 3, 5, 7, 9, 10, 11, 12 } A B = {x/x A y x B } A={ 1, 2, 3, 4, 5, 6, 8 } B={ 2, 4, 8, 12 } A B ={ 2, 4, 8 } A - B={ x/x A ; X B } A= {5,4,8,6,7} B= { 5,4,8,9,6} A - B= {7}
A={2,4,6,8,10,12,14,18}

Conjunto vaco

Conjunto que no contiene ningn elemento. Conjunto formado por los elementos que pertenecen al menos a uno de ellos o a los dos. Elementos comunes que pertenecen los dos conjuntos.

Unin

Interseccin

Diferencia

Conjunto de los elementos de A que no estn en B o B que no estn en A. Aquellos que pertenecen a alguno de los conjuntos iniciales, sin pertenecer a ambos a la vez.

Diferencia simtrica

B = {1, 4, 9, 16, 25} A B= {1, 2, 6, 8, 9, 10, 12, 14, 18}

Contenido en

Si todo elemento de un conjunto (A) es tambin elemento de un conjunto (B) Si todo elemento (A) no es tambin elemento de un conjunto (B) Este smbolo indica que un elemento pertenece o es miembro de un conjunto. Indica que un elemento no pertenece al conjunto de referencia. Conectivo lgico que se lee y Conectivo lgico que se lee o Negacin lgica. La proposicin A es verdadera si y slo si A es falsa Conectivo lgico que se lee entonces Conectivo lgico que se lee si y solo si x < y significa: x es menor que y

{A B

B}

No est contenido en

C = {1, 2, 3} D = {2, 4, 6, 8} C D

Pertenece a

B={ a, e, i, o, u } a B

No pertenece a

A={1,2,3,4,5}
9A

Conjuncin

N -5

Disyuncin

Negacin

(A B) (A) (B); x S (x

S)

Implicacin

N -aZ

Equivalencia

x+5 = y + 2 x + 3=y

Menor que

x<y y>x x 1 x2 x x<y y>x x 1 x2 x

n2 n3

Menor o igual que x y significa: x es menor o igual a y Mayor que x > y significa: x es mayor que y

Mayor o igual que x y significa: x es mayor o igual a y Diferente a

Conectivo lgico que se lee diferente a distinto, no igual

n4

Conjunto de Los nmeros de contar nmeros naturales empezando por 1 Conjunto de nmeros enteros Los nmeros de contar, {1,2,3,...} , sus negativos {..., 3,-2,-1} y cero {0}. Nmeros enteros positivos

{1, 2, 3, 4, 5, 6, 7, 8,9}

{...,-3, -2, -1, 0, 1, 2, 3, ...}

Conjunto de nmeros enteros positivos Conjunto de nmeros enteros negativos Conjuntos de nmeros reales

{0,1,2,3,4,5,6}

Nmeros enteros negativos

{.-5,-4,-3,-2,-1,0}

Conjunto de nmeros complejos

Todos los nmeros racionales e irracionales. Pueden ser positivos, negativos o cero. Incluye los nmeros algebraicos y los transcendentes Una combinacin de nmero real e imaginario de la forma a + bi, donde a y b son reales, e ies la unidad imaginaria.

{1.5, -12.3, 99, 2, }

{1 + i, 2 - 6i, -5.2i, 4}

Conclusin

Gracias a este trabajo se puedo profundizar en las temticas general del curso de Lgica Matemtica, complemento que sirvi para el respectivo desarrollo de los primeros talleres realizados para este curso. Se aprendido a diferenciar los principales smbolos necesarios para los diferentes ejercicios y frmulas de los conjuntos, diferentes tipos de conjuntos, entendiendo que agrupar objetos de la misma naturaleza para clasificarlos en colecciones o conjuntos es parte de la vida diaria de los seres humanos. Por ejemplo, el conjunto de libros de una biblioteca, el conjunto de rboles en un terreno, el conjunto de zapatos en un negocio de venta al pblico, el conjunto de utensilios en una cocina, etctera. En todos estos ejemplos, se utiliza la palabra conjunto como una coleccin de objetos, los alumnos de un colegio, los nmeros impares, los meses del ao, etc., siendo cada alumno del colegio, cada nmero impar, cada mes del ao, respectivamente, elementos de cada uno de los correspondientes conjuntos. En definitiva la lgica matemtica nos ayuda a desarrollar los procesos de pensamiento encontrando sentido a lo que normalmente realizamos. Muchas veces utilizamos en nuestros razonamientos oraciones y frases que suelen estudiarse en esta materia. Y nuestra primera forma de analizar los problemas es la agrupacin por medio de conjuntos.

Referencias

Urban, Brian. Normas APA para trabajos escritos y Documentos de investigacin [en lnea]. 23 de Diciembre del 2012 [fecha de consulta:16 de septiembre del 2013]. Disponible http://www.colconectada.com/normas-apa/ Conjuntos (s.f). Teora algebra [fecha de consulta:15 de septiembre del 2013] disponible en: http://www6.uniovi.es/usr/adolfo/algebra1.html Teora de conjuntos [ltima edicin: l 9 septiembre 2013, a las 12:49]. .El texto est disponible bajo la Licencia Creative Commons Atribucin Compartir Igual 3.0 http://es.wikipedia.org/wiki/Teor%C3%ADa_de_conjuntos Infante, Jos. Fuentes, Pablo. (s.f) Conjuntos y sistemas numricos. Disponible en: http://azul2.bnct.ipn.mx/algebra/numeros.PDF