INSTITUTO TECNOLGICO DE TUXTLA GUTIRREZ

Inteligencia Artificial I

Catedrtico(a) Ing. Culebro Farrera Mara Delina

Tema Demostracin y sus Mtodos

Integrantes Jimnez Len Daniela Karina Castellanos Gonzlez Carlos

Ros Hernndez Heydi Mada

Tuxtla Gutirrez Chiapas, a 01 de Mayo del 2012

Demostracin y sus Mtodos

Las demostraciones son argumentos vlidos que establecen la verdad de una proposicin en una conclusin. matemtica. Por argumento nos referimos a las secuencias de afirmaciones que terminan

La demostracin es un razonamiento o serie de razonamiento que prueba la validez de un nuevo conocimiento estableciendo sus conexiones necesarias con otros conocimientos. admitido dentro de la disciplina correspondiente. Cuando un conocimiento queda demostrado, entonces se le reconoce como vlido y es

La demostracin es el enlace, entre los conocimientos recin adquiridos y el conjunto de los conocimientos anteriores.

La demostracin consta de tres partes: El conocimiento que se trata de demostrar, es decir la proposicin (teorema) cuya validez se trata de probar.

Los fundamentos empleados como base de la demostracin. El procedimiento usado para lograr que el conocimiento quede demostrado. Los procedimientos de demostracin permiten establecer la conexin lgica entre los fundamentos y sus consecuencias sucesivas, hasta llegar como conclusin final a la tesis que as se demuestra. Una tesis puede ser demostrada mediante distintos procedimientos.

Reglas de Inferencia
Las demostraciones son argumentos vlidos que establecen la verdad de una proposicin matemtica. Por argumento nos referimos a las secuencias de afirmaciones que terminan en una conclusin.

Que el argumento sea vlido significa que la verdad de la conclusin debe seguirse de la verdad de las premisas. i.e. es imposible que las premisas sean verdaderas y la conclusin falsa. Las reglas lgicas de inferencia son patrones que nos aseguran la validez del argumento. Son los bloques con los que construimos argumentos ms complejos. La mayora de los argumentos utilizados en la prctica son informales. Los argumentos formales derivaciones o demostraciones formales. Todos tienen en comn: Una lista de argumentos lgicos admisibles llamados reglas de inferencia. La derivacin por s misma, que es una lista de expresiones lgicas Originalmente la lista es vaca Se llega a la conclusin Se aaden las reglas que se utilizan

Introduciremos la nocin de demostracin, y los mtodos ms utilizados para construir demostraciones. Una demostracin se construye a partir de las hiptesis del teorema a demostrar, los axiomas que sabemos que son verdad, y teoremas previamente demostrados.

Un teorema es una proposicin matemtica que puede ser demostrada que es verdad. forma se llama simplemente proposicin.

Se asume que un teorema es una proposicin matemtica importante, de otra Resultados intermedios se llaman lemas. probado anteriormente. demostracin.

Un corolario es un teorema que puede ser probado fcilmente de otro teorema Una conjetura es algo que se piensa que es verdadero, pero para lo cual no existe

Mtodos de Demostracin
Directa

Consiste en obtener mediante una secuencia de proposiciones encadenadas por reglas de deduccin, directamente q como tesis y como consecuencia de p como hiptesis. En la lgica escolstica este proceso se llama Modus Ponens.

Si tomamos una frase lgica condicional sencilla del tipo: P Q

Que podemos analizar como si se cumple P entonces se cumple Q, esto lo hacemos de forma natural sin complicarnos en hacer anlisis ms intensivos o ms extensivos pues lo hacemos de una forma innata. Si decimos: El cielo esta encapotado, va a llover

Estamos realizando una asociacin de causa y efecto. En la cual el cielo esta encapotado es la causa y el efecto lgico es que, va a llover.

Desde el punto de vista de la lgica esta relacin es irrevocable. As mismo en una relacin matemtica se puede verificar esta sencilla relacin en la cual si se cumple la denomina demostracin mediante el mtodo directo es innecesario decir que si no se cumple o verifica P entonces su consecuencia tampoco se verificar. P Q premisa P entonces se puede decir que se cumplir la consecuencia Q. A este proceso formal se le

Supngase que P Q es una tautologa, en donde P y Q pueden ser proposiciones compuestas, en las que intervengan cualquier nmero de variables propositivas, se dice que se desprende lgicamente de p. Supngase una implicacin de la forma. (P1P2P3...Pn) Q Es una tautologa. Entonces est implicacin es verdadera sin importar los valores de verdad de cualquiera de sus componentes. En este caso, se dice que q se desprende lgicamente de P1,P2,......,Pn. Se escribe. El camino que se debe seguir para llevar a cabo una demostracin formal usando el mtodo directo

Significa que s se sabe que P1 es verdadera, P2 es verdadera,...... y Pn tambin es verdadera, estructura bsica:

entonces se sabe que Q es verdadera. La mayora de los teoremas matemticos cumplen con esta (P1P2P3...Pn) Q

Donde las Pi condiciones son llamadas hiptesis o premisas, y Q es laconclusin. En conclusin podemos decir que cualquier demostracin, sea de enunciados o matemtica debe: a) C o m e n z a r c o n l a s h i p t e s i s . c) L l e g a r a l a c o n c l u s i n

b) Debe seguir con las tautologas y reglas de inferencias necesarias para...

 Indirecto El mtodo indirecto, tambin llamado por reduccin al absurdo, es un encadenamiento lgico de proposiciones que parten de SUPONER CIERTO lo contrario de lo que se quiere demostrar (tesis) y a partir de esa suposicin llegar a por lo tanto, lo contrario (lo que se quiere demostrar) es verdadero. Demuestre: H1: p q H2: p r C: q r Solucin

una contradiccin, que hace evidente que la suposicin de que se parti es falsa y

1. p q . . . . . . . Hiptesis 1. 2. p r . . . . . . . . Hiptesis 2. 3. q r . . . . . . . Por demostrar

3.1 r . . . . . . . . Supuesto verdadero la negacin de la conclusin, meta: (q) 3.2 p . . . . . . . Silogismo disjuntivo con 2. y 3.1 3.3 q . . . . . . . . . Modus ponens con 1. y 3.2 3.4 (q) . . . . . Doble negacin en 3.3 3.5 q r . . . Mtodo de prueba indirecto con 3.1 y 3.4

Por Recursin (induccin matemtica) La induccin matemtica es un caso especial, donde se va de lo particular a lo general y, no obstante, se obtiene una conclusin necesaria. Tpicamente, el razonamiento inductivo se contrapone al razonamiento deductivo, que va de lo general a lo particular y sus conclusiones son necesarias. La induccin matemtica es un mtodo de demostracin muy

til empleado corrientemente en la matemtica. Principio de induccin nita o principio de induccin matemtica. Sea S(n) una proposicin matemtica abierta(o un conjunto de representa a un entero positivo. tales proposiciones abiertas), en la que aparece una o varias veces la variable n, que

REFERENCIAS 1) http://es.scribd.com/doc/178456/Demostracion-por-el-metodo-directo 2) https://www.itescam.edu.mx/principal/sylabus/fpdb/recursos/r44931.PDF 3) http://ocw.univalle.edu.co/ocw/ingenieria-de-sistemas-telematica-y-afines/matematicasdiscretas-i/material/md1_21.pdf 4) http://www.slideshare.net/jorjais92/mtodos-de-demostracin-y-silogismo 5) http://cb.mty.itesm.mx/tc1003/lecturas/tc1003-025p.pdf 6) http://dspace.universia.net/bitstream/2024/800/1/introducion+matematica.pdf

7)