Documentos de Académico
Documentos de Profesional
Documentos de Cultura
MATEMATICAS DISCRETAS
PROFESOR: M. C. Mario Hernndez Hernndez CARRERA: INGENIERIA EN INFORMATICA. GRUPO: A EQUIPO: Gmez Becerril Mara Teresa Gmez Hernndez Ana Isabel Williams Reyna Prez
INDICE
INTRODUCCIN ............................................................................................................................. 1 DESARROLLO ......................................................................................................................... 2 Conceptos de argumento, proposicin y proposicin lgica ............................................................................ 2 Ejemplos de proposicin lgica ............................................................................................................ 3 Esquema de tipos de conexiones lgicas ................................................................................................... 4 Representacin de enunciados usando notaciones lgicas .............................................................................. 4 Analizar ejemplos de evaluacin de proposiciones lgicas compuestas ............................................................... 5 Identificar cuando una proposicin es una tautologa, una contradiccin o una indeterminada ............................... 6 Determinar cuando un argumento es valido o no usando tablas de verdad.......................................................... 7 Investigar que es inferencia lgica, sus smbolos y equivalencias lgicas. ............................................................ 8 Concepto de algebra declarativa .......................................................................................................... 11 Induccin matemtica y mtodos de demostracin de induccin ................................................................... 12 Resumen explicando la relacin entre elementos y conceptos de lgica proposicional, de predicados, algebra declarativa y de induccin matemtica. ................................................................................................................... 16 Lgica de Predicados ........................................................................................................ 16 Conclusin................................................................................................................................. 18 Bibliografa ................................................................................................................................ 19
INTRODUCCIN
Lgica es la disciplina que trata de los mtodos de razonamiento. En un nivel elemental, la lgica proporciona reglas y tcnicas para determinar si es o no vlido un argumento dado. La lgica es el estudio del razonamiento; en particular, se analiza si un razonamiento es correcto. La lgica se centra en las relaciones entre los enunciados y no en el contenido de un enunciado particular. Por ejemplo, considrese el siguiente argumento: Todos los matemticos utilizan sandalias. Cualquier persona que utilice sandalias es algebrista. Por tanto, Todos los matemticos son algebristas. Desde el punto de vista tcnico, la lgica no permite determinar si estos enunciados son verdaderos; sin embargo, si los dos primeros enunciados fuesen verdaderos, la lgica garantizar que el enunciado. Todos los matemticos son algebristas, tambin es verdadero. Los mtodos lgicos se utilizan en matemticas para demostrar teoremas, y en computacin para demostrar que los programas hacen precisamente lo que deberan de hacer.
Proposicin
Es una oracin aseverativa de la que tiene sentido decir que es verdadera o falsa. Expresin verbal que afirma o niega algo. Secuencia finita de signos con significado y sentido de ser calificado como verdadero o falso. Expresin lingstica susceptible de ser calificada de verdadera o falsa. Hace referencia explcita a las oraciones aseverativas o enunciativas.
Proposicin lgica
Una proposicin es una oracin con valor referencial o informativo, de la cual se puede predicar su veracidad o falsedad, es decir, que puede ser falsa o verdadera pero no ambas a la vez.
La proposicin es la expresin lingstica del razonamiento, que se caracteriza por ser verdadera o falsa empricamente, sin ambigedades. Son proposiciones las oraciones aseverativas, las leyes cientficas, las frmulas matemticas, las frmulas y/o esquemas lgicos, los enunciados cerrados o claramente definidos. No son proposiciones las opiniones y suposiciones; los proverbios, modismos y refranes; los enunciados abiertos no definidos; las oraciones interrogativas,
exclamativas, imperativas, desiderativas y dubitativas; las interjecciones en general; ni las operaciones aritmticas.
IDEMPOTENCIA. A v A = A, A A = A
Sean: p: Salgo electo Representante al CSU. q: Recibirn un 50% de aumento en su sueldo el prximo ao. De tal manera que el enunciado se puede expresar de las siguiente manera.
Identificar cuando una proposicin es una tautologa, una contradiccin o una indeterminada
Se definen los siguientes tipos de proposiciones segn los valores de su tabla de verdad: Una proposicin es una tautologa cuando todos los valores de su tabla de verdad son verdaderos. Por tanto, la tautologa es una proposicin siempre verdadera independientemente de los valores de verdad o falsedad de las proposiciones simples que la constituyen. Una proposicin es una contradiccin cuando todos los valores de su tabla de verdad son falsos. Por tanto, es falsa, independientemente de los valores de verdad o falsedad de las proposiciones simples que la constituyen. Una proposicin es indeterminada cuando en su tabla de verdad hay valores verdaderos y falsos. Por tanto, su valor lgico depende de los valores de verdad o falsedad de las proposiciones simples que la constituyen. Ejemplos: averiguar si las siguientes proposiciones son una tautologa, contradiccin o indeterminada. q ^ ~r Q R ~r V V F V F V F V F F F V Paso 1 Paso 1 Paso 2 La proposicin anterior es una indeterminada q ^ (q r) Q R qVr V V V V F V F V V F F F Paso 1 Paso 1 Paso 2 La proposicin anterior es un a contradiccin ~(q V r) F F F V Paso 3 q ^ ~ (q V r) F F F F Paso 4 q^~r F V F F Paso 3
V V V V F F F F
v V F F V V F F
V F V F V F V F
Una de las reglas de inferencia ms conocida, y que forma parte de numerosos sistemas formales es la denominada modus ponens. Ella se basa en el conector de implicacin lgica . De las frmulas y de la siguiente forma: , se puede inferir , lo que usualmente se escribe
En lo que sigue se presentan una serie de definiciones que sern utilizadas posteriormente. En un sistema formal, un paso de inferencia corresponde a la aplicacin de una regla para inferir una nueva frmula.
que todo es un axioma, o se obtiene de las frmulas anteriores en la sucesin por la aplicacin de alguna regla de inferencia. Una frmula es un teorema si existe una demostracin en la que trmino de la sucesin. Notacin 2 Si es un teorema se notar Definicin 3.9 (Deduccin lgica) Sea una frmula y un conjunto de frmulas de una cierta teora, se dice que es deducible lgicamente a partir de , y se escribe , si existe una sucesin de frmulas
es el ltimo
tal que
y cada
es
un axioma de la teora o una frmula de o deducible de un frmula precedente en la sucesin. se llaman hiptesis.
es deducible lgicamente de
se notar:
9
Una propiedad importante, que ser utilizada ms adelante, es la siguiente: Definicin 3.10 (Consistencia) Un sistema formal, en el que existe el smbolo de la negacin se dice que es consistente si no existe una frmula en el sistema tal que pueda deducirse y . Un sistema se llama inconsistente en caso contrario. Resumiendo los conceptos presentados, se han introducido dos alternativas vinculadas con la idea de prueba de frmulas. En primer lugar se tiene el concepto de satisfaccin lgica, que tiene connotaciones semnticas, y que en definitiva es la que interesa cuando se intenta dar un significado a la ejecucin de un programa en lgica. Sin embargo no parece evidente encontrar mecanismos automatizables para la prueba, que consideren todas las interpretaciones posibles, tal como se necesita a partir de la definicin de satisfaccin lgica. En segundo lugar se present el mecanismo de inferencia lgica, que basado en elementos sintcticos, permite definir derivaciones entre frmulas, e introducir el concepto de teoremas, a partir de un conjunto de axiomas, y de las reglas de inferencia utilizadas. Esta alternativa parece ser ms til desde un punto de vista informtico, si se encuentran procedimientos que implementen las reglas del sistema.
10
(B) si p es una proposicin lgica, es una fbf. (R) si F es una frmula bien formada (fbf) tambin lo es (F). (R) si p,q son fbf entonces tambin lo es (p*q) donde * es uno de los operadores Binarios, ^ v . En el clculo proposicional existen algunas tautologas especialmente tiles cuya demostracin se reduce a la confeccin de su correspondiente tabla de verdad, a saber: Involucin ( p) p (se lee no, no p, equivale a p) Idempotencia: (p ^ p) p (p v p) p Conmutatividad: a) de la disyuncin: p v q q v p b) de la conjuncin: p ^ q q ^ p
Asociatividad a) de la disyuncin: (p v q) v r p v (q v r)
11
b) de la conjuncin: (p ^ q) ^ r p ^ (q ^ r) Distributividad: De la conjuncin respecto de la disyuncin: (p q) r (p r) (q r) De la disyuncin respecto de la conjuncin: (p q) r (p r) (q r) Leyes de De Morgan ~(pq)~p~q La negacin de una disyuncin equivale a la conjuncin de las negaciones ~(pq)~p~q La negacin de una conjuncin equivale a la disyuncin de las negaciones Negacin de una Implicacin. Las proposiciones p q y ~ (p ~ q) son equivalentes, como vemos realizando la tabla de valores correspondientes:
Con esto, comprobamos que la negacin de la primera equivale a la negacin de la segunda, es decir: ~ (p q) ~{ ~(p ~ q)}, y podemos concluir entonces que: ~ ( p q ) ( p ~ q) Es decir, la negacin de una implicacin no es una implicacin sino la conjuncin del antecedente con la negacin del consecuente. Ejemplo: Sea la implicacin p: hoy es viernes entonces maana es domingo. Su negacin es ~ p: hoy es viernes y maana no es domingo.
En matemticas, la induccin es un razonamiento que permite demostrar una infinidad de proposiciones, o una proposicin que depende de un parmetro que toma una infinidad de valores enteros. En trminos simples, la induccin matemtica consiste en el siguiente razonamiento: Premisa mayor: El nmero entero tiene la propiedad . tenga la
Premisa menor: El hecho de que cualquier nmero entero propiedad implica que tambin la tiene. Conclusin: Todos los nmeros enteros a partir de Demostraciones por induccin tienen la propiedad
El razonamiento para demostrar una proposicin cualquiera mediante el esquema del razonamiento es como sigue. Llamemos rango.
a la proposicin, donde
es el
Se demuestra que , el primer valor que cumple la proposicin (iniciacin de la induccin), es cierta. Se demuestra que si se asume como cierta y como hiptesis inductiva,
entonces lo es tambin, y esto sin condicin sobre el entero natural (relacin de induccin). Luego, demostrado esto, concluimos por induccin, que natural . La induccin puede empezar por otro trmino que Entonces . Ejemplo 1 Para todo Sea
, digamos por
es cierto, porque
Supongamos que .
13
Un entero acaba por 6 si se puede escribir as: igual a cero. La hiptesis es, pues Entonces , con , entero. .
, con
entero positivo o
es cierto.
La induccin es vlida por la construccin misma los naturales mediante los axiomas de Peano. En este caso:
del
conjunto
de
Existen otras inducciones, para otros conjuntos elaborados de forma distinta, como por ejemplo la induccin transfinita, y la induccin sobre las frmulas de la lgica proposicional. Adems de la demostracin por induccin, existe la definicin o construccin por induccin. Por ejemplo, una sucesin aritmtica puede ser definida como funcin de : o por induccin:
Ejemplo 2 Vase tambin: Sumatorio. Se tratara de demostrar por induccin la siguiente proposicin:
Por lo tanto, por verificarse la proposicin para n=1 y para n=k+1 siendo k cualquier nmero natural, la proposicin se verifica
15
Resumen explicando la relacin entre elementos y conceptos de lgica proposicional, de predicados, algebra declarativa y de induccin matemtica.
Lgica de Predicados La principal debilidad de la lgica proposicional es su limitada habilidad para expresar Conocimiento. Existen varias sentencias complejas que pierden mucho de su significado Cuando se las representa en lgica proposicional. Por esto se desarroll una forma lgica ms General, capaz de representar todos los detalles expresados en las sentencias, esta es la La lgica de predicados es la forma lgica ms general, capaz de representar todos los detalles expresados en las sentencias, est basada en la idea de las sentencias que realmente expresan Relaciones entre objetos, as como tambin cualidades y atributos de tales objetos. Los objetos Pueden ser personas, objetos fsicos, o conceptos. Tales cualidades, relaciones o atributos, se Denominan predicados. Los objetos se conocen como argumentos o trminos del predicado. Algebra declarativa Hacemos algebra declarativa cuando formulamos relacionesenetre proposiciones por medio de conectores lgicos (conjuncin, disyuncin, etc.) y podemos simplificar estas expresiones encontrando una equivalencia lgica. En el lgebra declarativa se manipulan expresiones lgicas, esto es, expresiones donde las variables y las constantes representan valores de verdad. El lgebra declarativa tiene muchas aplicaciones. Una de ellas es poder demostrar que un argumento particular es vlido o no. Eso se muestra por la imposibilidad de que todas las premisas sean verdaderas, y que a la vez la conclusin es falsa. En otras palabras, se demuestra que la conjuncin de las premisas y la negacin de la conclusin no pueden ser verdaderas simultneamente. En el algebra declarativa, se manipulan expresiones lgicas donde las variables y las constantes representan valores de verdad
16
El algebra declarativa, es cuando se manipulan expresiones lgicas donde las variables y las constantes representan valores de verdad para demostrar que un argumento particular es vlido o no.
Induccin matemtica El principio del buen orden, el cual expresa que cualquier subconjunto no vaco de Z contiene un elemento ms pequeo, este principio constituye la base de la induccin matemtica.
En matemticas, la induccin es un razonamiento que permite demostrar una infinidad de proposiciones, o una proposicin que depende de un parmetro n que toma una infinidad de valores enteros. En trminos simples, la induccin matemtica consiste en el siguiente razonamiento:
Premisa mayor: El nmero entero a tiene la propiedad P. Premisa menor: El hecho de que cualquier nmero entero n tenga la propiedad P implica que n + 1 tambin la tiene. Conclusin: Todos los nmeros enteros a partir de a tienen la propiedad
NOMBRE Conjuncin
CONECTOR AND
SMBOLO ^
17
v ~
Tablas de verdad para operadores lgicos P Q Disyuncin pvq V V F F V F V F V V V F Conjuncin p^q V F F F Negacin ~p F F V V Condicional p V F V V q bicondicional p V F F V q
Conclusin
18
Este trabajo nos sirvi de mucho ya que en esta unidad trato de lgica matemtica y esto es de razonar lo cual nos servir mucho en el rea de programacin para poder tener mas imaginacin y lgica al momento de poder hacer nuestros programas. Aqu vimos los conectores lgicos que se utilizan en las matemticas y en el rea de la computacin, los cuales nos servirn de mucho en el rea de ingeniera en informtica por que son una de las formas en las que trabajan las computadoras. Tambin aprendimos a determinar cuando una oracin es una proposicin y saber si los enunciados o proposiciones son falsos o verdaderos.
Bibliografa
1. 2. 3. 4. Ross, Kenneth A., Wright, Charles R. B., Matemticas Discreta, Ed. Prentice Hall. Ladelec.com Monografias.com Wikipedia.com
19