Está en la página 1de 21

INSTITUTO TECNOLOGICO DE CHILPANCINGO

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

Chilpancingo Gro. 16 de octubre de 2012.

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.

DESARROLLO Conceptos de argumento, proposicin y proposicin lgica


Argumento
Argumento es un trmino que procede del vocablo latino argumentum. Se trata del razonamiento que se utiliza para demostrar o probar una proposicin o para convencer a otra persona de aquello que se afirma o se niega.

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.

Ejemplos de proposicin lgica


Ejemplos de proposiciones lgicas
Cuando se deja caer un cuerpo, va hacia arriba. (F) Cuando se ejerce resistencia al empuje, es porque existen fuerzas llamadas friccin que se oponen a las fuerzas de empuje. (V) Cuando se coloca una piedra en un recipiente de agua, el volumen es el mismo (F) Cuando aumentas la longitud de onda, la amplitud es mayor. (F) Cuando un aceite es slido es porque est ms saturado (F) SI le entrego 500Kcal a un litro de agua y esa cantidad de energa supera al calor especfico entonces toda el agua se evaporar (V) El cambio de estado de la materia es una propiedad qumica (F) Una funcin es impar siempre y cuando sea montona (F) Un litro de agua pesa un kilo. (V) Si un slido es ms denso que el lquido que lo contiene en un recipiente, entonces precipitar (V) AM y FM representan abreviadamente modulaciones de frecuencias y amplitudes Todas las palabras esdrjulas llevan acento (V) La orbita de la tierra es elptica, por lo tanto hay sectores del planeta en que son ms clidos que otros (V) En los CD se puede intercambiar informacin indefinidamente (F) Todo nmero real elevado a la cero da uno (F) (V)

Esquema de tipos de conexiones lgicas

LA ASOCIATIVA. . I-e; (AB)C A(BC)

COMUNICATIVA CONECCIONES LOGICAS: A v (B C) = (A v B) (A, C v)

IDEMPOTENCIA. A v A = A, A A = A

Representacin de enunciados usando notaciones lgicas


La proposicin "El coche enciende cuando tiene gasolina en el tanque y tiene corriente la batera" est formada por dos proposiciones simples: q y r q: Tiene gasolina el tanque. r:Tiene corriente la batera. p: El coche enciende. El candidato administrativo dice "Si salgo electo Representante al CSU recibirn un 50% de aumento en su sueldo el prximo ao". Una declaracin como esta se conoce como condicional. Su tabla de verdad es la siguiente:

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.

Analizar ejemplos de evaluacin de proposiciones lgicas compuestas


Conectivos lgicos y proposiciones compuestas En matemticas las letras x, y, z, . . . denotan, a menudo, variables que pueden ser remplazadas por nmeros reales, y estas variables pueden combinarse con las operaciones comunes +, X, -, y . En lgica, las letras p, q, r, denotan variables propositivas, es decir, variables que pueden ser remplazadas por proposiciones. As se puede escribir p: El sol est brillando hoy. q: Hace fro. Entonces, para denotar enunciados utilizaremos las letras p, q, r (en minsculas o maysculas, con o sin subndices). Las proposiciones o variables pueden combinarse por medio de conectivos lgicos para obtener proposiciones compuestas. Por ejemplo, se pueden combinar las proposiciones anteriores con el conectivo y para formar la proposicin compuesta p y q: El sol est brillando y hace fro. El valor de verdad de una proposicin compuesta depende solamente de los valores de verdad de las proposiciones que se estn combinando y de los tipos de conectivos que se utilice. A los estados de verdadero o falso que pueden tener una proposicin se les llama valor de verdad o valor lgico de esa proposicin. A los estados de verdadero o falso que pueden tener una proposicin se les llama valor de verdad o valor lgico de esa proposicin. Se pueden considerar dos tipos de proposiciones: Proposiciones simples. Son aquellas que no pueden reducirse a otras m s sencillas. Es decir, no tienen conectivos, por ejemplo: Pedro es alto. Proposiciones compuestas. Son aquellas que pueden reducirse a otras ms sencillas. Se reconocen porque usan conectivos lgicos. Cuando nos refiramos a proposiciones compuestas usaremos las letras maysculas: P, Q, Un ejemplo sera: Pedro es alto y el 7 es par.

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

p (p q) P Q V F V V F F F V Paso 1 Paso 1 La proposicin anterior es una tautologa pVq V V F V Paso 2 p (p V q) V V V V Paso 3

Determinar cuando un argumento es valido o no usando tablas de verdad


VALIDEZ DE RAZONAMIENTOS: MTODO DE LAS TABLAS DE VERDAD Para determinar la validez de un razonamiento, seguiremos los siguientes pasos: 1. Se forma la tabla de verdad de todas las premisas y de la conclusin. Por sencillez, se suele interesar poner las premisas ms simples al principio. 2. Se eliminan todas aquellas lneas en las que alguna premisa sea falsa, pues las premisas son por definicin verdaderas. En los ejercicios marcaremos con el smbolo la premisa que permita eliminar una lnea dada. 3. Observando las lneas resultantes y la columna correspondiente a la conclusin diremos: a) Todos los casos resultaron Verdadero: razonamiento Vlido. El razonamiento est bien hecho. b) Todos los casos resultaron Falso: razonamiento Invlido. El razonamiento est mal hecho, pero en este caso ocurre que la conclusin contraria es verdadera. c) Existen casos Verdadero y Falso: razonamiento Invlido. El razonamiento no vale, y la conclusin no puede extraerse de las premisas de partida. d) Ninguna fila resultante: razonamiento inconsistente. El razonamiento no vale, pues las premisas se contradicen.

Ejemplo: Estudiar la validez del razonamiento: (p q) r p q R ~r F V F V F V F V V V V V F V F F ~q p q (p q) r p

V V V V F F F F

v V F F V V F F

V F V F V F V F

Investigar que es inferencia lgica, sus smbolos y equivalencias lgicas.


La inferencia lgica es un mecanismo de derivacin sintctica que a partir de un conjunto dado de frmulas permite derivar nuevas frmulas, utilizando operaciones que se denominan reglas de inferencia. El conjunto inicial de frmulas son sentencias vlidas en un cierto lenguaje y se les llama axiomas. Los axiomas junto a las reglas de inferencia constituyen lo que Frege denomina un sistema formal. Mediante la inferencia lgica, es posible demostrar frmulas sin necesidad de considerar interpretacin alguna. Una prueba ser una derivacin en el sistema formal, y la utilidad de la misma surgir de ciertas propiedades de las reglas de inferencia, llamadas de completitud, que sern presentadas ms adelante.

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.

Una demostracin ser una sucesin

de frmulas del lenguaje, tal

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.

Las frmulas de Notacin 3 Si

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

Concepto de algebra declarativa


Concepto de Algebra declarativa
Lo que algunos llaman lgebra declarativa no es otra cosa que el lgebra proposicional, o sea, la estructura algebraica que se forma con expresiones utilizando los conectivos lgicos. Empezaremos por definir formalmente cmo se construye una frmula en lgica. Una expresin sintcticamente correcta se le llama frmula bien formada (fbf) o simplemente frmula y su definicin es: Una frmula en lgica de proposiciones se obtiene al aplicar una ms veces las siguientes reglas:

(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.

Induccin matemtica y mtodos de demostracin de induccin


Una descripcin informal de la induccin matemtica puede ser ilustrada por el efecto domin, donde ocurre una reaccin en cadena con una secuencia de piezas de domin cayendo una detrs de la otra.
12

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

es cierto para todo

, digamos por

ser vlido a partir del nmero

, es decir, para todo natural

es un nmero que acaba en 6. acaba en 6. . natural, y probemos

la proposicin: Es claro que

es cierto, porque

Supongamos que .

es cierto para un valor de

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

Esta ltima escritura prueba que Luego es cierto para todo .

acaba por 6, o sea que

es cierto.

La induccin es vlida por la construccin misma los naturales mediante los axiomas de Peano. En este caso:

del

conjunto

de

1 es un natural; si lo es, entonces (sucesor de ) lo es tambin.

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:

1. Se comprueba para n=1

Se tiene por tanto que la proposicin es verdadera para n=1


14

2. Hiptesis inductiva (n=h)

3. Tesis inductiva (n=h+1)

4. Demostracin de la tesis en base a la hiptesis

Se aplica la hiptesis de induccin:

(sacando factor comn)

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

Conectores bsicos de la lgica proposicional

NOMBRE Conjuncin

CONECTOR AND

SMBOLO ^

17

Disyuncin Negacin Condicional Bicondicional

OR NOT If-Then Igual

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